Todo
Apuntes
Ejercicios
Exámenes
Prácticas
chevron_left
chevron_right
2mes
personal_bag
0
leaderboard
6
2mes

apuntes

-

Resumen Lógica Proposicional

He publicado nuevos apuntes de Lógica Computacional: Resumen Lógica Proposicional

2mes

Resumen-Pro-Parte2.pdf

pdf - apuntes

2mes

Resumen-Pro-parte-1.pdf

pdf - apuntes

leaderboard
6
2mes
personal_bag
1
leaderboard
16
2mes
personal_bag
0
leaderboard
10
5mes
personal_bag
0
leaderboard
9
5mes
personal_bag
1
leaderboard
6
5mes
personal_bag
1
leaderboard
46
5mes
personal_bag
0
leaderboard
11
5mes

examenes

-

Ejercicios RESUELTOS Exámenes

He publicado nuevos examenes de Lógica Computacional: Ejercicios RESUELTOS Exámenes

5mes

Formalizacion.pdf

pdf - examenes

5mes

Deduccion-Natural.pdf

pdf - examenes

5mes

Resolucion-Lineal-Ordenada.pdf

pdf - examenes

5mes

Ejercicios-Varios-Logica-de-Predicados.pdf

pdf - examenes

5mes

Ejercicios-Varios-Logica-Proposicional.pdf

pdf - examenes

5mes

Tablas-Semanticas-de-Predicados.pdf

pdf - examenes

leaderboard
6
5mes

examenes

-

Esquema de Examen RESUELTO

He publicado nuevos examenes de Lógica Computacional: Esquema de Examen RESUELTO

5mes

Examen-modelo.pdf

pdf - examenes

5mes

Examen-Logica-Corregido.pdf

pdf - examenes

leaderboard
5
5mes

practicas

-

Tarea Semántica de Primer Orden RESUELTA

He publicado nuevos practicas de Lógica Computacional: Tarea Semántica de Primer Orden RESUELTA

5mes

Enunciado.pdf

pdf - practicas

5mes

Solucion.pdf

pdf - practicas

leaderboard
31
5mes

practicas

-

Tarea sobre Deducción Natural RESUELTA

He publicado nuevos practicas de Lógica Computacional: Tarea sobre Deducción Natural RESUELTA

5mes

Enunciado.pdf

pdf - practicas

5mes

Solucion.pdf

pdf - practicas

leaderboard
37
5mes

practicas

-

Tarea Ejercicio hortícola 2 RESUELTA

He publicado nuevos practicas de Lógica Computacional: Tarea Ejercicio hortícola 2 RESUELTA

5mes

Solucion.pdf

pdf - practicas

leaderboard
48
5mes

ejercicios

-

Cómo demostrar que algo no se puede demostrar SOLUCION

He publicado nuevos ejercicios de Lógica Computacional: Cómo demostrar que algo no se puede demostrar SOLUCION

5mes

Solucion-Tarea-Individual.pdf

pdf - ejercicios

5mes

Enunciado.pdf

pdf - ejercicios

leaderboard
41
5mes

practicas

-

Tarea Ejercicio Hortícola 1 (con pista) RESUELTA

He publicado nuevos practicas de Lógica Computacional: Tarea Ejercicio Hortícola 1 (con pista) RESUELTA

5mes

Enunciado.pdf

pdf - practicas

5mes

Solucion.pdf

pdf - practicas

5mes

Pista.pdf

pdf - practicas

leaderboard
56
10mes
personal_bag
1
leaderboard
30
10mes
personal_bag
1
leaderboard
27
11mes
personal_bag
0
leaderboard
29
11mes
personal_bag
0
leaderboard
21
11mes
personal_bag
0
leaderboard
31