1º Ano, 1º Semestre, Licenciatura em Eng. Informática
| Docentes |
Programa |
Bibliografia |
| Apontamentos das Aulas |
Folhas de Exercícios | Software |
| Material de apoio (aplicativos interactivos, notas históricas etc.) |
| Testes e frequências |
Avisos:
| (3/09/2018) | Testes e frequências de anos anteriores: 2017/18, 2015/16, 2014/15. |
Jorge Picado Gabinete (DMUC): 5.9 Horário de Atendimento: quarta-feira, 15:00-17:30 (Gab. 5.9 DMat)* telef.: 239791150 e-mail: picado@mat.uc.pt URL: www.mat.uc.pt/~picado * Ou outro dia e hora a combinar (no final das aulas ou por e-mail)
Olga Azenhas Gabinete (DMUC): 5.1 Horário de Atendimento: telef.: 239791150 e-mail: oazenhas@mat.uc.pt URL: www.mat.uc.pt/~oazenhas
1. Fundamentos
1.1. Como raciocinamos? Lógica proposicional.
1.2. Linguagens de primeira ordem: Lógica dos predicados
1.3. Raciocínio matemático, indução e recursão.
2. Algoritmos
2.1. Algoritmos e sua complexidade.
2.2. Somatórios.
3. Teoria dos Grafos
3.1. Noções básicas.
3.2. Grafos eulerianos.
3.3. Grafos hamiltonianos.
3.4. Problemas famosos.
3.5. Árvores.
4. Números inteiros
4.1.Aritmética modular.
4.2. Criptografi a: o sistema RSA de chave pública.
5. Contagem
5.1. Técnicas básicas e probabilidade discreta.
5.2. Técnicas avançadas.
Um curso de matemática discreta tem vários objectivos.
Os estudantes deverão aprender um conjunto particular de factos matemáticos
e como aplicá-los; mas, mais importante, um tal curso deverá ensinar como se
pensa matematicamente.
Para alcançar estes objectivos, o curso realça o raciocínio matemático e
as diferentes maneiras de abordar e resolver problemas.
Jorge Picado, Estruturas discretas: textos de apoio, DMUC, 2014.
Kenneth Rosen, Discrete Mathematics and its Applications, MacGraw-Hill, 5a Edição, 2002.
James Hein, Discrete Structures, Logic and Computability, Portland State University, 2002.
Jon Barwise e John Etchemendy, Language, Proof and Logic, CSLI Publications, 1999.
Carlos André e Fernando Ferreira, Matemática Finita, Universidade Aberta, 2000.