ANEXO III Codigos unesco
99
11 LOGICA
1101
Aplicaciones de la lógica
1102
Lógica deductiva
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
99
Analogía
Algebra de Boole
Lógica formal
Lenguajes formalizados
Sistemas formales
Fundamentos de matemáticas
Generalizacion
Lógica matemática
Lógica modaal
Teoría de modelos
Teoría de pruebas
Cálculo proposicional
Funciones recursivass
Lógica simbólicaa
Teoríade lengujes formales
Otras (especificar)
1103
Lógica general
1104
Lógica inductiva
01
Inducción
02
Intuicionismo
03
Probabilidad (ver 1208)
99
Otras (especificar)
1105
Metodología
01
Método científico
99
Otras (especificar)
1199
Otras especialidades relativas a la
lógica
(especificar)
MATEMATICAS
1201
Algebra
01
02
03
04
05
06
07
08
09
10
11
12
13
14
99
Geometría algebraica
Teoría xiomática deconjuntos
Teoría de categorías
Algebra diferencial
Campos, anillos, álgebras
Grupos, generalidades
Algebraa homológica
Retículos
Algebra de Lie
Algebra lineal
Teoría de matrices
Algebras no asociativas
Polinomios
Teoría de la representación
Otras (especificar)
1202
Análisis y análisis funcional
01
Algebra de operadoress
02
Teoría de la aproximación
03
Algebras y espacios de Banach
04
Cálculo devariaciones
05
Análisis combinatorio
06
Convexidad, desigualdades
07
Educaciones en diferencias
08
Ecuaciones funcionales
09
Funciones de una variable
compleja
10
Funciones de variables reales
11
Funciones de varias variables
complejas
12
Análisis global
13
Análisis armónico
14
Espacios de Hilbert
15
Ecuaciones integrales
16
Transformadores integrales
17
Medida, integracion, áreaa
18
Cálculooperacional
19
Ecuaciones
diferenciales
ordinarias (ver 1206.12)
20
Ecuaciones diferenciales en
derivadas parciales (ver 1206.13)
21
Teoría de potencial
22
Series, sumabilidad
23
Funciones especiales
24
Funciones subarmónicas
25
Espacios lineales topológicos
26
Series e integrales trigonométricas
99
Otras (especificar)
1203
Ciencia de los ordenadores
(ver 3309)
01
Contabilidad
02
Lenguajesalgorítmicos
03
Cálculo analógico
04
Inteligencia artificall
05
Sistemas automatizados de
produccion
06
Sistemas automatizados de
control de calidad
07
Modelos causales
08
Código y sistemas de codificación
09
Diseño con ayuda de ordenador (ver 3304.06)
10
Enseñanza con ayuda de
ordenador
11
Logicales de ordenadores
12
Bancos de datos
13
Cálculo digital
14
Sistemas de control del entorno
15
Heurística
16Cálculo híbrido
17
Informática
18
Sistemas de información,
diseño y componentes
19
Control de inventarios
20
Sistemas de control médico
21
Sistemas de navegación y
telemetría del espacio
22
Sistemas de control de producción
23
Lenguajes de programación
(ver 5701.04)
24
Teoría de la programación
25
Diseño de sistemas sensores
Otras (especificar)
1204
Geometría
01
Geometría afín
02
Variedades complejas03
Dominios convexos
04
Geometría diferencial
05
Problemas de contorno
06
Geometría euclidea
07
Geometrías finitas
08
Fundamentos
09
Geometrías no euclideas
10
Geometría proyectiva
11
Geometría de Riemann
12
Análisis tensorial
99
Otras (especificar)
1205
Teoría de números
01
Teoría algebraica de los números
02
Teoría analítica de los números
03
Problemas diofánticos
04
Teoría elemental de losnúmeros
05
Geometría de los números
99
Otras (especificar)
1206
Análisis numérico
01
Construcción de algoritmos
02
Ecuaciones diferenciales
03
Análisis de errores
04
Ecuaciones funcionales
05
Ecuaciones integrales
06
Ecuaciones
integrodiferenciales
07
Interpolación, aproximación y
ajuste de curvas
08
Métodos iterativos
09
Ecuaciones lineales
10
Matrices
11
Diferenciación numérica
12
Ecuacionesdiferencialess
ordinarias (ver 1202.19)
13
Ecuaciones diferenciales en
derivadas parciales (ver 1202.20)
14
Cuadratura
99
Otras (especificar)
1207
Investigación operativa
01
Análisis de actividades
02
Sistemas de control
03
Cibernética
04
Distribución y transporte
05
Programación dinámicaa
06
Teoría de juegos (ver 1209.04)
07
Programación entera
08
Inventarios
09
Programación lineal
10
Redes de...
Regístrate para leer el documento completo.