Estruturas Discretas - Textos de apoio

Estes apontamentos incluem com algum pormenor os principais conceitos e resultados apresentados nas aulas, completados com exemplos, observações e exercícios. Neles vamos introduzir os conceitos básicos de matemática discreta, necessários para uma compreensão rigorosa da disciplina de informática e vamos motivar para o raciocínio matemático. Serão abordados temas que vão da lógica à álgebra, passando pela teoria das probabilidades e pela teoria dos grafos, através de uma articulação entre a teoria e a prática: sempre que possível tentar-se-á complementar a teoria com a exploração e experimentação computacional dos conceitos matemáticos. Serão utilizados programas específicos para a parte da lógica (Tarski World e Boole) e recorrer-se-á à linguagem Maple para o resto do programa. Dada a extensão do programa será dada preferência a uma abordagem de ensino teórico “em largura”, deixando para as aulas práticas, e trabalho em casa, o aprofundamento das diversas matérias. Espera-se que estes apontamentos sejam um auxiliar valioso para o curso, que permita uma maior liberdade nas aulas, na explicação teórica dos assuntos, substituindo uma exposição com grande pormenor formal por uma que realce a motivação e os aspectos intuitivos desses mesmos conceitos e respectivas inter-relações, e que por outro lado sejam um estímulo à atenção e participação activa dos estudantes. Devem ser encaradas como um mero guião das aulas, e portanto não são um seu substituto.