Descrição

Esta displicina é uma introdução à conceitos de matemática discreta e estruturas discretas tal como são utilizadas em Ciência da Computação. As técnicas apresentadas na disciplina permitem aos estudantes aplicar o pensamento lógico e matemático na resolução de problemas. Os tópicos incluem: lógica proposicional e de predicados, funções, relações, conjuntos, técnicas de demonstração, grafos e árvores. De acordo a disponibilidade de tempo, também serão cobertos outros tópicos (e.g.: contagem, computabilidade, etc.).

Encontre aqui a última actualização da sebenta.

Pré-Requisitos

 Conhecimentos básicos de lógica e de simbolização matemática.

Bibliografia Recomendada

Fundamentos matemáticos para a Ciência da Computação, 6a. Edição de Judith L. Gersting.

Tópicos

  1. Lógica formal
  2. Demonstrações, recorrência e análise de algoritmos
  3. Conjuntos e combinatória
  4. Relações, funções e matrizes
  5. Gráfos e árvores
  6. Álgebra de Boole e lógica computacional

Exercícios ``Discretos``

Siga esta página para ficar a par dos exercícios que envolvem programação e outras actividades que envolvem a aplicação de Estruturas Discretas na vida real.

Exames de Anos Anteriores

Consultem no link.

Calendário de Exames & Avaliações

  • 1ª Prova Parcelar
    • NOCTURNOS: 28 de Setembro de 2017, 17h30
    • DIURNOS: 29 de Setembro de 2017, 10h00