110000 |
LOGICA |
|
|
110100 |
APLICACIONES DE LA LOGICA |
|
110200 |
LOGICA DEDUCTIVA |
|
110201 |
ANALOGIA |
|
110202 |
ALGEBRA DE BOOLE |
|
110203 |
LOGICA FORMAL |
|
110204 |
LENGUAJES FORMALES |
|
110205 |
SISTEMAS FORMALES |
|
110206 |
FUNDAMENTOS DE MATEMATICAS |
|
110207 |
GENERALIZACION |
|
110208 |
LOGICA MATEMATICA |
|
110209 |
LOGICA MODAL |
|
110210 |
TEORIA DE MODELOS |
|
110211 |
TEORIA DE PRUEBAS |
|
110212 |
CALCULO PROPOSICIONAL |
|
110213 |
FUNCIONES RECURSIVAS |
|
110214 |
LOGICA SIMBOLICA |
|
110215 |
TEORIA DE LENGUAJES FORMALES |
|
110299 |
OTRAS (ESPECIFICAR) |
|
110300 |
LOGICA GENERAL |
|
110400 |
LOGICA INDUCTIVA |
|
110401 |
INDUCCION |
|
110402 |
INTUICION |
|
110403 |
PROBABILIDAD (ver 1208) |
|
110499 |
OTRAS (ESPECIFICAR) |
|
110500 |
METODOLOGIA |
|
110501 |
METODO CIENTIFICO |
|
110599 |
OTRAS (ESPECIFICAR) |
|
119900 |
OTRAS ESPECIALIDES RELATIVAS A LA
LOGICA (ESPECIFICAR) |
|
|
|
|