Universidad Carlos III de MadridEscuela Politécnica Superior. Campus de Leganés

Lógica

chevron_forwardUniversidadchevron_forwardUC3Mchevron_forwardEscuela Politécnica Superior. Campus de Leganéschevron_forward1º Grado en Ingeniería Informática (UC3M)

63

Compis

3

Creadores

146

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

apuntes

-

Propositions-and-predicates-Logic-Summary.pdf

Pdf containing a formula sheet with all the main rules and equivalences for propositions and predicates for Logic course

2 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Esquema-Logica.pdf

Resumen de Álgebra Lineal: Supuestos, Predicados y Formas normales (Prenex y Skolem).

3 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Soluciones de los cuadernillos

Solución de todos los cuadernillos semanales de lógica

Cuadernillo-2.-Formalizacion-en-Proposiciones.Soluciones.pdf
Cuadernillo-2.-Formalizacion-en-Proposiciones.Soluciones.pdf
Cuadernillo-3.1-Teoria-de-la-demostracion-Prop.-Soluciones.pdf
Cuadernillo-3.1-Teoria-de-la-demostracion-Prop.-Soluciones.pdf
Cuadernillo-3.2-Calculo-con-supuestos.-Soluciones.pdf
Cuadernillo-3.2-Calculo-con-supuestos.-Soluciones.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

examenes

-

Assumption-I-Examen-Logica.pdf

He publicado nuevos examenes de 1º Lógica: Assumption-I-Examen-Logica.pdf

1 página
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Logica-Proof-Theory.pdf

He publicado nuevos ejercicios de 1º Lógica: Logica-Proof-Theory.pdf

3 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

examenes

-

EXAMENES 23/24

He publicado nuevos examenes de 1º Lógica: EXAMENES 23/24

VALIDACION-1-2024.pdf
VALIDACION-1-2024.pdf
VALIDACION-2-2024.pdf
VALIDACION-2-2024.pdf
FINAL-2024.pdf
FINAL-2024.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

PROLOG

He publicado nuevos apuntes de 1º Lógica: PROLOG

DIAPOSITIVAS-PROLOG.pdf
DIAPOSITIVAS-PROLOG.pdf
EJERCICIOS-PROLOG-CON-SOLUCIONES.pdf
EJERCICIOS-PROLOG-CON-SOLUCIONES.pdf
TOMA-DE-CONTACTO-SWISH.pdf
TOMA-DE-CONTACTO-SWISH.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

FORMULARIO-COMPLETO.pdf

He publicado nuevos apuntes de 1º Lógica: FORMULARIO-COMPLETO.pdf

2 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

examenes

-

EJEMPLOS RESUELTOS EXAMENES PARA PRACTICAR

He publicado nuevos examenes de 1º Lógica: EJEMPLOS RESUELTOS EXAMENES PARA PRACTICAR

EJEMPLO-RESUELTO-FINAL.pdf
EJEMPLO-RESUELTO-FINAL.pdf
VALIDACION-1-EJEMPLO-RESUELTO-1.pdf
VALIDACION-1-EJEMPLO-RESUELTO-1.pdf
VALIDACION-1-EJEMPLO-RESUELTO-2.pdf
VALIDACION-1-EJEMPLO-RESUELTO-2.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

DIAPOSITIVAS TEORIA - TODO EL CURSO

He publicado nuevos apuntes de 1º Lógica: DIAPOSITIVAS TEORIA - TODO EL CURSO

Tema-1-Introduccion-a-los-Sistemas-Formales.pdf
Tema-1-Introduccion-a-los-Sistemas-Formales.pdf
Tema-2-Representacion-y-Sintaxis-en-Calculo-de-Proposiciones.pdf
Tema-2-Representacion-y-Sintaxis-en-Calculo-de-Proposiciones.pdf
Tema-3-1-Teoria-de-la-Demostracion-en-Calculo-Proposicional.pdf
Tema-3-1-Teoria-de-la-Demostracion-en-Calculo-Proposicional.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

MEGA-RESUMEN-LOGICA-FINAL.pdf

He publicado nuevos apuntes de 1º Lógica: MEGA-RESUMEN-LOGICA-FINAL.pdf

2 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

TODOS LOS CUADERNILLOS

He publicado nuevos ejercicios de 1º Lógica: TODOS LOS CUADERNILLOS

Cuadernillo-1.-Formalizacion-en-Proposiciones.Soluciones.pdf
Cuadernillo-1.-Formalizacion-en-Proposiciones.Soluciones.pdf
Cuadernillo-2.-Teoria-de-la-demostracion-Prop.-Soluciones.pdf
Cuadernillo-2.-Teoria-de-la-demostracion-Prop.-Soluciones.pdf
Cuadernillo-3.-Calculo-con-supuestos.-Soluciones.pdf
Cuadernillo-3.-Calculo-con-supuestos.-Soluciones.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Ch 6: Semantic Theory

He publicado nuevos apuntes de 1º Lógica: Ch 6: Semantic Theory

Semantic-Theory.pdf
Semantic-Theory.pdf
Semantic-theory-in-Predicates.pdf
Semantic-theory-in-Predicates.pdf
Semantic-theory-in-Propositions.pdf
Semantic-theory-in-Propositions.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

APUNTES-LOGICA-TODOS-TEMAS.pdf

He publicado nuevos apuntes de 1º Lógica: APUNTES-LOGICA-TODOS-TEMAS.pdf

9 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

TEMA-7-resumen.pdf

He publicado nuevos apuntes de 1º Lógica: TEMA-7-resumen.pdf

4 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

u7:// Normal forms and resolution method

He publicado nuevos apuntes de 1º Lógica: U7: Normal forms and resolution method

Normal-forms-and-resolution.pdf
Normal-forms-and-resolution.pdf
PRENEX-Normal-form.pdf
PRENEX-Normal-form.pdf
SKOLEM-Normal-Form.pdf
SKOLEM-Normal-Form.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Submissions (7)

He publicado nuevos ejercicios de 1º Lógica: Submissions (7)

LogicSubmission-7-PRENEXandSKOLEM.pdf
LogicSubmission-7-PRENEXandSKOLEM.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Predicate Logic

He publicado nuevos apuntes de 1º Lógica: Predicate Logic

20240409-121336-Proof-Theory-in-Predicate-Calculus.pdf
20240409-121336-Proof-Theory-in-Predicate-Calculus.pdf
20240409-122243-Proof-theory.pdf
20240409-122243-Proof-theory.pdf
20240409-132720-Theorem-DeductionTheorem.pdf
20240409-132720-Theorem-DeductionTheorem.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Cuadernillos resueltos

He publicado nuevos ejercicios de 1º Lógica: Cuadernillos resueltos

Cuadernillo-5.pdf
Cuadernillo-5.pdf
Cuadernillo-6.pdf
Cuadernillo-6.pdf
Cuadernillo-7.pdf
Cuadernillo-7.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

HOMEWORKS

He publicado nuevos ejercicios de 1º Lógica: HOMEWORKS

Submission Set 5.pdf
Submission Set 5.pdf
Submission Set 6.1.pdf
Submission Set 6.1.pdf
Submission Set 7.pdf
Submission Set 7.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

2nd-Midterm-CORRECTION.pdf

He publicado nuevos apuntes de 1º Lógica: 2nd-Midterm-CORRECTION.pdf

3 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Practice-for-the-exams.pdf

He publicado nuevos ejercicios de 1º Lógica: Practice-for-the-exams.pdf

24 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Problem-set-6.2.pdf

He publicado nuevos ejercicios de 1º Lógica: Problem-set-6.2.pdf

8 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Practice-for-the-exam.pdf

He publicado nuevos ejercicios de 1º Lógica: Practice-for-the-exam.pdf

15 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Problem-set-6.1.pdf

He publicado nuevos ejercicios de 1º Lógica: Problem-set-6.1.pdf

7 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Problem-set-4.pdf

He publicado nuevos ejercicios de 1º Lógica: Problem-set-4.pdf

9 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Problem-set-5.pdf

He publicado nuevos ejercicios de 1º Lógica: Problem-set-5.pdf

5 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

PROOF-THEORY-2.pdf

He publicado nuevos apuntes de 1º Lógica: PROOF-THEORY-2.pdf

10 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

PROOF-THEORY-1.pdf

He publicado nuevos apuntes de 1º Lógica: PROOF-THEORY-1.pdf

11 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

PREDICATE-LOGIC.pdf

He publicado nuevos apuntes de 1º Lógica: PREDICATE-LOGIC.pdf

7 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Introduction.pdf

He publicado nuevos apuntes de 1º Lógica: Introduction.pdf

5 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

For-the-exams.pdf

He publicado nuevos apuntes de 1º Lógica: For-the-exams.pdf

6 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

FORMULA-SHEET.pdf

He publicado nuevos apuntes de 1º Lógica: FORMULA-SHEET.pdf

4 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

EXERCISES-COMPLETE-COURSE.pdf

He publicado nuevos ejercicios de 1º Lógica: EXERCISES-COMPLETE-COURSE.pdf

39 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Logica-apuntes.pdf

He publicado nuevos apuntes de 1º Lógica: Logica-apuntes.pdf

19 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Logica-formulario.pdf

He publicado nuevos apuntes de 1º Lógica: Logica-formulario.pdf

2 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

APUNTES-LOGICA.pdf

He publicado nuevos apuntes de 1º Lógica: APUNTES-LOGICA.pdf

5 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

APUNTES DE TODOS LOS TEMAS COMPLETOS DE 10 - LÓGICA

He publicado nuevos apuntes de 1º Lógica: APUNTES DE TODOS LOS TEMAS COMPLETOS DE 10 - LÓGICA

TEMA-1-LGC.pdf
TEMA-1-LGC.pdf
TEMA-2-LGC.pdf
TEMA-2-LGC.pdf
TEMA-2.1-LGC.pdf
TEMA-2.1-LGC.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Cuadernillos

He publicado nuevos apuntes de 1º Lógica: Cuadernillos

Formalizacion-de-predicados.pdf
Formalizacion-de-predicados.pdf
Cuadernillo-7.pdf
Cuadernillo-7.pdf
Cuadernillo-5.pdf
Cuadernillo-5.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

Calculo-de-predicados.pdf

He publicado nuevos apuntes de 1º Lógica: Calculo-de-predicados.pdf

6 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

finales.pdf

He publicado nuevos apuntes de 1º Lógica: finales.pdf

7 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

validaciones-ejemplos.pdf

He publicado nuevos apuntes de 1º Lógica: validaciones-ejemplos.pdf

5 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

CUADERNILLOS

He publicado nuevos ejercicios de 1º Lógica: CUADERNILLOS

cuadernillo-4.pdf
cuadernillo-4.pdf
cuadernillo-5.pdf
cuadernillo-5.pdf
cuadernillo-6.pdf
cuadernillo-6.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Prenex.pdf

He publicado nuevos ejercicios de 1º Lógica: Prenex.pdf

6 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Resolucion.pdf

He publicado nuevos ejercicios de 1º Lógica: Resolucion.pdf

7 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Ejercicios-Resolucion.pdf

Prenex y Skolem

6 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

Todos Cuadernillos Resueltos

He publicado nuevos ejercicios de 1º Lógica: Todos Cuadernillos Resueltos

Cuadernillo-4-resuelto.pdf
Cuadernillo-4-resuelto.pdf
Cuadernillo-6-resuelto.pdf
Cuadernillo-6-resuelto.pdf
Cuadernillo-2-resuelto.pdf
Cuadernillo-2-resuelto.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

LÓGICA

He publicado nuevos apuntes de 1º Lógica: LÓGICA

1-INTRODUCCION-AL-CALCULO-DE-PROPOSICIONES.pdf
1-INTRODUCCION-AL-CALCULO-DE-PROPOSICIONES.pdf
2-TEORIA-DE-LA-DEMOSTRACION.pdf
2-TEORIA-DE-LA-DEMOSTRACION.pdf
2-1-TEORIA-DE-LA-DEMOSTRACION.-CALCULO-CON-SUPUESTOS.pdf
2-1-TEORIA-DE-LA-DEMOSTRACION.-CALCULO-CON-SUPUESTOS.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

RESUMEN-TEORIA-SEMANTICA.pdf

He publicado nuevos apuntes de 1º Lógica: RESUMEN-TEORIA-SEMANTICA.pdf

2 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

RESUMEN-DEMOSTRACION-PREDICADOS.pdf

He publicado nuevos apuntes de 1º Lógica: RESUMEN-DEMOSTRACION-PREDICADOS.pdf

2 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

RESUMEN-DEMOSTRACION-PROPOSICIONES.pdf

He publicado nuevos apuntes de 1º Lógica: RESUMEN-DEMOSTRACION-PROPOSICIONES.pdf

1 página
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

LOGICA-SERGIO-PEREZ.pdf

He publicado nuevos apuntes de 1º Lógica: LOGICA-SERGIO-PEREZ.pdf

12 páginas
Anónimo

@Anónimo

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

examenes

-

Examenes Logica

He publicado nuevos examenes de 1º Lógica: Examenes Logica

ENFINORD2021-22SOL.pdf
ENFINORD2021-22SOL.pdf
Exam-June-2017.pdf
Exam-June-2017.pdf
Examen-Ejemplo.pdf
Examen-Ejemplo.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

examenes

-

Exam.resueltos-ejercicios.pdf

He publicado nuevos examenes de 1º Lógica: Exam.resueltos-ejercicios.pdf

5 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

APUNTES COMPLETOS 2a VALIDACION (apuntes + formulario).pdf

He publicado nuevos apuntes de 1º Lógica: APUNTES COMPLETOS 2a VALIDACION (apuntes + formulario).pdf

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

ejercicios

-

CUADERNILLO7-resuelto.pdf

He publicado nuevos ejercicios de 1º Lógica: CUADERNILLO7-resuelto.pdf

5 páginas
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

CUADERNILLOS-LÓGICA-COMPLETOS

He publicado nuevos ejercicios de 1º Lógica: CUADERNILLOS-LÓGICA-COMPLETOS

3er-Cuadernillo-Logica.pdf
3er-Cuadernillo-Logica.pdf
4er-Cuadernillo-Logica.pdf
4er-Cuadernillo-Logica.pdf
5to-Cuadernillo-Logica.pdf
5to-Cuadernillo-Logica.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

EJERCICIOS RESUELTOS LÓGICA

He publicado nuevos ejercicios de 1º Lógica: EJERCICIOS RESUELTOS LÓGICA

CUADERNILLO-1-obligatorias.pdf
CUADERNILLO-1-obligatorias.pdf
CUADERNILLO-2.pdf
CUADERNILLO-2.pdf
CUADERNILLO-3.pdf
CUADERNILLO-3.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

apuntes

-

APUNTES POR TEMAS

He publicado nuevos apuntes de 1º Lógica: APUNTES POR TEMAS

CHAPTER-2.pdf
CHAPTER-2.pdf
CHAPTER-3.pdf
CHAPTER-3.pdf
#Lógica·1º Grado en Ingeniería Informática (UC3M)

ejercicios

-

EJERCICOS RESUELTOS

He publicado nuevos ejercicios de 1º Lógica: EJERCICOS RESUELTOS

problem-set-2.pdf
problem-set-2.pdf
Problem-Set-4.-Representation-and-Syntax-in-Predicate-Calculus..pdf
Problem-Set-4.-Representation-and-Syntax-in-Predicate-Calculus..pdf
Problem-Set-5.-Proof-Theory-in-Predicate-Calculus-..pdf
Problem-Set-5.-Proof-Theory-in-Predicate-Calculus-..pdf