Formas-validas.pdf

Ejercicios - Cuadernillo-3.pdf

Ejercicios - Cuadernillo-5-Teoria-de-la-demostracion-en-predicados.pdf

Ejercicios - Cuadernillo-2.pdf

Ejercicios - Cuadernillo-3-Calculo-con-supuestos.pdf

Ejercicios - Cuadernillo-7.pdf

Ejercicios - Cuadernillo-7-Semantica-Predicados.pdf

Ejercicios - Cuadernillo-6-Semantica-Proposiciones.pdf

Ejercicios - Cuadernillo-8-Formas-Normales-Prenex-y-Skolem.pdf

Ejercicios - Cuadernillo-9-Resolucion.pdf

Exámenes - Exam-June-2017.pdf

Exámenes - Exams.pdf

Exámenes - Examen-Ordinaria-2021.pdf

Exámenes - ENFINORD2021-22SOL.pdf

Ejercicios - Cuadernillo-8.pdf

Exámenes - FINAL-2024.pdf

Ejercicios - Cuadernillo-4.pdf

Ejercicios - set32.pdf

Ejercicios - set31.pdf

Ejercicios - Cuadernillo-6.pdf

Exámenes - Exam-June-2017.pdf