Trabajos Prácticos
| Selection | File type icon | File name | Description | Size | Revision | Time | User |
|---|---|---|---|---|---|---|---|
| Ċ | Ver Descargar |
Trabajo Práctico Nº1 - Lógica Proposicional (para clases del 26 y 27 de marzo, y 3 de abril) | 100 kb | v. 2 | 6 abr 2018 8:06 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº2 - Lógica Proposicional (para clases del 9 y 10 de abril) | 97 kb | v. 2 | 6 abr 2018 8:07 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº3 - Lógica de Predicados de Primer Orden - Primera Parte (para clase del 24 de abril) | 88 kb | v. 2 | 23 abr 2018 18:59 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº3 - Lógica de Predicados de Primer Orden - Segunda Parte (para clases del 7 y 8 de mayo) | 145 kb | v. 2 | 5 may 2018 7:28 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº4 - Árboles de Refutación en LPPO (Primera Parte) | 74 kb | v. 2 | 13 may 2018 18:36 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº4 - Modelos de Herbrand (Segunda Parte, para clases del 21 y 22 de mayo) | 83 kb | v. 2 | 20 may 2018 13:24 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº5 - Resolución (para clase del 11 de junio) | 81 kb | v. 2 | 10 jun 2018 17:29 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº6 - Resolución - Lógica de Programas(para clases del 18 y 25 de junio) | 87 kb | v. 2 | 17 jun 2018 19:18 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº6 - Ejercicios de Repaso (para clases del 2 y 3 de julio) | 68 kb | v. 2 | 1 jul 2018 12:12 | Ciencias de la Computación II |