Filminas

SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
Ver Descargar
Filminas para clase del 18 de marzo - Repaso de Conceptos Básicos de Lógica Proposicional y Consecuencia Semántica.   70 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Ċ
Ver Descargar
Filminas para clases del 1 y 8 de abril - Árboles de Refutación - Resolución)   114 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Ċ
Ver Descargar
Filminas para clase del 15 de abril(Introducción a la Lógica de Predicados)   149 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Ċ
Ver Descargar
Filminas para clase del 22 de abril(Lógica de Predicados: Modelos)   58 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Ċ
Ver Descargar
Filminas para clase del 29 de abril (Árboles de Refutación LPPO)  34 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Ċ
Ver Descargar
Filminas para clase del 29 de abril (Forma clausular LPPO)  26 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Ċ
Ver Descargar
Filminas para clase del 6 de mayo (Modelos de Herbrand)  56 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Ċ
Ver Descargar
Filminas para clase del 13 de mayo (p-satisfacible)   39 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Ċ
Ver Descargar
Filminas para clase del 13 de mayo (Resolución en LPPO)   43 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Ċ
Ver Descargar
Filminas para clase del 27 de mayo (Refinamientos para Resolución en LPPO)  37 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Ċ
Ver Descargar
Filminas para clase del 10 de junio (Lógica de Programas)  43 kb v. 5 9 mar. 2017 18:13 Ciencias de la Computación II
Comments