Lógica

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

86

3

150

Busca apuntes, exámenes y más

Todo

Apuntes

Ejercicios

Exámenes

Prácticas

chevron_left

chevron_right

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

apuntes

-

Resumen-Logica.pdf

Resumen Logica para el Final

8 páginas

#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

Tema-4.pdf

Tema-5.pdf

Tema-6.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-6.pdf

Cuadernillo-7.pdf

Cuadernillo-9.pdf

Segundas-validaciones.pdf

Prolog.pdf

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

apuntes

-

Apuntes-logica-Validacion-1.pdf

Apuntes para la 1ª validación, con ejemplos y todo lo básico para sacar una buena nota.

3 páginas

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

apuntes

-

Formulario-proposiciones-logica-completo.pdf

Formulario proposiciones completo de lógica. Esta hoja se puede llevar a las validaciones y examen final.

1 página

#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-3.1-Teoria-de-la-demostracion-Prop.-Soluciones.pdf

Cuadernillo-3.2-Calculo-con-supuestos.-Soluciones.pdf

Cuadernillo-4.-Formalizacion-en-predicados.-Soluciones.pdf

Cuadernillo-5.-Teoria-de-la-demostracion-en-predicados.-Soluciones.pdf

Cuadernillo-6.1-Ejercicios-Semantica-Proposiciones.-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-2-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

EJERCICIOS-PROLOG-CON-SOLUCIONES.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

VALIDACION-1-EJEMPLO-RESUELTO-1.pdf

VALIDACION-1-EJEMPLO-RESUELTO-2.pdf

VALIDACION-2-EJEMPLO-RESUELTO-1.pdf

VALIDACION-2-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-2-Representacion-y-Sintaxis-en-Calculo-de-Proposiciones.pdf

Tema-3-1-Teoria-de-la-Demostracion-en-Calculo-Proposicional.pdf

Tema-3-2-Teoria-de-la-Demostracion-Prop.-Supuestos.pdf

Tema-4.-Representacion-y-sintaxis-en-Calculo-de-Predicados.pdf

Tema-5-Teoria-de-la-Demostracion-en-Calculo-de-Predicados.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-2.-Teoria-de-la-demostracion-Prop.-Soluciones.pdf

Cuadernillo-3.-Calculo-con-supuestos.-Soluciones.pdf

Cuadernillo-4.-Formalizacion-en-predicados.-Soluciones.pdf

Cuadernillo-5.-Teoria-de-la-demostracion-en-predicados.-Soluciones.pdf

Cuadernillo-6.-Ejercicios-Semantica-Proposiciones-Con-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-in-Predicates.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