search

Lógica Informática

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

9

4

32

licenseVer creadores

Todo

Apuntes

Ejercicios

Exámenes

chevron_left

chevron_right

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

ejercicios

-

Algunos EJERCICIOS RESUELTOS

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

Problemas-U1watermarked.pdf

Problemas-U1watermarked.pdf

Problemas-U2watermarked.pdf

Problemas-U2watermarked.pdf

Problemas-U3watermarked.pdf

Problemas-U3watermarked.pdf

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

apuntes

-

TODOS LOS TEMAS LI TEORIA Y EJERCICIOS

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

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

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

TABLEROS-SEMANTICOS-TEORIA-Y-EJERCICIOS.pdf

TABLEROS-SEMANTICOS-TEORIA-Y-EJERCICIOS.pdf

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

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

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

ejercicios

-

logica-actividades-1parcial.pdf

He publicado nuevos ejercicios de 3º Lógica Informática: logica-actividades-1parcial.pdf

19 páginas

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

apuntes

-

logica-resumenes-1parcial.pdf

He publicado nuevos apuntes de 3º Lógica Informática: logica-resumenes-1parcial.pdf

8 páginas

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

apuntes

-

logica-resumenes-2parcial.pdf

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

6 páginas

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

ejercicios

-

logica-actividades-2parcial.pdf

He publicado nuevos ejercicios de 3º Lógica Informática: logica-actividades-2parcial.pdf

12 páginas

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

apuntes

-

T5 - Resolución.pdf

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

2 páginas

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

apuntes

-

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

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

3 páginas

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

apuntes

-

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

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

1 página

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

apuntes

-

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

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

1 página

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

apuntes

-

T2 - Tableros Semánticos.pdf

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

3 páginas

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

apuntes

-

T3 - Formas normales y algoritmo DPLL.pdf

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

4 páginas

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

apuntes

-

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

He publicado nuevos apuntes de 3º 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·3º Doble Grado en Ingeniería Informática - Tecnologías Informáticas y Matemáticas (US)

apuntes

-

Teoria-todos-los-temas-LI.pdf

He publicado nuevos apuntes de 3º Lógica Informática: Teoria-todos-los-temas-LI.pdf

15 páginas

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

ejercicios

-

Ejercicios-todos-los-temas-LI.pdf

He publicado nuevos ejercicios de 3º Lógica Informática: Ejercicios-todos-los-temas-LI.pdf

32 páginas

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

ejercicios

-

Problemas resueltos

He publicado nuevos ejercicios de 3º Lógica Informática: Problemas resueltos

LI-Problemas-Primer-parcial.pdf

LI-Problemas-Primer-parcial.pdf

LI-Problemas-Segundo-parcial.pdf

LI-Problemas-Segundo-parcial.pdf

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

ejercicios

-

Examenes-de-LI-Resueltos.pdf

He publicado nuevos ejercicios de 3º Lógica Informática: Examenes-de-LI-Resueltos.pdf

pdf

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

examenes

-

Examenes-de-LI-Resueltos.pdf

He publicado nuevos examenes de 3º Lógica Informática: Examenes-de-LI-Resueltos.pdf

pdf

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

apuntes

-

Ejercicios-de-examenes-LI-Resueltos.pdf

He publicado nuevos apuntes de 3º Lógica Informática: Ejercicios-de-examenes-LI-Resueltos.pdf

pdf

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

examenes

-

Ejercicios-de-examenes-LI-Resueltos.pdf

He publicado nuevos examenes de 3º Lógica Informática: Ejercicios-de-examenes-LI-Resueltos.pdf

pdf

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

apuntes

-

Resumenes - Resumenes por tema 21/22

He publicado nuevos apuntes de 3º Lógica Informática: Resumenes - Resumenes por tema 21/22

Tema-1-Sintaxis-y-semantica-de-las-logicas.pdf

Tema-1-Sintaxis-y-semantica-de-las-logicas.pdf

Tema-2-Tableros-Semanticos.pdf

Tema-2-Tableros-Semanticos.pdf

Tema-3-Formas-Normales-y-Algoritmo-DPLL.pdf

Tema-3-Formas-Normales-y-Algoritmo-DPLL.pdf

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

ejercicios

-

Tema-1-LI.pdf

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

16 páginas

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

examenes

-

Tema-1-LI.pdf

He publicado nuevos examenes de 3º Lógica Informática: Tema-1-LI.pdf

16 páginas

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

apuntes

-

Tema-1-LI.pdf

He publicado nuevos apuntes de 3º Lógica Informática: Tema-1-LI.pdf

16 páginas

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

ejercicios

-

Ejercicios-Examen-LI.pdf

He publicado nuevos ejercicios de 3º Lógica Informática: Ejercicios-Examen-LI.pdf

44 páginas

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

examenes

-

Ejercicios-Examen-LI.pdf

He publicado nuevos examenes de 3º Lógica Informática: Ejercicios-Examen-LI.pdf

44 páginas

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

apuntes

-

Ejercicios-Examen-LI.pdf

He publicado nuevos apuntes de 3º Lógica Informática: Ejercicios-Examen-LI.pdf

44 páginas

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

ejercicios

-

Ejercicios-Tema-7-Resueltos.pdf

He publicado nuevos ejercicios de 3º Lógica Informática: Ejercicios-Tema-7-Resueltos.pdf

5 páginas

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

apuntes

-

Logica - Teoría Resumida

He publicado nuevos apuntes de 3º Lógica Informática: Logica - Teoría Resumida

Logica-Teoria-Resumida-Parcial-1.pdf

Logica-Teoria-Resumida-Parcial-1.pdf

Logica-Teoria-Resumida-Parcial-2.pdf

Logica-Teoria-Resumida-Parcial-2.pdf

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

examenes

-

Logica - Examenes Resueltos

He publicado nuevos examenes de 3º Lógica Informática: Logica - Examenes Resueltos

Logica-Parcial-1-Resuelto-2018.pdf

Logica-Parcial-1-Resuelto-2018.pdf

Logica-Parcial-1-Resuelto-2019.pdf

Logica-Parcial-1-Resuelto-2019.pdf

Logica-Parcial-1-Resuelto-2016.pdf

Logica-Parcial-1-Resuelto-2016.pdf

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

apuntes

-

Reglas-y-Algoritmos-LI-hasta-el-T6.pdf

He publicado nuevos apuntes de 3º Lógica Informática: Reglas-y-Algoritmos-LI-hasta-el-T6.pdf

5 páginas

@Anónimo

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

ejercicios

-

EJERCICIOS-TEMA-1.pdf

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

5 páginas