Portal do Ementário

Espera-se que ao final da disciplina o aluno seja capaz de dominar conceitos básicos de teoria de conjuntos, relações de equivalência e funções. Além disso, espera-se que obtenham conhecimento inicial sobre lógica matemática e seja capaz de aplicá-los, como por exemplo, na argumentação lógica de demonstrações de teoremas.

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

IZAR, Sebastião Antonio.; TADINI, Wilson Mauricio. Teoria axiomática dos conjuntos: uma introdução. São Jose do Rio Preto: UNESP, Dep. de Matemática, 1998. CASTRUCCI, Benedito. Elementos de teoria dos conjuntos. 3. ed. - São Paulo, 1967. ALENCAR  FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 2002.

Seymour Lipschutz, Teoria dos Conjuntos, Coleção Schaum, Ed McGraw-Hill do BrasilLtda, 1972.  MILIES, Francisco César Polcino; COELHO, Sônia Pitta. Números: uma introdução à matemática. 3. ed. São Paulo: EDUSP, 2001.  CASTRUCCI, Benedito. Geometria: curso moderno: lições de geometria no espaço, procedidas de nocoes de logica e de teoria dos conjuntos. -. 2. ed. - São Paulo: Nobel, 1968.  GUELLI, Cid A. Conjuntos, relações, funções, inequações. Sao Paulo: Moderna, s.d.  SHOENFIELD, Joseph R. Mathematical logic. Natick, Mass.: Association for Symbolic Logic, 2001.