Elementos de lógica matemática, Teoria dos conjuntos, Divisibilidade e congruência nos números inteiros, Indução, Recursão, Relações de ordem, Reticulados, Funções, Álgebra Booleana, Estruturas algébricas.

Carga Horária: 72 horas-aula

Gerais: Dotar o aluno de conhecimento básico dos conceitos matemáticos necessários para o aprendizado bem fundamentado das várias áreas da informática. 
Específicos: Conhecer os elementos básicos da Lógica Matemática e principais técnicas de provas. Conhecer os fundamentos de Teoria dos Conjuntos, Números inteiros e princípios de indução. Conhecer as principais características e propriedades das relações e das funções. Conhecer a definição e propriedades de ordens, conjuntos parcialmente ordenados e reticulados. Conhecer os princípios básicos das Álgebras Booleanas. Conhecer as definições, tipos, exemplos e principais propriedades das estruturas algébricas mais importantes.

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

.:: Apostila: "Fundamentos de Matemática Aplicada à Informática", J.M.Barreto, M. Roisenberg, M.A.F. Almeida, K. Collazos, 1998. (disponível para download em PDF)

.:: GERSTING, Judith L., "Mathematical Structures for Computer Science", Computer Science Press, 1993, ISBN: 0-7167-8259-6 
.:: TREMBLAY, J. P. & MANOHAR, R. "Discrete Mathematical Structures with Applications to Computer Science", McGraw-Hill Computer Science Series, 1975, ISBN:0-07-065142-6 
.:: KOLMAN, BERNARD & BUSBY, ROBERT C., "Discrete Mathematical Structures for Computer Science", Prentice-Hall International Editions, 1987, ISBN: 0-13-215922-8 
.:: ALAGAR, VANGALUR S., "Fundamentals of Computing: Theorry and Practice", Prentice-Hall, Englewood Cliffs, 1989, ISBN: 0-13-335308-7 
.:: XUONG, Nguyen H., "Mathématiques Discrétes et Informatique", Masson, Paris, 1992, ISBN: 2-225-82621-8 
.:: FEJER, P. A. & SIMOVICI, D. A., "Mathematical Foundations of Computer Science, Volume I: Sets, Relations and Induction", Springer-Verlag, 1990, ISBN: 0-387-97450-4 
.:: Graham, R. L.; KNUTH, D. E.; PATASHNIK, O., "Concrete Mathematics: A Foundation for Computer Science", Addison-Wesley, 1994, ISBN: 0-201-55802-5
.:: WOOD, Derick, "Theory of Computation", John Wiley & Sons, 1987. 
.:: MAC LANE, S. & BIRKHOFF, G., "Algebra", The MacMillan Company, 1967. 

O cálculo da média final será calculado como: 

Média Final = (1a.Prova + 2a.Prova + 3a.Prova) / 3

Serão considerados aprovados os alunos que obtiverem Média Final superior ou igual 6,0 e freqüência igual ou superior a 75%.

Serão considerados reprovados os alunos que não obtiverem Média Final superior ou igual a 3,0. 

Os alunos com Média Final entre 3,0 e 5,5 terão direito a fazerem a prova de recuperação.

.:: Transparências Introdução
.:: Transparências Lógica
.:: Transparências Teoria dos Conjuntos
.:: Transparências Relações
.::   Transparências Funções

.:: SINGH, Simon. "O Último Teorema de Fermat, A história do enigma que confundiu as maiores mentes do mundo durante 358 anos". 3a. ed., 1997, Editora Record, ISBN: 85-01--5006-7.

.:: Lista 1: Lógica
.:: Lista 2: Teoria dos Conjuntos
.:: Lista 3: Relações
.:: Lista 4: Funções Recursivas, Modelos Abstratos de Computadores e Estruturas Algébricas

.:: Lista de Conceitos