Filminas
| Selection | File type icon | File name | Description | Size | Revision | Time | User |
|---|---|---|---|---|---|---|---|
| Ċ | Ver Descargar |
Filminas para clase del 18 de marzo - Repaso de Conceptos Básicos de Lógica Proposicional y Consecuencia Semántica. | 70 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Filminas para clases del 1 y 8 de abril - Árboles de Refutación - Resolución) | 114 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Filminas para clase del 15 de abril(Introducción a la Lógica de Predicados) | 149 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Filminas para clase del 22 de abril(Lógica de Predicados: Modelos) | 58 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Filminas para clase del 29 de abril (Árboles de Refutación LPPO) | 34 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Filminas para clase del 29 de abril (Forma clausular LPPO) | 26 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Filminas para clase del 6 de mayo (Modelos de Herbrand) | 56 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Filminas para clase del 13 de mayo (p-satisfacible) | 39 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Filminas para clase del 13 de mayo (Resolución en LPPO) | 43 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Filminas para clase del 27 de mayo (Refinamientos para Resolución en LPPO) | 37 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Filminas para clase del 10 de junio (Lógica de Programas) | 43 kb | v. 5 | 9 mar. 2017 18:13 | Ciencias de la Computación II |