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 18 y 19 de marzo) | 100 kb | v. 1 | 15 mar 2019 12:33 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico Nº2 - Árboles de Refutación - Lógica Proposicional (para clases del 26 de marzo y 1 de abril) | 96 kb | v. 1 | 25 mar 2019 6:36 | 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 9 de abril) | 87 kb | v. 1 | 8 abr 2019 7:22 | 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 23 y 29 de abril) | 199 kb | v. 1 | 22 abr 2019 15:55 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico N°4 - Árboles de Refutación - Lógica de Predicados de Primer Orden (Primera Parte) (para clase del 6 de mayo) | 73 kb | v. 1 | 3 may 2019 7:19 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico N°4 - Modelos de Herbrand - Lógica de Predicados de Primer Orden (Segunda Parte) (para clases del 7, 13 y 14 de mayo) | 83 kb | v. 1 | 19 may 2019 6:23 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico N°5 - Resolución - Lógica de Predicados de Primer Orden (para clases del 20 y 21 de mayo) | 81 kb | v. 1 | 19 may 2019 6:24 | Ciencias de la Computación II | |
| Ċ | Ver Descargar |
Trabajo Práctico N°6 - Refinamientos de Resolución - Lógica de Predicados de Primer Orden (para clases del 10 y 11 de junio) | 87 kb | v. 1 | 9 jun 2019 14:22 | Ciencias de la Computación II |