En esta página se encuentra el material (transparencias y
ejercicios) del curso Lógica informática.
Transparencias de todos los temas
Transparencias por tema
- Lógica proposicional:
- Lógica de primer orden:
- Programación lógica y construcción
lógica de sistemas lógicos:
Ejercicios
|