Lógica Proposicional, Lógica de Primeira Ordem, Lógica Matemática (Prova de Teoremas), Teoria dos Conjuntos, Divisão nos Inteiros, Funções: Definição e Tipos, Funções Inversas, Composição de Funções, Crescimento de Funções. Seqüências e Somas. Indução e Recursão: Indução Matemática, Indução Forte, Definições Recursivas. Análise Combinatória: Permutações e Combinações, O Princípio do Pombal, Relações de Recorrência. Relações: Propriedades de Relações, Relações de Equivalência, Fecho de Relações. Relações de Ordem: Reticulados, Álgebras Booleanas, Funções Booleanas. Estruturas Algébricas: Semigrupos e Grupos. Aplicações da Matemática Discreta.

Carga Horária: 108 horas-aula

Gerais: Este curso tem o objetivo de apresentar conceitos básicos da Matemática Discreta que são relevantes para o aprendizado da Ciência da Computação e de justificar a importância de um raciocínio rigoroso e habilidades analíticas, ao longo do aprendizado da Matemática Discreta Elementar.  
Específicos:
Ao completar este curso, o estudante deverá ser capaz de compreender princípios e conceitos básicos relacionados com os seguintes temas ligados à Matemática Discreta:

.:: Conjuntos e Sub-conjuntos
.:: Lógica Proposicional, Lógica de Primeira Ordem e Provas de Teoremas
.:: Indução Matemática
.:: Números inteiros
.:: Análise Combinatória elementar
.:: Relações e tipos especiais de relações
.:: Estruturas Algébricas.

.:: Introdução à Lógica
.:: Teoria dos Conjuntos
.:: Relações
.:: Funções
.:: Estuturas Algébricas

.::Kolman, B., Busby, R.C., Ross, S.C., Discrete Mathematical Structures, Prentice-Hall International Editions, 5th ed., 2003. 
.:: Menezes, P.B.. Matemática Discreta para Computação e Informática, ed. Sagra Luzzatto, 2004. 
.:: Rosen, K. H., Discrete Mathematics and its Aplications, 5th ed., McGraw-Hill, 2007. 
.:: Tremblay, J.P, Manohar, R., Discrete Mathematical Structures with Applications to Computer Science, McGraw-Hill, 1975.