Temario
-
Upload
luz-monroy -
Category
Education
-
view
92 -
download
9
Transcript of Temario
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