Universidad de LleidaEscuela Politécnica Superior

Lógica Computacional

chevron_forwardUniversidadchevron_forwardUDLchevron_forwardEscuela Politécnica Superiorchevron_forward1º Grado en Ingeniería Informática (UDL)

17

Compis

2

Creadores

11

Publicaciones
licenseVer creadores
arrow_forward
Todo
Apuntes
Ejercicios
Exámenes
Prácticas
chevron_left
chevron_right
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

apuntes

-

Logica-Computacional.pdf

Apuntes examen primer parcial (Lógica proposicional)

14 páginas
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

apuntes

-

Apuntes Lógica Proposicional y Lógica de Primer Orden

He publicado nuevos apuntes de 1º Lógica Computacional: Apuntes Lógica Proposicional y Lógica de Primer Orden

Apuntes-Logica-Proposicional-y-Logica-de-Primer-Orden.pdf
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

apuntes

-

Logica-computacional-Tema-1-Sintaxi-logica.pdf

He publicado nuevos apuntes de 1º Lógica Computacional: Logica-computacional-Tema-1-Sintaxi-logica.pdf

pdf
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

practicas

-

Pràctica 1

He publicado nuevos practicas de 1º Lógica Computacional: Pràctica 1

codi-solucionador-sudokus.pdf
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

ejercicios

-

Exercicis CP1 - Lògica

He publicado nuevos ejercicios de 1º Lógica Computacional: Exercicis CP1 - Lògica

Exercicis Sintaxi i representació.pdf
Fitxa Problemes CP1.pdf
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

apuntes

-

Apunts CP1 - Lògica

He publicado nuevos apuntes de 1º Lógica Computacional: Apunts CP1 - Lògica

Tema 1. Sintaxi i representació d'enunciats.pdf
Tema 6. Resolució.pdf
Tema 5. Sustitució i unificador.pdf
Tema 4. Transformació a forma clausal.pdf
Tema 3. Equivalencies logiques.pdf
Tema 2. Semàntica.pdf
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

examenes

-

Enunciats Parcials

He publicado nuevos examenes de 1º Lógica Computacional: Enunciats Parcials

Primer Parcial 2022
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

ejercicios

-

Exercicis CP0 - Lògica

He publicado nuevos ejercicios de 1º Lógica Computacional: Exercicis CP0 - Lògica

Exercicis Tema 0 (introducció)
Problemes (Sintaxi Lógica Prop.)
Exercicis (Semantica Lógica Prop.)
Exercicis (Forma Causal)
Exercicis (Consecuencia lógica)
Exercicis (Resolució Proposicional)
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

apuntes

-

Apunts CP0 - Lògica

He publicado nuevos apuntes de 1º Lógica Computacional: Apunts CP0 - Lògica

Tema 0. Introducció
Tema 1. Lógica proposicional
Tema 3. Conseqüència lógica
Tema 2. Semàntica
Tema 5. Transformació CNF
Tema 4. Forma clausal
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

practicas

-

Lògica Computacional Pràctiques

He publicado nuevos practicas de 1º Lógica Computacional: Lògica Computacional Pràctiques

LOGICAPROPOSICIONALPRACTICA1LAURAHAROESCOI.pdf
LOGICAPROPOSICIONALPRACTICA2LAURAHAROESCOI.pdf
#Lógica Computacional·1º Grado en Ingeniería Informática (UDL)

apuntes

-

Macrorresumen Matemática Discreta.pdf

He publicado nuevos apuntes de 1º Lógica Computacional: Macrorresumen Matemática Discreta.pdf

63 páginas