En la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se han comentado las soluciones de los ejercicios 4 a 6 de la 4ª relación sobre definiciones por comprensión.
Los ejercicios y sus soluciones se muestran a continuación
Read More “I1M2012: Ejercicios de definiciones por comprensión (2)”
En la clase de hoy del curso Lógica Informática se ha completado el estudio de la deducción natural en lógica proposicional.
La reglas que se han visto en la clase son las de la conjunción, las de la negación, las del bicondicional y las reglas derivadas (modus tollens, introducción de la doble negación, reducción al absurdo y ley del tercio excluso).
Como tarea pendiente se propone la resolución de los ejercicios del tema 2 del libro de ejercicios.
Las transparencias de esta clase son las páginas 11-28 del tema 2
Read More “LI2012: Deducción natural en lógica proposicional (2)”