Trabajos Prácticos

SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
Ver Descargar
Trabajo Práctico Nº1 - Lógica Proposicional (para clases del 18 y 19 de marzo)   100 kb v. 1 15 mar. 2019 12:33 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico Nº2 - Árboles de Refutación - Lógica Proposicional (para clases del 26 de marzo y 1 de abril)    96 kb v. 1 25 mar. 2019 6:36 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 9 de abril)  87 kb v. 1 8 abr. 2019 7:22 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 23 y 29 de abril)   199 kb v. 1 22 abr. 2019 15:55 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico N°4 - Árboles de Refutación - Lógica de Predicados de Primer Orden (Primera Parte) (para clase del 6 de mayo)   73 kb v. 1 3 may. 2019 7:19 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico N°4 - Modelos de Herbrand - Lógica de Predicados de Primer Orden (Segunda Parte) (para clases del 7, 13 y 14 de mayo)     83 kb v. 1 19 may. 2019 6:23 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico N°5 - Resolución - Lógica de Predicados de Primer Orden (para clases del 20 y 21 de mayo)     81 kb v. 1 19 may. 2019 6:24 Ciencias de la Computación II
Ċ
Ver Descargar
Trabajo Práctico N°6 - Refinamientos de Resolución - Lógica de Predicados de Primer Orden (para clases del 10 y 11 de junio)   87 kb v. 1 9 jun. 2019 14:22 Ciencias de la Computación II
Comments