Lógica Informática

licenseVer creadores

arrow_forward

Todo

chevron_left

chevron_right

#Lógica Informática·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 Lógica Informática: De-la-Resolucion-Proposicional-a-la-Resolucion-LPO.pdf

pdf9 páginas

personal_bag

leaderboard

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

apuntes

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

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

pdf12 páginas

personal_bag

leaderboard

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

apuntes

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

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

pdf4 páginas

personal_bag

leaderboard

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

apuntes

Tableros-Semanticos-en-Logica-Proposicional.pdf

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

pdf8 páginas

personal_bag

leaderboard

#Lógica Informática·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 Lógica Informática: Tableros-Semanticos-en-Logica-de-Primer-Orden.pdf

pdf12 páginas

personal_bag

leaderboard

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

apuntes

Una-introduccion-a-Prolog.pdf

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

pdf12 páginas

personal_bag

leaderboard

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

apuntes

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

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

pdf11 páginas

personal_bag

leaderboard

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

apuntes

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

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

pdf15 páginas

personal_bag

leaderboard

#Lógica Informática·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 Lógica Informática: Formas-Prenex-de-Skolem-y-Teorema-de-Herbrand.pdf

pdf10 páginas

personal_bag

leaderboard

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

apuntes

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

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

pdf13 páginas

personal_bag

leaderboard

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

apuntes

LI - Apuntes Parcial 2.pdf

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

pdf5 páginas

personal_bag

leaderboard

2mes

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

ejercicios

Apuntes y ejercicios LI

Apuntes y ejercicios realizados en clase / Notes and exercises taken in class

1mes

Tema-1-apuntes-y-ejercicios-LI.pdf

pdf - ejercicios

2mes

Tema-2-apuntes-y-ejercicios-LI.pdf

pdf - ejercicios

2mes

Tema-3-apuntes-y-ejercicios-LI-1.pdf

pdf - ejercicios

2mes

Tema-4.1-apuntes-y-ejercicios.pdf

pdf - ejercicios

1mes

Problemas-T3-LI.pdf

pdf - ejercicios

1mes

Tema-4.2-apuntes-y-ejercicios.pdf

pdf - ejercicios

leaderboard

22d

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

ejercicios

Exercises4LI.pdf

He publicado nuevos ejercicios de Lógica Informática: Exercises4LI.pdf

pdf5 páginas

personal_bag

leaderboard

22d

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

ejercicios

Exercises3LI.pdf

He publicado nuevos ejercicios de Lógica Informática: Exercises3LI.pdf

pdf4 páginas

personal_bag

leaderboard

22d

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

ejercicios

Exercises1LI.pdf

He publicado nuevos ejercicios de Lógica Informática: Exercises1LI.pdf

pdf3 páginas

personal_bag

leaderboard

26d

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

examenes

Parcial-1-Logica-Informatica.pdf

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

pdf4 páginas

personal_bag

leaderboard

27d

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

examenes

Examen-Parcial-2019.pdf

Examen Lógica Informática 2019

pdf5 páginas

personal_bag

leaderboard

28d

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

apuntes

Apuntes LI

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

28d

Tema-1-Apuntes-LI.pdf

pdf - apuntes

leaderboard

29d

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

apuntes

Tema 1.pdf

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

pdf10 páginas

personal_bag

leaderboard

29d

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

apuntes

Tema 2.pdf

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

pdf6 páginas

personal_bag

leaderboard