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 13 y 17 de marzo) | 100 kb | v. 8 | 23 mar. 2018 7:28 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº2 - Lógica Proposicional (para clases del 20, 27 y 31 de marzo, ) | 97 kb | v. 8 | 23 mar. 2018 7:28 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº3 - Segunda Parte - Lógica Predicados de Primer Orden: Modelos (para clases del 10 y 17 de abril) | 199 kb | v. 8 | 23 mar. 2018 7:28 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº3 - Lógica Predicados - Primera Parte (para clases del 2 y 7 de abril) | 88 kb | v. 8 | 23 mar. 2018 7:28 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº4 - Árboles de Refutación - Modelos - Modelos de Herbrand(para clases del 24 de abril y 5 de mayo) | 83 kb | v. 8 | 23 mar. 2018 7:28 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº5 - Resolución (para clases del 19 y 22 de mayo) | 81 kb | v. 8 | 23 mar. 2018 7:28 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº6 - Resolución - Lógica de Programas (para clases del 5 y 9 de junio) | 87 kb | v. 8 | 23 mar. 2018 7:28 | Ciencias de la Computación II |