Comisión 1 (Docente: Pedro Sánchez Terraf)
Para entregar por escrito el lunes 7 de abril 9hs.
Satisfactibilidad y
validez:
Decidir si es
válido y/o satisfactible, justificando con demostración o
(contra)ejemplo:
[3,4,8,9] = xs ++ [8] ++ ys.
Definiciones de
funciones:
Ejercicios 7b y
7d del Práctico 2
Inducción:
Ejercicios
8d y 10 del Práctico 2.