Universidad de Ixtlahuaca CUIIngeniería en computación

Materia: Lógica

Ciclo escolar: Agosto 2012-Enero 2013

Temario

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

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

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