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. 8 23 mar. 2018 7:28 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. 8 23 mar. 2018 7:28 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. 8 23 mar. 2018 7:28 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. 8 23 mar. 2018 7:28 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. 8 23 mar. 2018 7:28 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. 8 23 mar. 2018 7:28 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. 8 23 mar. 2018 7:28 Ciencias de la Computación II
Comments