Todo
Apuntes
Ejercicios
Exámenes
Prácticas
chevron_left
chevron_right
4mes

examenes

-

EXAMENES 23/24

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

4mes

VALIDACION-1-2024.pdf

pdf - examenes

4mes

VALIDACION-1-2024.pdf

pdf - examenes

4mes

VALIDACION-2-2024.pdf

pdf - examenes

4mes

VALIDACION-2-2024.pdf

pdf - examenes

4mes

FINAL-2024.pdf

pdf - examenes

4mes

FINAL-2024.pdf

pdf - examenes

leaderboard
3
4mes

apuntes

-

PROLOG

He publicado nuevos apuntes de Lógica: PROLOG

4mes

DIAPOSITIVAS-PROLOG.pdf

pdf - apuntes

4mes

DIAPOSITIVAS-PROLOG.pdf

pdf - apuntes

4mes

EJERCICIOS-PROLOG-CON-SOLUCIONES.pdf

pdf - apuntes

4mes

EJERCICIOS-PROLOG-CON-SOLUCIONES.pdf

pdf - apuntes

4mes

TOMA-DE-CONTACTO-SWISH.pdf

pdf - apuntes

4mes

TOMA-DE-CONTACTO-SWISH.pdf

pdf - apuntes

leaderboard
0
4mes
personal_bag
0
leaderboard
4
4mes

examenes

-

EJEMPLOS RESUELTOS EXAMENES PARA PRACTICAR

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

4mes

EJEMPLO-RESUELTO-FINAL.pdf

pdf - examenes

4mes

EJEMPLO-RESUELTO-FINAL.pdf

pdf - examenes

4mes

VALIDACION-1-EJEMPLO-RESUELTO-1.pdf

pdf - examenes

4mes

VALIDACION-1-EJEMPLO-RESUELTO-1.pdf

pdf - examenes

4mes

VALIDACION-1-EJEMPLO-RESUELTO-2.pdf

pdf - examenes

4mes

VALIDACION-1-EJEMPLO-RESUELTO-2.pdf

pdf - examenes

leaderboard
0
4mes

apuntes

-

DIAPOSITIVAS TEORIA - TODO EL CURSO

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

4mes

Tema-1-Introduccion-a-los-Sistemas-Formales.pdf

pdf - apuntes

4mes

Tema-1-Introduccion-a-los-Sistemas-Formales.pdf

pdf - apuntes

4mes

Tema-2-Representacion-y-Sintaxis-en-Calculo-de-Proposiciones.pdf

pdf - apuntes

4mes

Tema-2-Representacion-y-Sintaxis-en-Calculo-de-Proposiciones.pdf

pdf - apuntes

4mes

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

pdf - apuntes

4mes

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

pdf - apuntes

leaderboard
0
6mes
personal_bag
0
leaderboard
10
8mes

ejercicios

-

TODOS LOS CUADERNILLOS

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

8mes

Cuadernillo-1.-Formalizacion-en-Proposiciones.Soluciones.pdf

pdf - ejercicios

8mes

Cuadernillo-1.-Formalizacion-en-Proposiciones.Soluciones.pdf

pdf - ejercicios

8mes

Cuadernillo-2.-Teoria-de-la-demostracion-Prop.-Soluciones.pdf

pdf - ejercicios

8mes

Cuadernillo-2.-Teoria-de-la-demostracion-Prop.-Soluciones.pdf

pdf - ejercicios

8mes

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

pdf - ejercicios

8mes

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

pdf - ejercicios

leaderboard
2
7mes

apuntes

-

Ch 6: Semantic Theory

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

7mes

Semantic-Theory.pdf

pdf - apuntes

7mes

Semantic-Theory.pdf

pdf - apuntes

7mes

Semantic-theory-in-Predicates.pdf

pdf - apuntes

7mes

Semantic-theory-in-Predicates.pdf

pdf - apuntes

7mes

Semantic-theory-in-Propositions.pdf

pdf - apuntes

7mes

Semantic-theory-in-Propositions.pdf

pdf - apuntes

leaderboard
3
7mes
personal_bag
1
leaderboard
26
7mes
personal_bag
0
leaderboard
12
7mes

apuntes

-

u7:// Normal forms and resolution method

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

7mes

Normal-forms-and-resolution.pdf

pdf - apuntes

7mes

Normal-forms-and-resolution.pdf

pdf - apuntes

7mes

PRENEX-Normal-form.pdf

pdf - apuntes

7mes

PRENEX-Normal-form.pdf

pdf - apuntes

7mes

SKOLEM-Normal-Form.pdf

pdf - apuntes

7mes

SKOLEM-Normal-Form.pdf

pdf - apuntes

leaderboard
5
7mes

ejercicios

-

Submissions (7)

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

7mes

LogicSubmission-7-PRENEXandSKOLEM.pdf

pdf - ejercicios

7mes

LogicSubmission-7-PRENEXandSKOLEM.pdf

pdf - ejercicios

leaderboard
12
8mes

apuntes

-

Predicate Logic

He publicado nuevos apuntes de Lógica: Predicate Logic

8mes

20240409-121336-Proof-Theory-in-Predicate-Calculus.pdf

pdf - apuntes

8mes

20240409-121336-Proof-Theory-in-Predicate-Calculus.pdf

pdf - apuntes

8mes

20240409-122243-Proof-theory.pdf

pdf - apuntes

8mes

20240409-122243-Proof-theory.pdf

pdf - apuntes

8mes

20240409-132720-Theorem-DeductionTheorem.pdf

pdf - apuntes

8mes

20240409-132720-Theorem-DeductionTheorem.pdf

pdf - apuntes

leaderboard
2
8mes

ejercicios

-

Cuadernillos resueltos

He publicado nuevos ejercicios de Lógica: Cuadernillos resueltos

8mes

Cuadernillo-5.pdf

pdf - ejercicios

8mes

Cuadernillo-5.pdf

pdf - ejercicios

8mes

Cuadernillo-6.pdf

pdf - ejercicios

8mes

Cuadernillo-6.pdf

pdf - ejercicios

8mes

Cuadernillo-7.pdf

pdf - ejercicios

8mes

Cuadernillo-7.pdf

pdf - ejercicios

leaderboard
96
1año

ejercicios

-

HOMEWORKS

He publicado nuevos ejercicios de Lógica: HOMEWORKS

9mes

Submission Set 5.pdf

pdf - ejercicios

9mes

Submission Set 5.pdf

pdf - ejercicios

9mes

Submission Set 6.1.pdf

pdf - ejercicios

9mes

Submission Set 6.1.pdf

pdf - ejercicios

9mes

Submission Set 7.pdf

pdf - ejercicios

9mes

Submission Set 7.pdf

pdf - ejercicios

leaderboard
9
10mes
personal_bag
0
leaderboard
7
10mes
personal_bag
0
leaderboard
11
10mes
personal_bag
0
leaderboard
30
10mes
personal_bag
0
leaderboard
7
10mes
personal_bag
0
leaderboard
20