ISMAT 1656

Matemática Discreta

• ApresentaçãoPresentation

  Esta unidade curricular, da área da matemática, debruça-se sobre os conceitos fundamentais da matemática discreta. Serão estudados elementos de cardinalidade; cálculo combinatório; somatórios, indução matemática e expansão binomial; relações; linguagens formais, gramáticas e autómatos finitos e uma introdução à teoria de grafos. Os conteúdos e estratégias de ensino/aprendizagem abordados promovem o desenvolvimento de competências para melhor compreender e desenvolver projetos de Engenharia Informática.
• ProgramaProgramme

  CP1: Cardinais. Cálculo combinatório CP2: Somatórios. Indução matemática. Expansão binomial. C P 3 :Relações CP4:Elementos da teoria dos grafos. CP5: Linguagens formais, gramáticas e autómatos finitos.
• ObjectivosObjectives

  No final desta unidade os alunos devem saber: OA1. Reconhecer os conceitos de cardinais e cálculo combinatório e utiliza-los na resolução de problemas destes domínios; OA2. Formular e resolver problemas do mundo real usando somatórios, indução matemática e expansão binomial; OA3. Reconhecer os conceitos de relação e realizar operações sobre relações; OA4: Reconhecer os conceitos sobre linguagens formais, gramáticas, autómatos finitos e utiliza-los na resolução de problemas destes domínios; OA5: Relacionar os elementos da teoria dos grafos com a teoria da computação.
• BibliografiaBibliography

  A. J. Franco de Oliveira, Teoria de Conjuntos, 4ª ed., Escolar Editora, 1982. D. M. Burton, Elementary Number Theory, 7ª ed, McGraw-Hill, 2010. R. J. Wilson, Introduction to Graph Theory, 4ª ed., Addison Wesley, 1996. B. Kolman, R. C. Busby, S. Ross, Discrete Mathematical Structures, 3ª ed., Prentice Hall, 1996.  
• MetodologiaMethodology

  São utilizados os métodos expositivo, demonstrativo e metodologias ativas orientadas à resolução de problemas.
• LínguaLanguage

  Português
• TipoType

  Semestral
• ECTS

  6
• NaturezaNature

  Obrigatório
• EstágioInternship

  Não