Matematica

Fundamentos de Matemática
Humberto José Bortolossi
Departamento de Matemática Aplicada
Universidade Federal Fluminense

Aula 1
2 de janeiro de 2012

Aula 1

Fundamentos de Matemática

1

Apresentação

Aula 1

Fundamentos de Matemática

2

Ementa e Bibliografia Básica
Ementa
Linguagem matemática: lógica proposicional; predicados e quantificadores; demonstrações. Números naturais; princípio da indução. Recursão, iteração e indução.

Bibliografia Básica
Lehman, E.; Leighton, T. Mathematics for Computer Science. Lecture
Notes. MIT, 2004.
Rosen, K. H. Discrete Mathematics and Its Applications. McGraw-Hill
International Edition, 2007.
Malta, I.; Pesco, S.; Lopes, H. Cálculo a Uma Variável. Volume I. Uma
Introdução ao Cálculo. Editora PUC-Rio, 2002.
Aula 1

Fundamentos de Matemática

3

Ementa e Bibliografia Básica
Ementa
Linguagem matemática: lógica proposicional; predicados e quantificadores; demonstrações. Números naturais; princípio da indução. Recursão, iteração e indução.

Bibliografia Básica
Lehman, E.; Leighton, T. Mathematics for Computer Science. Lecture
Notes. MIT, 2004.
Rosen, K. H. Discrete Mathematics and Its Applications. McGraw-Hill
International Edition, 2007.
Malta, I.; Pesco, S.; Lopes, H. Cálculo a Uma Variável. Volume I. Uma
Introdução ao Cálculo. Editora PUC-Rio, 2002.
Aula 1

Fundamentos de Matemática

4

Programação e Avaliação
Programação: O curso terá aulas expositivas com o instrutor às segundas, quartas e sextas. As sessões de terça e quinta serão realizadas com o monitor e consistirão de resolução e discussão das listas de exercícios.
Avaliação: Baseada em duas provas, listas de exercícios, desempenho nas aulas e sessões de discussão.
Datas das provas: 17/01/2012 (terça-feira) e 31/01/2011
(terça-feira).

Página WEB: http://www.professores.uff.br/hjbortol/disciplinas/2012.1/fgv00001/ Aula 1

Fundamentos de Matemática

5

Programação e Avaliação
Programação: O curso