CURSO DE VERO 2017

MESTRADO EM MODELAGEM MATEMTICA

DISCIPLINA: Fundamentos de Matemtica: uma introduo anlise
PROFESSOR (ES): Paulo Cezar Pinto Carvalho
CARGA HORRIA: 45h
SALA: 317

PLANO DE ENSINO

1. Ementa

Elementos de linguagem e lgica matemtica: lgica proposicional (exemplos, contraexemplos,

recproca, contra positiva); predicados, conectivos lgicos, negao e quantificadores; demonstraes.
Nmeros naturais; os axiomas de Peano, o princpio da boa ordenao, o princpio da induo.
Nmeros reais; Limites de sequncia; Completude dos nmeros reais.

2. Procedimentos de avaliao

Os alunos sero avaliados por sua participao ao longo do curso. Tambm sero aplicados testes e
provas para melhor avaliao do aprendizado.

3. Bibliografia Obrigatria

No informado.