Lógica Computacional

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

34

0

11

Busca apuntes, exámenes y más

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

¡Estás al día!

¡Estás al día!

Has visto todos los archivos