Trabajos Prácticos

SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
Ver Descargar
Trabajo Práctico Nº1 - Lógica Proposicional (para clases del 26 y 27 de marzo, y 3 de abril)  100 kb v. 1 6 abr. 2018 8:06 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº2 - Lógica Proposicional (para clases del 9 y 10 de abril)  97 kb v. 1 6 abr. 2018 8:07 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 24 de abril)   88 kb v. 1 23 abr. 2018 18:59 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 7 y 8 de mayo)    145 kb v. 1 5 may. 2018 7:28 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº4 - Árboles de Refutación en LPPO (Primera Parte)  74 kb v. 1 13 may. 2018 18:36 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº4 - Modelos de Herbrand (Segunda Parte, para clases del 21 y 22 de mayo)   83 kb v. 1 20 may. 2018 13:24 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº5 - Resolución (para clase del 11 de junio)    81 kb v. 1 10 jun. 2018 17:29 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº6 - Resolución - Lógica de Programas(para clases del 18 y 25 de junio)     87 kb v. 1 17 jun. 2018 19:18 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº6 - Ejercicios de Repaso (para clases del 2 y 3 de julio)   68 kb v. 1 1 jul. 2018 12:12 Ciencias de la Computación II
Comments