Portal do Ementário

Apresentar a teoria básica de conjuntos, relações de equivalência e funções. Explorar conceitos fundamentais da lógica, como a álgebra de proposições, tabela de verdade e a lógica de predicados.

Conjuntos. Álgebra de conjuntos. Produto cartesiano. Relações. Relação de equivalência. O espaço quociente. Funções. Funções inversíveis. Proposições. Conectivos. Álgebra de proposições. Tabelas verdade. A lógica de predicados. Quantificador universal e quantificador existencial. Argumentos.

 1)       BISPO C. A. F.; CASTANHEIRA L. B.; MELO O. S. F. Introdução à Lógica Matemática, Cengage Learning, 2011. 2)       CASTRUCCI B. Elementos de Teoria de Conjuntos, Ed. Do IME-USP, 1969. 3)       ALENCAR FILHO, E. de. Iniciação À Lógica Matemática, São Paulo, Nobel, 2002.

 1)       LIPSCHUTZ S. Teoria dos Conjuntos, Coleção Schaum, Ed McGraw-Hill do BrasilLtda, 1972. 2)       MORTARI, C. A. Introdução à lógica. São Paulo: Unesp, 2001. 3)       RUSSEL, B. Introdução a Filosofia Matemática. Biblioteca de Cultura Cientifica. Zahar Editores. 1966. 4)       LANGDON, N. Introdução à Matemática. Rio de Janeiro: Ed. Lutência, 1984. 5)       IMENES, L. M. [ET AL]. Pra que serve a Matemática. Coleção. São Paulo: Ed. Atual, 1994.