92

DISCIPLINA: Matemática discreta e Lógica matemática

CÓDIGO:
CARGA HORÁRIA: 60h
SEMESTRE: 1o

EMENTA
Conjuntos e Combinatória. Relações e Funções. Estruturas Algébricas. Lógica formal. Argumentos e
demonstrações. Lógica de predicados.
OBJETIVOS DA DISCIPLINA
Gerais:
Reforçar a capacidade de raciocínio abstrato (lógico-matemático) tão necessária para o desenvolvimento das
capacidades relativas à informática e suas aplicações no mundo moderno e globalizado.
Específicos
Conduzir gradativamente o discente, ao longo do curso, a:
relembrar conceitos da matemática básica do Ensino Fundamental e Médio e suas principais
propriedades;
preparar-se para compreender os conceitos e propriedades onde a matemática discreta e lógica
matemática são aplicadas, como em banco de dados e programação, por exemplo;
saber aplicar corretamente as propriedades estudadas em problemas passíveis de ocorrer no seu dia a
dia atual e em ambiente profissional
CONTEÚDO PROGRAMÁTICO
Teoria dos Conjuntos;
Introdução à Teoria dos Números;
Análise Combinatória;
Relações e Funções;
Lógica Formal e Lógica de predicados.
BIBLIOGRAFIA BÁSICA
1. LIPSCHUTZ, S. Matemática Discreta, Coleção Schaum - editora Bookman, 2ª edição, 2004.
2. IEZZI, G., MURAKAMI, C. Fundamentos de Matemática Elementar - Conjuntos e Funções, 8ª edição, 2013.
3. SANTOS, J. P. O., MELLO, M. P., MURARI, I. T. C. Introdução à Análise Combinatória, editora Ciência
Moderna, 4ª edição, 2008.
BIBLIOGRAFIA COMPLEMENTAR
1. STEIN, C; DRYSDALE, R L e BOGART, K. Matemática Discreta para Ciências da Computação. 1ª Edição.
Editora Pearson. 2013.
2. GERSTING, J. L. Fundamentos Matemáticos para a Ciência da Computação - Um tratamento moderno de
matemática discreta, 7ª edição, 2016.
3. GRAHAM, Ronald L. Matemática concreta: fundamentos para a ciência da computação, Rio de Janeiro: 2ª
edição, 1995.
4. SCHEINERMAN, E R. Matemática Discreta - Uma introdução. São Paulo: Editora Cengage, 2010.
5. MENEZES, P B. Matemática Discreta para Computação e Informática: Volume 16. 4ª Edição. Bookman.
2013.