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. 1 | 10 mar. 2017 8:20 | 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. 1 | 17 mar. 2017 11:03 | 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. 1 | 8 abr. 2017 9:18 | 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. 1 | 31 mar. 2017 14:55 | 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. 1 | 23 abr. 2017 18:25 | 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. 1 | 18 may. 2017 5:37 | 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. 1 | 5 jun. 2017 6:21 | Ciencias de la Computación II |