CAMBIO DE SALÓN

El curso de TC - I se impartirá en el O-223 (12-13 Hrs)

Continuará LM - I en el O-223 (13-14 Hrs)

Cantidad a mostrar  
Título Autor Visto
5.03 Lema Diagonal : Regístrese para leer más...
5.02 Teorema de Gödel-Rosser : Regístrese para leer más...
4.02 Representabilidad en AP : Regístrese para leer más...
5.01 1er. Teorema de Incompletud de Gödel : Regístrese para leer más...
4.01 Recursión por Curso de Valores : Regístrese para leer más...
3.02 Aritmetización del Meta-Lenguaje - B : Regístrese para leer más...
0.20 Un Sistema Axiomático para AP : Regístrese para leer más...
3.01 Aritmetización del Meta-Lenguaje - A : Regístrese para leer más...
2.05 Operador Mu : Regístrese para leer más...
2.04 Relaciones Recursivas : Regístrese para leer más...