Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Temario
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