Estruturas Discretas

1º Ano, 1º Semestre, Licenciatura em Eng. Informática

| Docentes | Programa | Bibliografia | Avaliação |
| Apontamentos das Aulas | Folhas de Exercícios | Software |
| Material de apoio (aplicativos interactivos, notas históricas etc.) |
| Sumários (T, TP, PL) |

Avisos:

(19/12/12)	Enunciado e soluções da Frequência 2.
(12/12/12)	A frequência realiza-se na próxima quarta-feira, 15:00-17:00, no Pólo I (DMUC, Salas 4.1, 4.6).
(10/12/12)	As notas da frequência encontram-se no Nónio.
(07/11/12)	Enunciado e soluções da Frequência 1.
(04/11/12)	A frequência realiza-se na próxima quarta-feira, 17:00-19:00, no Pólo II (anfiteatros da Estrutura Central da FCTUC).
(01/11/12)	As notas do teste já se encontram no Nónio.
(01/11/12)	Recordo o meu horário de atendimento no DEI (sala F.2.1): Quarta-feira, 10.30-13.30.
(27/10/12)	Soluções do teste: A, B, C, D.
(26/10/12)	Enunciados do teste: A, B, C, D.
(23/10/12)	Lista de erros mais comuns.
(10/10/12)	O primeiro mini-teste foi adiado para a semana seguinte (semana de 22 a 26 de Outubro, nas aulas PL).
(26/09/12)	Exames do ano passado e de 2010/11.
(04/09/12)	As aulas teóricas começam no dia 19 de Setembro (quarta-feira) e as práticas começam no dia 21 de Setembro (sexta-feira).

	Jorge Picado
	Gabinete (DMUC): 6.12
	Horário de Atendimento: Quartas, 10.30-13.30 (DEI-Sala F.2.1)*
	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)

	Armando Gonçalves
	Gabinete (DMUC): 2.4
	Horário de Atendimento: 
	telef.: 239791150
	e-mail: adsg@mat.uc.pt
	URL: www.mat.uc.pt/~adsg

Programa

        1.   Fundamentos
        1.1. Como raciocinamos? Lógica proposicional.
        1.2. Raciocínio matemático, indução e recursão.
        1.3. Algoritmos e complexidade. 

        2. Teoria dos Grafos
        2.1. Grafos.
        2.2. Árvores.

        3. Os inteiros. Criptografia.

        4. Contagem
        4.1. Técnicas básicas e probabilidade discreta.
        4.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.

Bibliografia

     Jorge Picado, Estruturas Discretas: textos de apoio, DMUC, 2010.

     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.

Avaliação

ou Avaliação por Exame: Exame final valendo 20 valores.