Computabilidad y Teoría de Modelos

De Cuba-Wiki
Saltar a: navegación, buscar

Computabilidad y Teoría de Modelos, cuyo nombre inicialmente propuesto fue Metamatemática, es una materia optativa que presenta el concepto de independencia de un teorema frente a distintos sistemas axiomáticos. Otorga dos puntos tanto para grado como para doctorado; es correlativa de Lógica y Computabilidad. El profesor de la materia es Marcelo Scasso.

Históricamente, la materia se cursa los miércoles por la noche.

Información General sobre la Cursada[editar]

La cursada es principalmente teórica, puesto que la materia no tiene ayudantes.

Se aprueba con un único multiple choice al final del cuatrimestre, sin posibilidad de recuperatorio. No tiene trabajos prácticos.

Apuntes[editar]

Examen[editar]

Enlaces externos[editar]