Trabajos Prácticos

SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
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
Comments