Apuntes Teoricos-Prácticos
|
|
Capítulo 0: "Preliminares" |
pdf |
|
Capítulo 1: "Sustitución e Igualdad" |
pdf |
|
Capítulo 2: "Expresiones Booleanas" |
pdf |
|
Capítulo 2 bis : "Aplicaciones de la Lógica Proposicional: Acertijos y Juegos Lógicos" |
pdf |
|
Capítulo 3: "Cálculo Proposicional" |
pdf |
|
Capítulo 4: "Aplicaciones del Cálculo Proposicional" |
pdf |
|
Capítulo 5: "Expresiones Cuantificadas" |
pdf |
Listado de Teoremas Cap 3 y 4 |
pdf |
|
Ejercitación y Apuntes Adicionales
|
|
Capítulo 2: Práctica Extendida |
pdf |
|
Capítulo 6: Slides sobre Manipulación de Expresiones Cuantificadas |
pdf |
|
Capítulo 6: Ejercicios sobre Manipulación de Expresiones Cuantificadas |
pdf |
|
Capítulo 5 y 6: Listado de Reglas, Axiomas y Teoremas |
pdf |
|
