2013/14
1º Ano, 1º Semestre, Licenciatura em Eng. Informática
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). 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.