Lógica Informática

Todo

Apuntes

Preguntas

Ejercicios

Exámenes

Otros

publication

chevron_left

chevron_right

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

apuntes-y-ejercicios-de-primer-orden.pdf

He publicado nuevos apuntes de 2º Lógica Informática: apuntes-y-ejercicios-de-primer-orden.pdf

6 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Resumen-LI.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Resumen-LI.pdf

11 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

BOLETINES RESUELTOS

He publicado nuevos ejercicios de 2º Lógica Informática: BOLETINES RESUELTOS

Boletin-1-LI.pdf

Boletin-2-LI.pdf

Boletin-3-LI.pdf

Boletin-4LI.pdf

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Resumen-Tema-5.-Forma-Skolem.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Resumen-Tema-5.-Forma-Skolem.pdf

3 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Resumen-Tema-5.-Forma-Clausal.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Resumen-Tema-5.-Forma-Clausal.pdf

1 página

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Resumen-Tema-5.-Forma-Prenex.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Resumen-Tema-5.-Forma-Prenex.pdf

2 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

examenes

convocatorias resueltas

He publicado nuevos examenes de 2º Lógica Informática: convocatorias resueltas

examen-enero-2025.pdf

soluciones-enero-2025.pdf

examen-enero-2024.pdf

soluciones-enero-2024.pdf

examen-julio-2025.pdf

soluciones-julio-2024.pdf

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

explicaciones y guias logica

He publicado nuevos apuntes de 2º Lógica Informática: explicaciones y guias logica

guia-formalizacion-logica-primer-orden.pdf

guia-algoritmo-dpll-explicado-paso-por-paso.pdf

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Resumen-Tema-3.-Tableros-en-LP.pdf

Resumen

2 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-Resueltos-T4-Parte-3.pdf

Ejercicios resueltos

5 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-Resueltos-T4-Parte-2.pdf

Ejercicios resueltos

5 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-Resueltos-T4-Parte-1.pdf

Ejercicios resueltos

6 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-Resueltos-T3.-Tableros-LP-Parte-2.pdf

Ejercicios resueltos

4 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-Resueltos-T3.-Tableros-LP-Parte-1.pdf

Ejercicios resueltos

3 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-Resueltos-T2.-LPO-Parte-2.pdf

Ejercicios resueltos

3 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-Resueltos-T2.-LPO-Parte-1.pdf

Ejercicios resueltos

5 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-Resueltos-T1-Parte-2.pdf

Ejercicios resueltos

6 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-Resueltos-T1-Parte-1.pdf

Ejercicios resueltos

6 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Tema-7.-Programacion-logica-en-Prolog.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Tema-7.-Programacion-logica-en-Prolog.pdf

41 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Tema-6.-Resolucion-en-LPO.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Tema-6.-Resolucion-en-LPO.pdf

36 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Tema-5.-Formas-Prenex-de-Skolem-y-Teorema-de-Herbrand.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Tema-5.-Formas-Prenex-de-Skolem-y-Teorema-de-Herbrand.pdf

36 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Tema-4.-Resolucion-proposicional-y-el-algoritmo-DPLL.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Tema-4.-Resolucion-proposicional-y-el-algoritmo-DPLL.pdf

33 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Tema-2.-Logica-de-primer-orden.-Sintaxis-y-semantica.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Tema-2.-Logica-de-primer-orden.-Sintaxis-y-semantica.pdf

56 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Tema-3.-Tableros-semanticos.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Tema-3.-Tableros-semanticos.pdf

45 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Tema-1.-Logica-proposicional.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Tema-1.-Logica-proposicional.pdf

62 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-T7.-Prolog.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: Ejercicios-T7.-Prolog.pdf

4 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-T6.-Resolucion-en-LPO.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: Ejercicios-T6.-Resolucion-en-LPO.pdf

5 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-T5.-Prenex-Skolen-y-Herbrand.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: Ejercicios-T5.-Prenex-Skolen-y-Herbrand.pdf

3 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-T4.-Resolucion-proposicional-y-Algoritmo-DPLL.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: Ejercicios-T4.-Resolucion-proposicional-y-Algoritmo-DPLL.pdf

8 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-T3.-Tableros-semanticos-LP-y-LPO.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: Ejercicios-T3.-Tableros-semanticos-LP-y-LPO.pdf

7 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-T1.-Logica-Proposicional.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: Ejercicios-T1.-Logica-Proposicional.pdf

14 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Ejercicios-T2.-Logica-de-Primer-Orden.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: Ejercicios-T2.-Logica-de-Primer-Orden.pdf

13 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Resumen-Tema-4-Resolucion-Proposicional.pdf

Resumen con explicaciones detalladas

6 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

Resumen-Tema-4-Algoritmo-DPLL.pdf

Resumen con explicaciones detalladas

3 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

Ejercicios Bloque 2 LI

Iré subiendo más...

Ejercicios Tema 4.pdf.pdf

Ejercicios Tema 3.pdf.pdf

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Logica-Informatica.pdf

Ejercicios de todos los temas de la asignatura

62 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Tema-5A-LI.pdf

Ejercicios del tema 5A resueltos en clase G1

6 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Tema-6LI.pdf

Ejercicios resueltos en clase Tema 6 LI G1

5 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Tema-4LI.pdf

Ejercicios resueltos en clase Tema 4 LI G1

12 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

ejercicios

Tema-5B-LI.pdf.pdf

Ejercicios resueltos en clase Tema 5 LI G1

7 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

examenes

Exámenes resueltos

He publicado nuevos examenes de 2º Lógica Informática: Exámenes resueltos

exam1g42024-1-1.pdf

exam1g22024-2.pdf

parcial-2-g2.pdf

parcial-2-grupo-3.pdf

parcial-2-grupo-4.pdf

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

examenes

exam2g42024.pdf

He publicado nuevos examenes de 2º Lógica Informática: exam2g42024.pdf

4 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

T9-MUY-RESUMIDO-Y-EJEMPLOS.pdf

He publicado nuevos apuntes de 2º Lógica Informática: T9-MUY-RESUMIDO-Y-EJEMPLOS.pdf

1 página

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

LI-TEMA8.pdf

He publicado nuevos apuntes de 2º Lógica Informática: LI-TEMA8.pdf

5 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

LI-TEMA7.pdf

He publicado nuevos apuntes de 2º Lógica Informática: LI-TEMA7.pdf

3 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

examenes

Examenes resueltos LI

He publicado nuevos examenes de 2º Lógica Informática: Examenes resueltos LI

Examen-diciembre-2024-G4.pdf

Examen-diciembre-2024-G2.pdf

Examen-diciembre-2024-G1.pdf

Examen-diciembre-2023-G2.pdf

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

ejercicios

Boletines resueltos

He publicado nuevos ejercicios de 2º Lógica Informática: Boletines resueltos

BOLETIN-TEMA-3.pdf

BOLETIN-TEMA-4.pdf

BOLETIN-TEMA-8.pdf

BOLETIN-TEMA-7.pdf

BOLETIN-TEMA-6.pdf

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

LI-TEMA-5-y-6.pdf.pdf

He publicado nuevos apuntes de 2º Lógica Informática: LI-TEMA-5-y-6.pdf.pdf

8 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

LI-Resumen-T9.pdf

He publicado nuevos apuntes de 2º Lógica Informática: LI-Resumen-T9.pdf

1 página

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

TEMA-8-RESUMEN.pdf.pdf

He publicado nuevos apuntes de 2º Lógica Informática: TEMA-8-RESUMEN.pdf.pdf

4 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

LI-Resumen-T8.pdf

He publicado nuevos apuntes de 2º Lógica Informática: LI-Resumen-T8.pdf

1 página

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

LI-Resumen-T7.pdf

He publicado nuevos apuntes de 2º Lógica Informática: LI-Resumen-T7.pdf

2 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

TEMA-10.pdf

He publicado nuevos apuntes de 2º Lógica Informática: TEMA-10.pdf

10 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

TEMA-9.pdf

He publicado nuevos apuntes de 2º Lógica Informática: TEMA-9.pdf

16 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

TEMA-8.pdf

He publicado nuevos apuntes de 2º Lógica Informática: TEMA-8.pdf

15 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (US)

apuntes

TEMA-7.pdf

He publicado nuevos apuntes de 2º Lógica Informática: TEMA-7.pdf

16 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

LI-Resumen-T6.pdf

He publicado nuevos apuntes de 2º Lógica Informática: LI-Resumen-T6.pdf

2 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

TEMA 7-RESUMEN.pdf.pdf

He publicado nuevos apuntes de 2º Lógica Informática: TEMA 7-RESUMEN.pdf.pdf

3 páginas

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

Apuntes completos LI

He publicado nuevos apuntes de 2º Lógica Informática: Apuntes completos LI

Tema-3-LI.pdf

Tema-1-LI.pdf

Tema-2-LI.pdf

Tema-4-LI.pdf

Tema-5-LI.pdf

Tema-6-LI.pdf

#Lógica Informática·2º Grado en Ingeniería Informática - Ingeniería del Software (US)

apuntes

LIApuntes-de-Clase-Resolucion-LPO.pdf

He publicado nuevos apuntes de 2º Lógica Informática: LIApuntes-de-Clase-Resolucion-LPO.pdf

3 páginas