Lógica Informática
109 Compis
175 Publicaciones
apuntes
-
De-la-Resolucion-Proposicional-a-la-Resolucion-LPO.pdf
He publicado nuevos apuntes de Lógica Informática: De-la-Resolucion-Proposicional-a-la-Resolucion-LPO.pdf
apuntes
-
1.3.-Sintaxis-y-Semantica-LPO.pdf
He publicado nuevos apuntes de Lógica Informática: 1.3.-Sintaxis-y-Semantica-LPO.pdf
apuntes
-
1.4.-Ejemplos-resueltos-formalizacion-LPO.pdf
He publicado nuevos apuntes de Lógica Informática: 1.4.-Ejemplos-resueltos-formalizacion-LPO.pdf
apuntes
-
Tableros-Semanticos-en-Logica-Proposicional.pdf
He publicado nuevos apuntes de Lógica Informática: Tableros-Semanticos-en-Logica-Proposicional.pdf
apuntes
-
Tableros-Semanticos-en-Logica-de-Primer-Orden.pdf
He publicado nuevos apuntes de Lógica Informática: Tableros-Semanticos-en-Logica-de-Primer-Orden.pdf
apuntes
-
Una-introduccion-a-Prolog.pdf
He publicado nuevos apuntes de Lógica Informática: Una-introduccion-a-Prolog.pdf
apuntes
-
1.2.-Ejemplos-resueltos-formalizacion-LP.pdf
He publicado nuevos apuntes de Lógica Informática: 1.2.-Ejemplos-resueltos-formalizacion-LP.pdf
apuntes
-
Formas-Prenex-de-Skolem-y-Teorema-de-Herbrand.pdf
He publicado nuevos apuntes de Lógica Informática: Formas-Prenex-de-Skolem-y-Teorema-de-Herbrand.pdf
apuntes
-
Formas-Normales-Clausulas-y-Algoritmo-DPLL.pdf
He publicado nuevos apuntes de Lógica Informática: Formas-Normales-Clausulas-y-Algoritmo-DPLL.pdf
apuntes
-
1.1.-Sintaxis-y-Semantica-LP.pdf
He publicado nuevos apuntes de Lógica Informática: 1.1.-Sintaxis-y-Semantica-LP.pdf
examenes
-
Parcial-1-Logica-Informatica.pdf
He publicado nuevos examenes de Lógica Informática: Parcial-1-Logica-Informatica.pdf
examenes
-
Examen-Parcial-2019.pdf
Examen Lógica Informática 2019
apuntes
-
Tema-2-LI.pdf
Tema 2 - LI
apuntes
-
Tema-1-LI.pdf
Tema 1 - LI
apuntes
-
T2 - Tableros Semánticos.pdf
He publicado nuevos apuntes de Lógica Informática: T2 - Tableros Semánticos.pdf
apuntes
-
T3 - Formas normales y algoritmo DPLL.pdf
He publicado nuevos apuntes de Lógica Informática: T3 - Formas normales y algoritmo DPLL.pdf
apuntes
-
T1 - Sintaxis y semántica de las lógicas proposicional y de primer orden.pdf
He publicado nuevos apuntes de Lógica Informática: T1 - Sintaxis y semántica de las lógicas proposicional y de primer orden.pdf
ejercicios
-
TEMA-5-EJERCICIOS.pdf
He publicado nuevos ejercicios de Lógica Informática: TEMA-5-EJERCICIOS.pdf
ejercicios
-
TEMA-4-EJERCICIOS.pdf
He publicado nuevos ejercicios de Lógica Informática: TEMA-4-EJERCICIOS.pdf
ejercicios
-
TEMA-3-EJERCICIOS.pdf
He publicado nuevos ejercicios de Lógica Informática: TEMA-3-EJERCICIOS.pdf
