Conceptos elementales de lógica informática /
Becerra Correa, Nelson
Conceptos elementales de lógica informática / Nelson Becerra Correa. - Primera editorial - 198 páginas : ilustraciones ; 23 cm.
Incluye índice de figuras en la página 11 Incluye índice de cuadros en la página 13 Incluye índice alfabético en la página 191
Incluye referencias bibliográficas en la página 193
1. Conceptos generales de la lógica -- 2. Lógica proposicional -- 3. Lógica predicados -- 4. Procedimiento de prueba de lógica predicados -- 5. Deducción natural -- 6. Técnicas resolución SAT
9789588782157
Informática - matemáticas
Lógica simbólica y matemática
Lógica (informática)
Cálculo proposicional
004.0151 / B389 2012
Conceptos elementales de lógica informática / Nelson Becerra Correa. - Primera editorial - 198 páginas : ilustraciones ; 23 cm.
Incluye índice de figuras en la página 11 Incluye índice de cuadros en la página 13 Incluye índice alfabético en la página 191
Incluye referencias bibliográficas en la página 193
1. Conceptos generales de la lógica -- 2. Lógica proposicional -- 3. Lógica predicados -- 4. Procedimiento de prueba de lógica predicados -- 5. Deducción natural -- 6. Técnicas resolución SAT
9789588782157
Informática - matemáticas
Lógica simbólica y matemática
Lógica (informática)
Cálculo proposicional
004.0151 / B389 2012