IPLUSO 1656

Matemática Discreta

• ApresentaçãoPresentation

  A unidade curricular de Matemática Discreta pretende dar uma formação de base matemática para as unidades  curriculares específicas do ciclo de estudos e outras unidades em ciclos de estudos seguintes que os alunos possam frequentar. Além do domínio dos conceitos pretende-se ajudar os alunos a desenvolverem as suas capacidades ao nível do raciocínio lógico e abstracto, adquirindo conhecimentos necessários para aplicação nos mais diversos ramos científicos, nomeadamente na ciências informáticas.
• ProgramaProgramme

  1.Cálculo Proposicional: Operações lógicas. Tautologias e contradições, argumentos corretos. Formas normais. 2. Cálculo de predicados: Predicados. Equivalências lógicas. 3. Regras de inferência para os quantificadores existencial e universal. Demonstrações formais. 4. Conjuntos, relações e funções: Noções básicas, relações binárias, matrizes booleanas e propriedades. 5. Relações de equivalência e conjuntos parcialmente ordenados. Cardinal de um conjunto e conjuntos numeráveis. 6. Grafos: terminologia, grafos dirigidos e não dirigidos. Grafos e Árvores.
• ObjectivosObjectives

  A nível de objectivo geral pretende-se familiarizar os alunos com os conceitos e ideias essenciais da matemática discreta, que são necessários para estudos rigorosos na maioria das áreas de ciência da computação e com o raciocínio abstracto de um modo geral. Em termos específicos depois de abordar os conteúdos programáticos são propostas tarefas e exercícios de aplicação dos conceitos explorados com a consequente diversidade dos contextos em que podem ser aplicados. Pretende-se que os estudantes: 1. Entendam a parte da matemática que trata da lógica e da teoria de conjuntos. 2. Desenvolver o raciocínio lógico usando cálculo proposicional e predicados. 3. Adquirir noções básicas sobre relações. 4. Conhecer e aplicar conceitos básicos da teoria dos grafos.
• BibliografiaBibliography

    Discrete Mathematics with Applications, Metric Edition, Cengage Learning, Inc, 2019 Matematica Discreta - Coleção Schaum - 2 edição - Seymour Lipschutz e Marc Lipson, 2019 Matemática Discreta e suas Aplicações,  Keneeth H. Rosen 6ª ED. PT, McGraw Hill, 2010 Notas de Matemática Discreta, Lurdes Sousa - 1ª Edição, ESTG do IPV, 2006    
• MetodologiaMethodology

  Possibilidade de recorrer a software específico para realizar algumas tarefas. Procurar criar novas dinâmicas de aprendizagem.
• LínguaLanguage

  Português
• TipoType

  Semestral
• ECTS

  4
• NaturezaNature

  Obrigatório
• EstágioInternship

  Não