Este documento presenta el temario de la asignatura de Lógica impartida en la Universidad de Ixtlahuaca durante el ciclo escolar de Agosto 2012 a Enero 2013. El temario cubre tres unidades: la primera unidad introduce conceptos básicos de lógica como definiciones, tipos de lógica, diagramas de Venn y conjuntos. La segunda unidad se enfoca en lógica de proposiciones incluyendo formas normales, semántica y cálculos. La tercera unidad cubre lógica de predicados con énf

1. Universidad de Ixtlahuaca CUI
Ingeniería en computación
Materia: Lógica
Ciclo escolar: Agosto 2012-Enero 2013
Temario

2. Unidad I
 Definición (es) de lógica
 Tipos de Lógica
 Teoría de Conjuntos
 Diagramas de Venn
 Operaciones con conjuntos
 Diagramas de árbol
 Circuitos combinatorios
 Definición de la noción de cálculo de deducción natural
 Conocer y utilizar la inducción matemática para probar diversas
proposiciones lógicas
 Los sistemas axiomáticos

3. Unidad II
 Lógica de proposiciones
 Forma normal disyuntiva
 Forma normal conjuntiva
 Semántica
 El cálculo axiomático
 las propiedades formales
 El cálculo de deducción natural
 Los árboles lógicos

4. Unidad III
 Lógica de predicados
 Semántica
 El cálculo axiomático
 Las propiedades formales
 El cálculo de deducción natural
 Los árboles lógicos
 Simplificar expresiones lógicas ya sea mediante propiedades o con
mapas de Karnaugh