Estruturas Discretas (CC1001)
- Sumários
- Avaliação
- Folhas de Exercícios
- Bibliografia & Co.
As aulas teóricas deste semestre decorrerão sob a plataforma Zoom no seguinte link:
https://fc-up-pt.zoom.us/j/82420772088
https://fc-up-pt.zoom.us/j/82420772088
Os alunos têm que se identificar com o seu primeiro e último nomes e têm que entrar na sessão nos primeiros 5 minutos da aula.
Objectivos: Estudo das estruturas discretas fundamentais que estão na base formal da área de Ciência de Computadores/Informática.
Espera-se que no final os alunos tenham adquirido as seguintes capacidades:
Tópicos do Programa: Teoria de conjuntos: conjuntos e subconjuntos, operações de conjuntos, diagramas de Venn.
Indução matemática: indução matemática, definições por recursão. Tópicos elementares de lógica: cálculo proposicional, álgebra booleana, equivalência lógica, regras de inferência, breve introdução ao cálculo de predicados.
Números inteiros: o algoritmo da divisão, números primos, máximos divisor comum e algoritmo de euclides, o teorema fundamental da aritmética.
Relações: Produtos cartesianos e relações, propriedades de relações, funções, representações computacionais de relações, ordens parciais, relações de equivalência e partições, aritmética modular.
Contagem: somas e productos, permutações, combinações, coeficientes binomiais.
Grafos: definições e exemplos, subgrafos, grafos complementares e grafos isomorfos, graus de vérices, grafos planares, caminhos e ciclos hamiltonianos.
Espera-se que no final os alunos tenham adquirido as seguintes capacidades:
- Trabalhar com notação matemática e com os principais conceitos de matemática discreta;
- Construir e compreender provas matemáticas;
- Utilizar conceitos matemáticos para formalizar e resolver problemas comuns em Ciência de Computadores/Informática.
Tópicos do Programa: Teoria de conjuntos: conjuntos e subconjuntos, operações de conjuntos, diagramas de Venn.
Indução matemática: indução matemática, definições por recursão. Tópicos elementares de lógica: cálculo proposicional, álgebra booleana, equivalência lógica, regras de inferência, breve introdução ao cálculo de predicados.
Números inteiros: o algoritmo da divisão, números primos, máximos divisor comum e algoritmo de euclides, o teorema fundamental da aritmética.
Relações: Produtos cartesianos e relações, propriedades de relações, funções, representações computacionais de relações, ordens parciais, relações de equivalência e partições, aritmética modular.
Contagem: somas e productos, permutações, combinações, coeficientes binomiais.
Grafos: definições e exemplos, subgrafos, grafos complementares e grafos isomorfos, graus de vérices, grafos planares, caminhos e ciclos hamiltonianos.
Última modificação: 16/09/2024