Skip to content

Departamento de Matematica

Sections
Personal tools
You are here: Home » Materias Optativas » Segundo Cuatrimestre 2014 » Tópicos de lógica

Tópicos de lógica

Profesor:         Roberto cignoli

Puntaje:    4 puntos

Correlatividades:     Cálculo avanzado

Carga horaria:         6 horas por semana (4 horas teóricas y 2 horas prácticas) 

 Carreras:    
    Licenciatura en Matemática (Or. Pura y Aplicada)
    Profesorado en Matemática
    Doctorado en Matemática

Breve descripción del curso:

Lenguajes de primer  orden.  Los  axiomas  de  Zermelo‑Fraenkel.

Clases. Ordinales y cardinales. Formas equivalentes del axioma  de elección. El axioma  de  regularidad.  Modelos  de  la  teoría  de conjuntos. Fórmulas   absolutas   para    clases    transitivas. Consistencia relativa del axioma de elección.

Bibliografía:

  • K.J.   Devlin,   Fundamentals   of   contemporary   set    theory, Springer‑Verlag, New York, 1979.
  • J.L. Krivine, Introduction  to  axiomatic  set  theory,  D.Reidel, Dordrecht, 1971. 
  • K. Kunen, Set theory,  North‑Holland,  Amsterdam,  2nd.  Printing, 1983.
  • Notas de clase.

Reunión preliminar: 

Horarios:
Created by csfvega
Last modified 2014-07-28 05:56 PM
 
 

Powered by Plone