 |
FUNDAMENTOS DE LAS MATEMÁTICAS | |
510.21 | Consideraciones filosóficas en general. Aspectos críticos. Antinomias lógicas |
® 1 | |
Teoría de conjuntos. Aproximación a la teoría de conjuntos | |
510.222 | Teoría elemental de conjuntos |
Teoría axiomática de conjuntos. Axiomatización del análisis | |
510.225 | Teoría descriptiva de conjuntos |
® 515.128; 517.517 | |
Teoría de tipos de orden y de los números ordinales y cardinales | |
510.23 | Formalismo (aspectos matemáticos) |
Intuicionismo (aspectos matemáticos) | |
Aproximación constructiva. Matemáticas constructivas | |
510.26 | Positivismo lógico |
® 165.731 | |
510.27 | Semántica lógica. Antinomias semánticas |
® 519.767 | |
ALGORITMOS Y FUNCIONES COMPUTABLES | |
510.51 | Teoría de algoritmos: consideraciones generales |
® 519.712 | |
Complejidad algorítmica | |
510.53 | Problemas algorítmicos. Teorías de jerarquías |
® 512.54.05 | |
510.54 | Teoría algorítmica de conjuntos |
510.56 | Teoría general del cálculo |
Funciones computables y recursivas | |
LÓGICA MATEMÁTICA | |
® 16 | |
510.62 | Lenguajes lógicos. Lenguajes lógico-objeto |
510.63 | Teorías lógicas. Teorías lógico-objeto. Sistemas lógicos clásicos |
510.633 | Lógica (y cálculo) proposicional |
® 512.563 | |
Lógica (y cálculo) de predicados . Teorías de tipos | |
510.64 | Sistemas no clásicos, sistemas de lógica formal |
Lógica modal | |
510.644 | Lógica de valor múltiple |
510.645 | Formalización de la lógica tradicional. Silogística |
Lógica inductiva | |
® 162.3 | |
510.647 | Lógica probabilística |
® 519.21 | |
510.65 | Teorías lógico-matemáticas. Aritmética formal. Teoría formal de números |
510.66 | Búsqueda por inferencia y problemas de decisión en lógica y cálculo lógico-matemático |
® 519.226 | |
Teoría de modelos | |
® 519.86 | |
510.8 | SISTEMAS MATEMÁTICOS GENERALES |
Biblioteca de la Facultad de CC. Matemáticas