Lógica Informática

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

116

246

Todo

Apuntes

Ejercicios

Exámenes

chevron_left

chevron_right

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

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)

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

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

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

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

ejercicios

Algunos EJERCICIOS RESUELTOS

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

Problemas-U5watermarked.pdf

Problemas-U1watermarked.pdf

Problemas-U2watermarked.pdf

Problemas-U3watermarked.pdf

Problemas-U4watermarked.pdf

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

apuntes

LI-todo.pdf

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

42 páginas

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

apuntes

Cosas-Importantes-LI.pdf

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

1 página

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

apuntes

Apuntes LI

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

Tema-1-LI.pdf

Tema-2-LI.pdf

Tema-3-LI.pdf

Tema-4-LI.pdf

#Lógica Informática·2º Grado en Ingeniería Informática - Tecnologías Informáticas (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 - Tecnologías Informáticas (US)

examenes

Examenes Logica

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

1-Parcial-Examen250106174415-1.pdf

Segundo-Parcial-21-22250114161430.pdf

Septiembre-2019250115121223.pdf

Septiembre-2018250114165634.pdf

1-Parcial-Wuolah-250113170003.pdf

1-Parcial-2019-250114112944.pdf

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

apuntes

Lógica Informática (con resumen)

Ordenado mes-dia

10-14.pdf

10-16.pdf

10-2.pdf

10-21.pdf

10-23.pdf

10-28.pdf