Mat_Disc_Parte01

Universidade Federal do Vale do São Francisco
Curso de Engenharia da Computação

Matemática Discreta - 01
Prof. Jorge Cavalcanti [e-mail] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav 1

Matemática Discreta





Apresentação da Disciplina
Dicas de (boa) convivência acadêmica
Conteúdo da Disciplina:
1.
2.
3.
4.

5.
6.

7.
8.
9.
10.
11.

Introdução/Conceitos Básicos
Noções de Lógica
Demonstrações e teoremas.
Indução e Recursão
Teoria de conjuntos e cardinalidade de conjuntos
Conjuntos enumeráveis
Relações
Funções parciais e totais
Funções de Hash
Teoria dos Grafos e Árvores
Introdução a Álgebra de Boole

2
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf

Matemática Discreta



Avaliação: 3 + Final.
Material disponibilizado na página www.univasf.edu.br/ ~jorge.cavalcanti.



Bibliografia:


Básica




Fundamentos Matemáticos para a Ciência da Computação. Gersting, J. L., 5 Ed.,LTC.

Complementar




Matemática Discreta Uma Introdução.
Scheineman. E. R., Ed. Pioneira Thomson.
Matemática Discreta. Menezes, P.B., 2 Ed.
Sagra Luzzato.

3
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf

Introdução




Por que “Matemática Discreta?”


Discreto x contínuo (intervalo, números reais)



Recursos computacionais finitos (conjuntos contáveis)

Objetivos:


Desenvolver a capacidade de raciocínio lógico-matemático;



Obter uma visão abrangente de uma parte significativa da computação; 

Aplicar os conceitos da disciplina como uma ferramenta matemática para investigações e aplicações precisas em computação; 

Abordar problemas aplicados e enfrentar ou propor com naturalidade novas tecnologias.

4
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf

Introdução


Tratamento de Problemas:
Lógica

Computação

Teoremas
+
Demonstrações

Algoritmos
+
Implementações

5