|
Lógica Matemática y Fundamentos (2022-23) |
|
| Temas |
| Ejercicios |
| Exámenes |
| Sistemas |
| Documentación |
| Entrar |
Relaciones de ejercicios
| Relación 01: | Sintaxis y semántica de la lógica proposicional |
| Lógica proposicional | |
| Relación 02: | Deducción natural en lógica proposicional (I) |
| Ejercicios resueltos en clase | |
| Relación 03: | Deducción natural en lógica proposicional (II) |
| Ejercicios resueltos en clase | |
| Relación 04: | Lógica de primer orden |
| Ejercicios resueltos en clase | |
| Relación 05: | Deducción natural en lógica de primer orden |
| Ejercicios resueltos en clase | |
| Relación 06: | Lógica de primer orden con igualdad |
| Ejercicios resueltos en clase | |
| Exámenes 01: | Ejercicios de exámenes de cursos anteriores |
| Ejercicios resueltos en clase | |
| Relación 07: | Programación funcional en Isabelle |
| Relación 08: | Razonamiento ecuacional en Isabelle (I) |
| Ejercicios resueltos en clase | |
| Relación 09: | Razonamiento ecuacional en Isabelle (II) |
| Ejercicios resueltos en clase | |
| Relación 10: | Recorridos de árboles |
| Ejercicios resueltos en clase | |
| Exámenes 02: | Ejercicios de exámenes de cursos anteriores |
| Ejercicios resueltos en clase |