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.) |

Avisos:

(13/11/2013)	Soluções da frequência: aqui.
(13/11/2013)	Enunciados da frequência: aqui.
(26/10/2013)	Soluções do teste: A1.
(26/10/2013)	Enunciados do teste: A1.
(04/09/2013)	As aulas começam no dia 17 de Setembro (terça-feira).

	Jorge Picado
	Gabinete (DMUC): 6.12
	Horário de Atendimento: quarta-feira 10.30-12.00 (DEI- gabinete D.3.17), sexta-feira 16.00-17.30 (DEI- sala C.5.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

Datas do teste e frequências:

Teste: semana de 21 a 25 de Outubro nas aulas práticas.

Primeira frequência: 13 de Novembro, 17:00 (anfiteatros UPC).

Segunda frequência: 18 de Dezembro.

Datas dos exames:
Época de recurso: 7 de Fevereiro, 14.30
Época especial: 22 de Julho, 14.00.