Trabajos Prácticos

SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
Ver Descargar
Trabajo Práctico Nº1 - Lógica Proposicional (para clases del 13 y 17 de marzo)   100 kb v. 1 10 mar. 2017 8:20 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº2 - Lógica Proposicional (para clases del 20, 27 y 31 de marzo, )     97 kb v. 1 17 mar. 2017 11:03 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº3 - Segunda Parte - Lógica Predicados de Primer Orden: Modelos (para clases del 10 y 17 de abril)     199 kb v. 1 8 abr. 2017 9:18 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº3 - Lógica Predicados - Primera Parte (para clases del 2 y 7 de abril)      88 kb v. 1 31 mar. 2017 14:55 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº4 - Árboles de Refutación - Modelos - Modelos de Herbrand(para clases del 24 de abril y 5 de mayo)      83 kb v. 1 23 abr. 2017 18:25 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº5 - Resolución (para clases del 19 y 22 de mayo)       81 kb v. 1 18 may. 2017 5:37 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº6 - Resolución - Lógica de Programas (para clases del 5 y 9 de junio)   87 kb v. 1 5 jun. 2017 6:21 Ciencias de la Computación II
Comments