Nome da Atividade
MATEMÁTICA DISCRETA
CÓDIGO
15000686
Carga Horária
30 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Modalidade
PRESENCIAL
Unidade responsável
CARGA HORÁRIA TEÓRICA
2
FREQUÊNCIA APROVAÇÃO
75%
CARGA HORÁRIA OBRIGATÓRIA
2
CRÉDITOS
2
NOTA MÉDIA APROVAÇÃO
7

Ementa

Lógica Proposicional, Lógica Matemática (Prova de Teoremas); Teoria dos Conjuntos, Relações em Conjuntos, Funções e
Grupos; Indução e Recursão: Indução Matemática, Indução Forte, Definições Recursivas; Probabilidade discreta. Relações: Propriedades de Relações, Relações de Equivalência, Fecho de Relações; Teoria das probabilidades e cadeias de Markov. Teoria dos números; Combinatória; Teoria dos grafos; Teoria da computação, algoritmos e recursividade; Modelagem computacional; Teoria da informação; Álgebra Booleana; arvores e aplicações da Matemática Discreta.

Objetivos

Objetivo Geral:

O objetivo principal da disciplina é introduzir ao aluno no estudo dos conceitos básicos e as principais estruturas encontradas na
Matemática Discreta. Apresentar as ferramentas matemáticas que servem como estrutura de formalismo matemático para pesquisas baseadas em sistemas discretos, computação e novas tecnologias.

Conteúdo Programático

Bibliografia

Bibliografia Básica:

  • GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação, 3. ed. Rio de Janeiro: LTC, 1995.
  • MENEZES, Paulo Blauth. Matemática discreta para computação e informática, V.16. 4. Porto Alegre Bookman 2013.
  • GRIMALDI, Ralph P. Discrete and combinatorial mathematics: an applied introduction. 5. ed. Boston: Pearson Addison Wesley, 2004.

Bibliografia Complementar:

  • ROSEN, K. H., Discrete Mathematics and its Aplications, 5th ed., McGraw-Hill, 2007.
  • SANTOS, José Plínio O; MELLO, Margarida P; MURARI, Idani T.C. Introdução à análise combinatória. 4. ed. Rio de Janeiro: Ciência Moderna, 2007.
  • KOLMAN, B., Busby, R.C., Ross, S.C., Discrete Mathematical Structures, Prentice Hall International Editions, 5th ed., 2003.
  • TREMBLAY, J.P, Manohar, R., Discrete Mathematical Structures with Applications to Computer Science, McGraw-Hill, 1975.
  • TOKHEIM, Roger. Fundamentos de eletrônica digital, V.1 sistemas combinacionais. Porto Alegre AMGH 2013 1 recurso online (Tekne). ISBN 9788580551938.

Disciplinas Equivalentes

Disciplina Curso
ENGENHARIA DE SOFTWARE I Engenharia de Controle e Automação (Bacharelado)

Página gerada em 28/03/2024 17:24:31 (consulta levou 0.112941s)