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 - 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

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

apuntes

LIApuntes-de-Clase-Modelos-de-Herbrand.pdf

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

4 páginas

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

apuntes

LIApuntes-de-Clase-Sintaxis-y-semantica.pdf

He publicado nuevos apuntes de 2º Lógica Informática: LIApuntes-de-Clase-Sintaxis-y-semantica.pdf

2 páginas

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

apuntes

TEORÍA LI

He publicado nuevos apuntes de 2º Lógica Informática: TEORÍA LI

TEMA-1-LI.pdf

TEMA-2-LI.pdf

TEMA-3-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

TEMA 6-RESUMEN.pdf.pdf

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

5 páginas

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

ejercicios

Ejercicios resueltos

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

Exs-Unit-1.pdf

Exs-Unit-2.pdf

Exs-Unit-3.pdf

Exs-Unit-4.pdf

Exs-Unit-5a.pdf

Exs-Unit-5b.pdf

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

apuntes

Resumen-Tema-1.-Logica-Proposicional.pdf

Resumen tema 1

7 páginas

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

apuntes

resolucion.pdf

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

1 página

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

apuntes

dpll-y-cdcl.pdf

He publicado nuevos apuntes de 2º Lógica Informática: dpll-y-cdcl.pdf

2 páginas

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

apuntes

FORMAS-NORMALES.pdf

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

2 páginas

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

apuntes

Logica-proposicional.pdf

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

5 páginas

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

apuntes

tablas-semanticas.pdf

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

1 página

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

apuntes

TEMA-6.pdf

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

21 páginas

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

apuntes

TEMA-5.pdf

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

10 páginas

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

apuntes

TEMA-4.pdf

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

10 páginas

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

apuntes

TEMA-3.pdf

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

14 páginas

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

ejercicios

Ejercicio-CDCL.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: Ejercicio-CDCL.pdf

2 páginas

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

ejercicios

Ejercicios-Tema-1.pdf

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

2 páginas

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

apuntes

TEMA-1.pdf

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

10 páginas

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

ejercicios

Ejercicios-boletin-tema-5.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: Ejercicios-boletin-tema-5.pdf

5 páginas

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

ejercicios

Ejercicios-Boletin-tema-3.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: Ejercicios-Boletin-tema-3.pdf

8 páginas

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

ejercicios

Ejercicios-boletin-tema-2.pdf

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

5 páginas

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

apuntes

Apuntes-1-parcial-LI-Temas-1-5.pdf

Resumen completo de todo lo que entra en el primer parcial de lógica informática (Temas 1, 2, 3, 4 y 5)

6 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

#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

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

apuntes

TEMA 4-RESUMEN.pdf.pdf

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

3 páginas

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

apuntes

TEMA 3-RESUMEN.pdf.pdf

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

3 páginas

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

apuntes

TEMA 5-RESUMEN.pdf.pdf

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

2 páginas

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

examenes

EXAMEN-PARCIAL-RESUELTO-GRUPO-4-noviembre-2024.pdf

He publicado nuevos examenes de 2º Lógica Informática: EXAMEN-PARCIAL-RESUELTO-GRUPO-4-noviembre-2024.pdf

5 páginas

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

examenes

EXAMEN-RESUELTO-PRIMER-PARCIAL-GRUPO-2-2024.pdf

He publicado nuevos examenes de 2º Lógica Informática: EXAMEN-RESUELTO-PRIMER-PARCIAL-GRUPO-2-2024.pdf

6 páginas

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

examenes

EXAMEN-PARCIAL-RESUELTO-GRUPO-3-noviembre-2024.pdf

He publicado nuevos examenes de 2º Lógica Informática: EXAMEN-PARCIAL-RESUELTO-GRUPO-3-noviembre-2024.pdf

6 páginas

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

examenes

EXAMEN-PARCIAL-RESUELTO-GRUPO-1-noviembre-2024.pdf

He publicado nuevos examenes de 2º Lógica Informática: EXAMEN-PARCIAL-RESUELTO-GRUPO-1-noviembre-2024.pdf

7 páginas

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

apuntes

Resumen-LIT5.pdf

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

1 página

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

apuntes

ApuntesDeClase-LI-T5.pdf

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

3 páginas

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

apuntes

ResumenLIT4--ReglaResolucion.pdf

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

2 páginas

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

apuntes

ResumenLIT3.pdf

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

1 página

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

apuntes

ResumenLIT2.pdf

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

1 página

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

apuntes

ResumenLIT1.pdf

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

1 página

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

apuntes

ApuntesDeClaseT234y5.pdf

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

23 páginas

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

apuntes

Boletines LI RESUELTOS

He publicado nuevos apuntes de 2º Lógica Informática: Boletines LI RESUELTOS

BOLETIN-7.pdf

BOLETIN-6.pdf

BOLETIN-5.pdf

BOLETIN-4.pdf

BOLETIN-3.pdf

BOLETIN-2.pdf

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

apuntes

Apuntes LI

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

Tema-1-Apuntes-LI.pdf

TEMA-6-APUNTES.pdf

TEMA-7-APUNTES.pdf

TEMA-8-APUNTES.pdf

TEMA-5-APUNTES.pdf

TEMA-4-APUNTES.pdf

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

examenes

EXAMENES SEGUNDO PARCIAL 24-25

He publicado nuevos examenes de 2º Lógica Informática: EXAMENES SEGUNDO PARCIAL 24-25

exam2g22024.pdf

exam2g32024.pdf

exam2g42024.pdf

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

examenes

EXAMENES PRIMER PARCIAL 24-25

He publicado nuevos examenes de 2º Lógica Informática: EXAMENES PRIMER PARCIAL 24-25

exam1g12024.pdf

exam1g22024.pdf

exam1g32024.pdf

exam1g42024.pdf

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

examenes

EXAMENES SEGUNDO PARCIAL 23-24

He publicado nuevos examenes de 2º Lógica Informática: EXAMENES SEGUNDO PARCIAL 23-24

exam2g12023.pdf

exam2g22023.pdf

exam2g32023.pdf

exam2g42023.pdf

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

examenes

EXAMENES CONVOCATORIA 2024

He publicado nuevos examenes de 2º Lógica Informática: EXAMENES CONVOCATORIA 2024

examenenero2024.pdf

examenjulio2024.pdf

examenoctubre2023.pdf

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

apuntes

RESUMEN-TEMA-3-LI-Logica-Informatica.pdf

He publicado nuevos apuntes de 2º Lógica Informática: RESUMEN-TEMA-3-LI-Logica-Informatica.pdf

1 página

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

ejercicios

EJERCICIOS-RESUELTOS-DE-EXAMEN-TEMA-1-LI.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: EJERCICIOS-RESUELTOS-DE-EXAMEN-TEMA-1-LI.pdf

5 páginas

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

apuntes

RESUMEN-TEMA-1-LI.pdf

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

1 página

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

examenes

Examenes resueltos

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

examen-g3-primer-parcial-2023.pdf

examen-convocatoria-enero-2023.pdf

examen-convocatoria-julio-2024.pdf

examen-g3-segundo-parcial-2023.pdf

examen-g2-segundo-parcial-2023.pdf

examen-g1-segundo-parcial-2023.pdf

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

apuntes

TEMA 2-RESUMEN.pdf.pdf

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

2 páginas

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

apuntes

TEMA 1-RESUMEN.pdf.pdf

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

3 páginas

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

apuntes

todos-temas-resumidos.pdf

He publicado nuevos apuntes de 2º Lógica Informática: todos-temas-resumidos.pdf

10 páginas

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

ejercicios

EJERCICIOS TEMA 1

He publicado nuevos ejercicios de 2º Lógica Informática: EJERCICIOS TEMA 1

SOLUCIONEST1.pdf

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

apuntes

5.-Resolucion-proposicional-y-en-logica-de-primer-orden.pdf

He publicado nuevos apuntes de 2º Lógica Informática: 5.-Resolucion-proposicional-y-en-logica-de-primer-orden.pdf

3 páginas

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

apuntes

4.-Formas-normales-en-logica-de-primer-orden.pdf

He publicado nuevos apuntes de 2º Lógica Informática: 4.-Formas-normales-en-logica-de-primer-orden.pdf

4 páginas

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

apuntes

3.Apuntes-Formas-normales-y-DPLL.pdf

Tema 3 ejercicios y apuntes

14 páginas

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

apuntes

2.-logica-proposicional.pdf

Tema 2 apuntes y ejercicios

4 páginas

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

apuntes

1.-Apuntes-logica-primer-orden.pdf

Apuntes de clase con ejercicios primer tema

8 páginas

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

examenes

Esencial-para-examen-LOGICA.pdf

He publicado nuevos examenes de 2º Lógica Informática: Esencial-para-examen-LOGICA.pdf

4 páginas