Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
LOGICA COMBINATORIA
CALCULO LAMBDA
3
COMBINATORY LOGIC
3
CURRY-HOWARD ISOMORPHISM
3
ISOMORFISMO DE CURRY-HOWARD
3
LAMBDA CALCULUS
3
LOGIC OF PROOFS
3
LOGICA DE PRUEBAS
3
LOGICA MODAL
3
MODAL LOGIC
3
PATRONES
3
PATTERNS
3
ALGORITMOS
1
ANALISIS COMBINATORIO
1
AUTOMATAS
1
AUTOMATAS MATEMATICOS, TEORIA DE
1
CONJUNTOS
1
CRIPTOGRAFIA
1
CUERPOS FINITOS (ÁLGEBRA)
1
GRAFOS, TEORÍA DE
1
LOGICA MATEMATICA
1
LOGICA SECUENCIAL
1
MAQUINA DE TURING
1
MAQUINAS DE ESTADOS FINITOS
1
MATEMATICAS DISCRETAS
1
TEORIA DE GRAFOS
1
-
1
-
2
-
3
-
4