lógica computacional

lógica computacional

1. lógica matemática

   • ciencias de la computación
     • programacion lógica
     • optimizacion de algoritmos
     • análisis de la programación

2. origen

   • allan turing y kurt godel
   • uso de la computadora de uso general
   • predicciones de los 50s y 60s

3. actualidad

   • inteligencia artificial
   • ciencias de la computacion
   • teoria de la argumentacion

4. ACM

   • SIST clasificación computacional
   • logicas y significados de programas
   • logica booleana
   • formalismos lógicos

5. circuitos

   • responde
     • señales electricas
     • logica booleana
   • compone
     • sistemas computacionales complejos

6. logica propocional

   • logica matematica aplicada a la computacion