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 Ciencias de la Computación II
Comments