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)

121

208

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

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

#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

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

apuntes

Apuntes 1-6

He publicado nuevos apuntes de 2º Lógica Informática: Apuntes 1-6

LI-Tema-1-APUNTES.pdf

LI-Tema-2APUNTES.pdf

LI-Tema-3APUNTES.pdf

LI-Tema-4APUNTES.pdf

LI-Tema-5APUNTES.pdf

LI-Tema-6APUNTES.pdf

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

ejercicios

Ejercicios 1-6

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

Ejercicio-Tema-1Problemas.pdf

Ejercicio-Tema-2Problemas.pdf

Ejercicio-Tema-3Problemas.pdf

Ejercicio-Tema-4Problemas.pdf

Ejercicio-Tema-5Problemas.pdf

Ejercicio-Tema-6Problemas.pdf

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

examenes

Exámenes Lógica

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

Segundo-Parcial-Logica-Grupo-1.-2024-2025.pdf

Primer-Parcial-Logica-Grupo-1.-2024-2025.pdf

@Anónimo

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

apuntes

Apuntes-De-Clase.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Apuntes-De-Clase.pdf

64 páginas

@Anónimo

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

apuntes

SUPER-RESUMEN-2-PARCIAL-LI.pdf

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

1 página

@Anónimo

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

apuntes

SUPER-RESUMEN-1-PARCIAL-LI.pdf

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

5 páginas

@Anónimo

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

apuntes

EJERCICIOS.pdf

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

22 páginas

@Anónimo

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

apuntes

EJEMPLOS-FORMALIZACION.pdf

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

9 páginas

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

apuntes

T4 - Formas Prenex, de Skolem, y Teorema de Herbrand.pdf

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

3 páginas

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

apuntes

T5 - Resolución.pdf

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

2 páginas

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

apuntes

T6 - De la Resolución a la Programación Lógica: Prolog.pdf

He publicado nuevos apuntes de 2º Lógica Informática: T6 - De la Resolución a la Programación Lógica: Prolog.pdf

1 página

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

apuntes

De-la-Resolucion-Proposicional-a-la-Resolucion-LPO.pdf

He publicado nuevos apuntes de 2º Lógica Informática: De-la-Resolucion-Proposicional-a-la-Resolucion-LPO.pdf

9 páginas

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

apuntes

1.3.-Sintaxis-y-Semantica-LPO.pdf

He publicado nuevos apuntes de 2º Lógica Informática: 1.3.-Sintaxis-y-Semantica-LPO.pdf

12 páginas

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

apuntes

1.4.-Ejemplos-resueltos-formalizacion-LPO.pdf

He publicado nuevos apuntes de 2º Lógica Informática: 1.4.-Ejemplos-resueltos-formalizacion-LPO.pdf

4 páginas

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

apuntes

Tableros-Semanticos-en-Logica-Proposicional.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Tableros-Semanticos-en-Logica-Proposicional.pdf

8 páginas

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

apuntes

Tableros-Semanticos-en-Logica-de-Primer-Orden.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Tableros-Semanticos-en-Logica-de-Primer-Orden.pdf

12 páginas

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

apuntes

Una-introduccion-a-Prolog.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Una-introduccion-a-Prolog.pdf

12 páginas

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

apuntes

1.2.-Ejemplos-resueltos-formalizacion-LP.pdf

He publicado nuevos apuntes de 2º Lógica Informática: 1.2.-Ejemplos-resueltos-formalizacion-LP.pdf

11 páginas

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

apuntes

Formas-Normales-Clausulas-y-Algoritmo-DPLL.pdf

He publicado nuevos apuntes de 2º Lógica Informática: Formas-Normales-Clausulas-y-Algoritmo-DPLL.pdf

15 páginas

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

apuntes

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

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

10 páginas

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

apuntes

1.1.-Sintaxis-y-Semantica-LP.pdf

He publicado nuevos apuntes de 2º Lógica Informática: 1.1.-Sintaxis-y-Semantica-LP.pdf

13 páginas

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

examenes

Parcial-1-Logica-Informatica.pdf

He publicado nuevos examenes de 2º Lógica Informática: Parcial-1-Logica-Informatica.pdf

4 páginas

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

examenes

Examen-Parcial-2019.pdf

Examen Lógica Informática 2019

5 páginas

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

apuntes

Tema-2-LI.pdf

Tema 2 - LI

5 páginas

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

apuntes

Tema-1-LI.pdf

Tema 1 - LI

5 páginas

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

apuntes

T2 - Tableros Semánticos.pdf

He publicado nuevos apuntes de 2º Lógica Informática: T2 - Tableros Semánticos.pdf

3 páginas

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

apuntes

T3 - Formas normales y algoritmo DPLL.pdf

He publicado nuevos apuntes de 2º Lógica Informática: T3 - Formas normales y algoritmo DPLL.pdf

4 páginas

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

apuntes

T1 - Sintaxis y semántica de las lógicas proposicional y de primer orden.pdf

He publicado nuevos apuntes de 2º Lógica Informática: T1 - Sintaxis y semántica de las lógicas proposicional y de primer orden.pdf

5 páginas

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

ejercicios

TEMA-5-EJERCICIOS.pdf

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

9 páginas

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

ejercicios

TEMA-4-EJERCICIOS.pdf

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

5 páginas

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

ejercicios

TEMA-3-EJERCICIOS.pdf

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

9 páginas

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

ejercicios

TEMA-2-EJERCICIOS.pdf

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

5 páginas

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

ejercicios

TEMA-1-EJERCICIOS.pdf

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

16 páginas

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

ejercicios

LOGICA-ejercicios-T5.pdf

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

7 páginas

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

ejercicios

LOGICA-ejercicios-T3.pdf

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

10 páginas

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

ejercicios

LOGICA-ejercicios-T4.pdf

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

3 páginas

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

ejercicios

LOGICA-ejercicios-T1-y-2.pdf

He publicado nuevos ejercicios de 2º Lógica Informática: LOGICA-ejercicios-T1-y-2.pdf

8 páginas

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

apuntes

LOGICA-Tableros-semanticos.pdf

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

2 páginas