Lógica Informática

chevron_forwardUniversidadchevron_forwardUSchevron_forwardEscuela Técnica Superior de Ingeniería Informáticachevron_forward2º Grado en Ingeniería Informática - Ingeniería del Software (US)

169

387

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 - 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 - 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 - 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 - Ingeniería del Software (US)

apuntes

TODOS LOS TEMAS LI TEORIA Y EJERCICIOS

He publicado nuevos apuntes de 2º Lógica Informática: TODOS LOS TEMAS LI TEORIA Y EJERCICIOS

LOGICA-Y-LPO-TEORIA-Y-EJERCICIOS.pdf

TABLEROS-SEMANTICOS-TEORIA-Y-EJERCICIOS.pdf

DPLL-Y-FORMAS-NORMALES-TEORIA-Y-EJERCICIOS.pdf

PRENEX-Y-SKOLEM-TEORIA-Y-EJERCICIOS.pdf

RESOLUCION-TEORIA-Y-EJERCICIOS.pdf

PROLOG-TEORIA-Y-EJERCICIOS.pdf

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

apuntes

FORMULARIO-1-PARCIAL-LOGICA.pdf

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

6 páginas

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

ejercicios

Problemas resueltos/ Solved Problems

Problemas con solución de los temas para el segundo parcial / Problems with solutions of units regarding second partial exam

PROBLEMAS-T5A.pdf

T6-Problemas.pdf

T7-Y-8-Problemas.pdf

Problemas-T1.1.pdf

Problemas-exercises-2.pdf

Problemas-Exercises-3.pdf

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

examenes

Exámenes resueltos / Solved exams

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

Parcial-1-2023-G1.pdf

2Parcial-2024-G5-resuelto.pdf

1Parcial-2024-G5.pdf

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

apuntes

LI-T12.pdf

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

16 páginas

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

apuntes

LI-T9.pdf

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

7 páginas

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

apuntes

LI-T11.pdf

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

6 páginas

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

apuntes

LI-T10.pdf

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

11 páginas

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

apuntes

LI-T7.pdf

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

11 páginas

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

apuntes

LI-T6.pdf

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

11 páginas

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

apuntes

LI-T5.pdf

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

11 páginas

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

apuntes

LI-T4.pdf

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

7 páginas

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

apuntes

LI-T1.pdf

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

19 páginas

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

apuntes

LI-T3.pdf

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

7 páginas

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

apuntes

Megarresumen-LI-Temas-1-2-3-4-6-7.pdf

Es solamente lo esencial de la asignatura, no tengo hecho ningún ejercicio

6 páginas