Esta disciplina de Matemática Discreta I aborda teoria de conjuntos, lógica proposicional e de predicados, contagem, permutações e combinações com aplicações à computação. Será avaliada por 3 provas ao longo do semestre com carga horária semanal de 4 horas teóricas.

1. MINISTÉRIO DA EDUCAÇÃO E CULTURA
UNIVERSIDADE FEDERAL DE OURO PRETO
PRÓ-REITORIA DE GRADUAÇÃO
PROGRAMA DE DISCIPLINA
Disciplina Código
MATEMÁTICA DISCRETA I CEA 420
Departamento Unidade
Ciências Exatas e Aplicadas REITORIA
No de Créditos Duração/Semana
Carga Horária Teórica Prática Carga Horária Semestral
Semanal 04 00 04 15 60
Ementa
Teoria de conjuntos, funções e relações. Lógica de primeira ordem. Recursão e indução. Aplicações à
programação.
CONTEÚDO PROGRAMÁTICO
1. Visão Geral do Curso. Comparação entre matemática contínua e matemática discreta.
2. Proposições, representações simbólicas e tautologias. Conectivos lógicos
3. Quantificadores, predicados e validade. Lógica de predicados
4. Teoria de conjuntos (relações entre conjuntos, conjuntos de conjuntos, operações binárias e unárias, conjuntos
contáveis e não contáveis.
5. Contagem (princípio da multiplicação e árvores de decisão).Princípio de inclusão e exclusão (o princípio das
casas de pombo)
7. Permutações e combinações.
9. Aplicações à Computação
AVALIAÇÕES
3 provas
1ª prova – valor: 30 pontos
2ª prova - valor: 35 pontos
3ª prova – valor: 35 pontos

2. MINISTÉRIO DA EDUCAÇÃO E CULTURA
UNIVERSIDADE FEDERAL DE OURO PRETO
PRÓ-REITORIA DE GRADUAÇÃO
BIBLIOGRAFIA
Gersting, Judith L. Fundamentos Matemáticos para a ciência da computação. LTC 2004 *
Edgard de Alencar Filho. Iniciação à Lógica Matemática. Nobel 2002
Sheinerman, Edward R. Matemática discreta: uma introdução. Thomsom 2003.
* Bibliografia Básica