FUNDAMENTOS DE MATEMTICA

Dados de Identificao da Disciplina:

Disciplina:
Fundamentos da Matemtica

Cod. da Disciplina:

Curso:

Matemtica Licenciatura

Cod. do Curso:

Turma:

Matemtica Licenciatura Inicial Resoluo:

Semestre:

2016.1

CHS/T:

9096

4/64

Ementa:
Noes de Lgica; Teoremas: mtodos de demonstrao; Princpio da Induo Finita; Linguagem
da Teoria dos Conjuntos; Conjuntos numricos (linguagem sem construo); Nmeros Racionais:
fraes e representaes decimais; Nmeros reais: nmeros irracionais, irracionalidade de
2, 3 , 5 , 6 , etc.

Programa:
1. Noes de Lgica: Proposio, Negao, Proposio composta, Condicionais, Tautologias,
Proposies logicamente falsas, Relao de Implicao, Relao de Equivalncia, Sentenas
Abertas, Quantificadores, Como Negar Proposies.
2. Linguagem da Teoria dos Conjuntos: Conjunto, Elemento, Pertinncia, Descrio de um
Conjunto, Conjunto Unitrio, Conjunto Vazio, Conjunto Universo, Conjuntos Iguais, Subconjuntos,
Reunio de Conjuntos, Interseo de Conjuntos, Propriedades, Diferena de Conjuntos,
Complementar, Partio, Relaes de Equivalncia e de Ordem.
3. Princpio da Induo Finita.
4. Conjuntos Numricos: Conjunto dos Nmeros Naturais, Axiomas de Peano, Conjunto dos
Nmeros Inteiros, Conjunto dos Nmeros Racionais, Fraes e Representaes decimais, Conjunto
dos Nmeros Reais, Intervalos, Conjunto dos Nmeros Complexos.

Cronograma:
1. Noes de Lgica/16 horas
2. Linguagem da Teoria dos Conjuntos/20 horas
3. Princpio da Induo Finita/6 horas
4. Conjuntos Numricos/16 horas
5. Avaliaes/6 horas

Objetivos Gerais:
Aprender os principais fatos (e demonstraes) relativos a conceitos elementares da matemtica
Discutir o conhecimento matemtico como saber sistematizado e relacion-lo com o visto no
Ensino Bsico.

Objetivos Especficos:
comunicar-se matematicamente, pela compreenso e elaborao de argumentaes matemticas
familiarizar-se simbologia matemtica, lgica argumentativa e s demonstraes matemticas
aprender a linguagem da teoria dos conjuntos, bem como suas operaes e notaes
aprender fatos bsicos sobre os nmeros racionais, irracionais e reais.

Metodologia:
Exposio de contedos no quadro-giz e resoluo de exerccios em classe e extraclasse. Podero
tambm ser propostos seminrios ou estudos dirigidos. A leitura do livro-texto (sem prejuzo de
outras obras) e resoluo dos exerccios propostos parte essencial para obteno dos objetivos.
Sero aplicadas avaliaes escritas visando a criao ou manuteno de hbitos de estudo acerca
dos contedos abordados. Haver atendimento extraclasse pelo professor, nos dias e horrios abaixo
especificados.

Avaliao:
Sero realizadas 3 (trs) avaliaes escritas individuais, que chamaremos P1 , P2 e P3 .
A mdia final ser obtida como mdia aritmtica das notas parciais P j , j = 1, 2, 3
MF=

P1 + P 2+ P 3
.
3

A primeira avaliao em 17/05/2016 (tera-feira), a segunda em 20/06/2016 (tera-feira) e a terceira

em 23/07/2014 (tera-feira). Ser aprovado o aluno que obtiver mdia final maior do que ou igual a
6,0 (seis) pontos e tiver pelo menos 75% de frequncia. As notas das provas sero entregues em sala
de aula aps sua correo e a nota e frequncia finais sero enviadas aos e-mails obtidos do
sistema de graduao aps sua digitao no portal UFGNet.
Horrio de Atendimento do(a) Professor(a):
1. Teras-feiras, de 17:00 s 18:30, sala 112-IME.

Bibliografia Bsica:
[1]: SILVA , J HONE C ALDEIRA , G. . O. R. Estruturas Algbricas para Licenciatura : Introduo
Teoria dos Nmeros. Do Autor, Braslia, 2008.
[2]: IEZZI , GELSON ; MURAKAMI , C. Fundamentos de Matemtica Elementar, Volume 1:
Conjuntos, Funes. Atual, So Paulo, Brasil.
[3]: A LENCAR F ILHO , E. D . Iniciao Lgica Matemtica. Nobel, So Paulo, 1995.
Bibliografia Complementar:
[1]: D OMINGUES , H YGINO H.; I EZZI , G. lgebra Moderna: volume nico. Atual, So Paulo,
Brasil.
[2]: DE M AIO , W. lgebra: estruturas algbricas bsicas e fundamentos da teoria dos nmeros:
(Fundamentos de Matemtica). LTC, Rio de Janeiro.
[3]: DO C ARMO , M ANFREDO P ERDIGO ; M ORGADO , A. C. Trigonometria, Nmeros
Complexos. SBM, So Paulo, Brasil, 1992.
Livro Texto:
[1]: S ILVA , J HONE C ALDEIRA , G. . O. R. Estruturas Algbricas para Licenciatura : Introduo
Teoria dos Nmeros. Do Autor, Braslia, 2008.
Professor Mrio Jos de Souza