Diferencia entre revisiones de «Venciclopedia:Clasificación Unesco de 6 dígitos/11 Lógica»
De La Venciclopedia
imported>Cojoilustrado Sin resumen de edición |
imported>Cojoilustrado Sin resumen de edición |
||
Línea 1: | Línea 1: | ||
__NOTOC__ | __NOTOC__ | ||
= | =Lógica (55)= | ||
==1101 Aplicaciones de la Lógica== | ==1101 Aplicaciones de la Lógica== |
Revisión del 11:46 13 oct 2006
Lógica (55)
1101 Aplicaciones de la Lógica
1102 Lógica Deductiva
- 01 Analogía
- 02 Álgebra de Boole
- 03 Lógica formal
- 04 Lenguajes formales
- 05 Sistemas formales
- 06 Fundamentos de matemáticas
- 07 Generalización
- 08 Lógica matemática
- 09 Lógica modal
- 10 Teoría de modelos
- 11 Teoría de pruebas
- 12 Cálculo proposicional
- 13 Funciones recursivas
- 14 Lógica simbólica
- 15 Teoría de lenguajes formales
- 99 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
Ver también: Clasificación Unesco, Clasificación Unesco 4 dígitos y Clasificación Unesco 6 dígitos