search

Lógica Informática

chevron_forwardUniversidadchevron_forwardUSchevron_forwardEscuela Técnica Superior de Ingeniería Informáticachevron_forward1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

6

1

17

licenseVer creadores

Todo

Apuntes

Ejercicios

Exámenes

chevron_left

chevron_right

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

apuntes

-

TODOS LOS TEMAS LI TEORIA Y EJERCICIOS

He publicado nuevos apuntes de 1º 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·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

examenes

-

Primer-Examen-Grupo-3.pdf

Primer Control LI Grupo 3

4 páginas

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

apuntes

-

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

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

4 páginas

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

apuntes

-

LI-Tema-1-Sintaxis-y-semantica-de-la-logica-proposicional.pdf

He publicado nuevos apuntes de 1º Lógica Informática: LI-Tema-1-Sintaxis-y-semantica-de-la-logica-proposicional.pdf

10 páginas

@Anónimo

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

examenes

-

EXAMENES 2ºPARCIAL

He publicado nuevos examenes de 1º Lógica Informática: EXAMENES 2ºPARCIAL

LI-2022-01-14-G3organizedorganized.pdf

LI-2022-01-13-G1organizedorganized.pdf

LI-2022-01-14-G4organizedorganized.pdf

LI-Examen-2021-12-20organizedorganized.pdf

LI-Examen-2020-SEPorganizedorganized.pdf

@Anónimo

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

examenes

-

EXAMENES RESUELTOS PRIMER PARCIAL

He publicado nuevos examenes de 1º Lógica Informática: EXAMENES RESUELTOS PRIMER PARCIAL

LI-2019-P1G3.pdf

LI-2018-P1G4.pdf

LI-2015-P1G1.pdf

LI-12-11-21.pdf

LI-4-11-21.pdf

LI-22-11-21.pdf

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

apuntes

-

APUNTES DEL PRIMER BLOQUE CON EJERCICIOS

He publicado nuevos apuntes de 1º Lógica Informática: APUNTES DEL PRIMER BLOQUE CON EJERCICIOS

LI-Tema-5-Algoritmos-de-busqueda-de-modelos.pdf

LI-Tema-4-Resolucion-proposicional.pdf

LI-Tema-3-Formas-normales.pdf

LI-Tema-2-Tableros-semanticos-proposicionales.pdf

LI-Tema-1-Sintaxis-y-semantica-de-la-logica-proposicional.pdf

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

apuntes

-

LI-Tema-1-Sintaxis-y-semantica-de-la-logica-proposicional.pdf

He publicado nuevos apuntes de 1º Lógica Informática: LI-Tema-1-Sintaxis-y-semantica-de-la-logica-proposicional.pdf

10 páginas

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

apuntes

-

LI-Tema-3-Formas-normales.pdf

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

8 páginas

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

apuntes

-

LI-Tema-2-Tableros-semanticos-proposicionales.pdf

He publicado nuevos apuntes de 1º Lógica Informática: LI-Tema-2-Tableros-semanticos-proposicionales.pdf

7 páginas

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

apuntes

-

LI-Tema-4-Resolucion-proposicional.pdf

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

8 páginas

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

apuntes

-

LI-Tema-5-Algoritmos-de-busqueda-de-modelos.pdf

He publicado nuevos apuntes de 1º Lógica Informática: LI-Tema-5-Algoritmos-de-busqueda-de-modelos.pdf

10 páginas

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

examenes

-

LI, Exámenes resueltos

He publicado nuevos examenes de 1º Lógica Informática: LI, Exámenes resueltos

LI-Examen-Resuelto-Logica-Primer-Orden-13-ENERO-2022.pdf

LI-Examen-Resuelto-Logica-Primer-Orden-14-ENERO-2022-GRUPO-3.pdf

LI-Examen-Resuelto-Logica-Primer-Orden-20-DICIEMBRE-2021.pdf

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

ejercicios

-

Problemas resueltos

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

LIProblemasPrimerParcial.pdf

LIProblemasSegundoParcial.pdf

@Anónimo

#Lógica Informática·1º Grado en Ingeniería Informática - Ingeniería de Computadores (US)

apuntes

-

Prueba-2.pdf

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

pdf