Portada
Asignatura
Grado en Ciberseguridad e Inteligencia Artificial (UMA)
Representación del conocimiento y razonamiento
Fecha de subida
20 oct 2025
Categoría
apuntes
Información
Presentación con BÁSICOS a saber del lenguaje TPTP (estructura, propiedades y operaciones) - Curso 25/26
Etiquetas
#Eprover
Apuntes - Apuntes-RCR.pdf
pdf
59 páginas
50
4
Apuntes - t2-conjuntos-y-cardinalidad.pdf
4 páginas
31
0
Apuntes - RCR | Lenguaje TPTP.pdf
7 páginas
48
1
Ejercicios - RCR, Tema 02 | Ejercicios Rel02.pdf
16 páginas
13
Apuntes - RCR, Tema 02 | Apuntes COMPLETOS.pdf
5 páginas
29
2
Apuntes - t1-intro-logica-clasica.pdf
2 páginas
28
Apuntes - casi-todo-el-temario.pdf
17
Apuntes - Apuntes-Tema-1.pdf
33
Apuntes - t3-reticulos-y-algebras-de-boole.pdf
22
Ejercicios - Ejercicios-tema-1.pdf
18 páginas
19
Apuntes - conjuntos-y-funciones-RCR02.pdf
25
Apuntes - t4-logica-clasica-INCOMPLETO.pdf
3 páginas
12
Ejercicios - Ejercicios-practicar-examen-tema-1.pdf
16
Apuntes - Apuntes-y-ejercicios-clase-tema-5.pdf
10
Ejercicios - Ejercicios-RCR.pdf
123 páginas
15
3
Ejercicios - Ejercicios-tema-3.pdf
8 páginas
7
Apuntes - RCR-3-Cardinalidad.pdf
25 páginas
Ejercicios - Ejercicios-tema-5.pdf
9 páginas
8
Apuntes - Lenguajes-Primer-Orden.pdf
27 páginas
Apuntes - RCR-12.pdf
48 páginas
9
Información
Presentación con BÁSICOS a saber del lenguaje TPTP (estructura, propiedades y operaciones) - Curso 25/26