Portal do Ementário

1 - Introduzir noções históricas sobre o embasamento da Matemática em sistemas de axiomas. 2 - Proporcionar uma compreensão da fundamentação da Matemática e da construção de suas estruturas a partir do sistema de axiomas ZFC (Zermelo-Fraenkel-Escolha). 3 - Familiarizar o aluno para usar ferramentas com o Axioma da Escolha, Lema de Zorn e afins, visando, em particular, preparar o aluno para entender suas aplicações, em Álgebra, Álgebra Linear, Análise Real, Análise Funcional, etc.

Tópicos especiais de Lógica Matemática propostos de acordo com interesses de professores e alunos. 

[1] HALMOS, Paul R. Teoria ingenua dos conjuntos. São Paulo: Polígono, 1970. [2] FRAENKEL, Abraham Adolf; LEVY, Azriel. Foundations of set theory. 2nd ed. rev. - Netherlands: North-Holland, 1973. 404 p. [3] COPI, Irving Marmer. Introdução à lógica. 3 . ed. São Paulo: Mestre Jou, 1981. 488, [3] p. ISBN 97788587068057 (broch.).

[1] CERQUEIRA, Luiz Alberto; OLIVA, Alberto. Introdução à lógica.  3. ed. -. Rio de Janeiro: Zahar, 1979. [2] BREUER, J. Iniciacion a la teoria de los conjuntos. Madrid: Paraninfo, 1970. [3] OUBINA, Lia. Introduccion a la teoria de conjuntos. Buenos Aires: Ed. Universitária, 1965. [4] TAKEUTI, G. Introduction to axiomatic set theory. New York: Springer-Verlag, 1971. [5] LIPSCHUTZ, Seymour; LIPSON, Marc. Matemática discreta. 3. ed. Porto Alegre, RS: Bookman, 2013.