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 clase del 18 de marzo) | 103 kb | v. 2 | 31 mar. 2016 7:59 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº2 - Lógica Proposicional (para clases del 1 y 8 de abril) | 97 kb | v. 2 | 31 mar. 2016 7:59 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº3 (Primera Parte) - Lógica de Predicados (para clase del 15 de abril) | 91 kb | v. 2 | 21 abr. 2016 5:13 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº3 (Segunda Parte) - Lógica de Predicados (para clase del 15 de abril) | 199 kb | v. 2 | 27 abr. 2016 9:47 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº4 - Árboles de Refutación - Modelos de Herbrand (para clases del 29 de abril y 6 de mayo) | 83 kb | v. 2 | 27 abr. 2016 9:51 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº5 - Resolución (para clase del 13 de mayo) | 81 kb | v. 2 | 11 may. 2016 11:30 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº6 - Resolución en LPPO - Lógica de Programas (para clases del 27 de mayo y 10 de junio) | 87 kb | v. 2 | 26 may. 2016 5:25 | Ciencias de la Computación II |