Contenidos Mínimos

Sistemas sintácticos y semánticos. Los sistemas formales como modelos de computadoras. Lenguajes y programas. El lenguaje de la lógica sentencial. Métodos de decisión. El sistema de deducción natural. Aplicaciones: Diseho de sumadores y otros circuitos para computadoras. El lenguaje de la lógica de predicados. Métodos de decisión -Máquinas de Turing. Principales resultados de la teoria de modelos. Aplicaciones: Prolog, Sistemas Expertos. Problemas resolubles y no resolubles algoritmicamente. Métodos y técnicas científicas. Tipos de conocimientos científicos, ciencia y tecnología. Tecnologia: método científico y tecnología. Elucidación de la acción humana y su aplicación al diseño de sistemas.