FACULDADES INTEGRADAS CAMPO‐GRANDENSES 

 
Disciplina: Matemática Discreta 
Professor: Rodrigo Neves 
Carga Horária: 80 horas 
Horário: Quinta‐feiras de 7:40 hs às 11:20 hs (Período Matinal) 
               Sextas‐feiras de 19:00 hs às 21:59 hs (Período Noturno) 
 
Objetivos: 
          Ao final do curso, os alunos deverão ser capazes de: lidar com a teoria dos conjuntos, executar 
as  operações  básicas  com  conjuntos,  reconhecer  suas  principais  propriedades  e  relações  com  a 
Teoria da Computação; conhecer a estrutura dos números naturais e seus princípios, bem como as 
técnicas  de  recorrência  e  algoritmos  recursivos;  conhecer  as  principais  funções  elementares,  suas 
relações e suas representações. 
 
Ementa: 
 
1. Teoria dos Conjuntos 
      1.1 – Conceitos, Definições e Notações 
      1.2 – Alfabetos, Palavras e Linguagem 
      1.3 – Operações Elementares Irreversíveis: União, Interseção e Diferença 
      1.4 – Operações Elementares Reversíveis: Complementar e Partes 
      1.5 – Propriedades de Conjuntos 
      1.6 – Produto Cartesiano 
      1.7 – Paradoxo de Russel 
      1.8 – Relação entre Lógica e Álgebra de Conjuntos  
      1.9 – Álgebra de Conjuntos nas Linguagens de Programação  
      1.10 – Álgebra de Conjuntos e Teoria da Computação 
 
2. Classificação de Conjuntos  
             2.1 – Conjuntos Numéricos e suas Relações  
      2.2 – Conjuntos Finitos e Infinitos 
      2.3 – Conjuntos Enumeráveis e Não‐Enumeráveis 
             2.4 – Cardinalidade dos Conjuntos: Princípio da Inclusão e Exclusão  
             2.5 – Conjuntos Discretos e Contínuos 
             2.6 – Matemática Discreta na Computação, Raciocínio Discreto 
 
3. Números Naturais 
3.1 – Princípio da Indução Finita 
3.2 – Princípio da Casa dos Pombos 
3.3 – Fórmulas de Recorrência 
3.4 – Métodos: Iterativo e de Substituição 
3.5 – Fatorial, Recorrências Envolvendo Fatorial 
3.6 – Algoritmos Recursivos  
 
4. Relações e Funções 
4.1 – Definição de Relação 
4.2 – Propriedades de Relações 
4.3 – Relação Dual e Composição  
 4.4 – Representações: Diagrama de Venn, Tabelas, Gráficos e Flechas 
4.5 – Tipos de Relações 
4.6 – Relações de Equivalência e Ordem 
4.7 – Banco de Dados Relacional  
4.8 – Funções Parciais e Totais 
4.9 – Multiconjunto, Seqüência e Conjunto Indexado 
4.10 – Funções em Linguagens de Programação 

 
Contato: 
Através do e‐mail: professor.rodrigo.neves@gmail.com é possível enviar solicitações ou reca‐
dos, confirmar datas e encontros. 
Todo  o  material  disponibilizado  para  download  para  o  curso,  bem  como  o  calendário  das 
atividades  e  recados  para  a  turma  se  encontrarão  24  hs  por  dia  acessíveis  no  endereço  on‐line  a 
seguir: http://sites.google.com/site/professorrodrigoneves  
Não deixe de acessar o site periodicamente e não se esqueça de trazer o material com ante‐
cedência para as aulas. 
 
 
Avaliações: 
A avaliação constará de duas provas aplicadas nas seguintes datas: 
 
16/04 (Matinal) e 17/04 (Noturno) – Prova Individual c/ Consulta (10,0 pontos) 
25/06 (Matinal) e 26/06 (Noturno)  – Prova Individual s/ Consulta (10,0 pontos) 
              Nota final = Média Aritmética da provas + Arredondamento. 
 
Nota: Faça as listas com antecedência e estimule seus colegas a fazerem o mesmo. 
 
Nota 2: Ao longo do curso serão passadas atividades extras e marcados exercícios para serem feitos 
em horários a parte da aula, sendo que os resultados obtidos em ambos deverão ser entregues ao 
professor. A participação ou não deste tipo de atividade extra classe irá influenciar diretamente no 
critério adotado para o arredondamento das notas. 
 
 
Bibliografia: 
 
BIBLIOGRAFIA BÁSICA: 
 
GERSTING,  Fundamentos  de  Matemática  Discreta  para  Ciência  da  Computação.  3.  ed.  São  Paulo: 
Editora Érica,1995. 
 
SCHEINERMAN, Edward R., Matemática Discreta. Editora: Thomson Pioneira, 2004. 
 
BIBLIOGRAFIA COMPLEMENTAR: 
 
GRAHAN, R. L., KNUTH, D. E.; PATASHNIK, O., Matemática Concreta: Fundamentos para a Ciência da 
Computação. 2a ed. Rio de Janeiro: Editora LTC, 1995. 
 
BARROS, Dimas Monteiro de., Raciocínio Lógico Matemático e Quantitativo Teoria e Testes. Editora: 
Novas Conquistas. 2001. 
 
BEZERRA,M.J. Questões de Matemática. Cia. Editora Nacional, 2004.