Estruturas Discretas

2010/11

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:
(16/02/11) Pauta (provisória) do Exame de Recurso. As provas podem ser consultadas na sexta-feira (18/02) das 10:30 às 12:30 ou 17:30-19:00, no Gab. 6.12 (DMUC).
(01/02/11) Enunciado do Exame de recurso.
(25/01/11) Horário de atendimento para o exame do dia 1 (Dr. Armando Gonçalves): 3ª feira (1/02/11), 10.00-13.00, no Gabinete 2.4 (DMUC).
(25/01/11) Horário de atendimento para o exame do dia 1 (Dr. Jorge Picado): 6ª feira (28/01/11), 10.30-12.30, no Gabinete 6.12 (DMUC).
(24/01/11) Pauta (provisória) do Exame. As provas podem ser consultadas amanhã (terça, 25/1) das 15:00 às 16:00 no Gab. 6.12 (DMUC).
(14/01/11) Enunciado e resolução do Exame.
(12/01/11) Horário de atendimento para o exame do dia 14 (Dr. Armando Gonçalves): 6ª feira (14/01/11), 11.00-13.00, no Gabinete 2.4 (DMUC).
(3/01/11) Horário de atendimento para o exame do dia 14 (Dr. Jorge Picado): 6ª feira (14/01/11), 10.30-12.30, no Gabinete 6.12 (DMUC).
(3/01/11) Horário de atendimento para o exame do dia 14 (Dr. Armando Gonçalves): 3ª feira (11/01/11), 10.00-13.00, no Gabinete 2.4 (DMUC).
(3/01/11) Horário de atendimento para o exame do dia 14 (Dr. Jorge Picado): 6ª feira (7/01/11), 10.30-12.30, no Gabinete E.6.1 (DEI).
(3/01/11) Horário de atendimento para o exame do dia 14 (Dr. Armando Gonçalves): 2ª feira (3/01/11), 15.00-18.00, no Gabinete 2.4 (DMUC).
(27/12/10) Notas do Teste 2.
(17/12/10) As inscrições nos exames das disciplinas da FCTUC leccionadas pelo DM serão efectuadas no InforEstudante. A inscrição terá de ser feita até uma semana antes da data do exame. De acordo com a informação dada pela gestão do Nónio, este sistema de inscrições estará disponível a partir do dia 18 de Dezembro. A lista com a distribuição dos alunos inscritos por salas será afixada no piso 0 do DM com 48 horas de antecedência.
(15/12/10) Soluções do Teste 2.
(15/12/10) Enunciado do Teste 2.
(19/11/10) Excelente aplicativo onde pode treinar o algoritmo de Dijkstra (trajecto mais curto).
(5/11/10) Gralhas encontradas na Ficha PL-3:
Exercício 2: onde está "Tet(a) = Tet(b)" deveria estar "Tet(a) <-> Tet(b)".
(5/11/10) Gralhas encontradas na Folha TP-3:
Exercício 6: onde está "Exercício 3" deveria estar "Exercício 4"; Exercício 11: onde está "log_2 n" deveria estar "log n"; Exercício 12: onde está "p. 39" deveria estar "p. 42".
(4/11/10) Notas do Teste 1.
(27/10/10) Soluções do Teste 1.
(27/10/10) Enunciado do Teste 1.
(26/10/10) O teste realiza-se no Departamento de Matemática (Pólo I), nas Salas 4.1, 4.6, 4.2 (Piso 4), 5.1 e 5.6 (Piso 5).
(25/10/10) Lista de erros mais comuns.
(11/10/10)O Dr. Armando Gonçalves leccionará uma aula TP suplementar na próxima quarta-feira (13/10, 13:00-15:00, na sala G.4.6 do DEI), onde serão resolvidos os exercícios 18 a 28.
(1/10/10)Devido ao feriado do próximo dia 5, para mantermos as aulas TP todas a par haverá uma aula TP conjunta para as Turmas TP1 e TP3 no dia seguinte (quarta-feira, 6/10, 15:00, no Anfiteatro B2 do DEI).
(15/09/10)Exames do ano passado e de 2008/2009.
(15/09/10) As aulas teóricas começam no dia 22 de Setembro (quarta-feira) e as práticas começam no dia 24 de Setembro (sexta-feira).


Docentes

	Jorge Picado
	Gabinete (DMUC): 6.5
	Horário de Atendimento: Terças (16.00-18.00), Sextas (11.30-12.30), no Gabinete E.6.1 (DEI)*
	telef.: 239791155
	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: Segundas (16.00-19.00) no Gabinete E.6.1 (DEI)
	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, 2008.

     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

Da avaliação constam:
1. 2 testes
2. exame final

Todos os alunos poderão participar nos testes. É obrigatória a presença em 75% das aulas (T, TP e PL), para que os testes contem.
Cotação de cada teste: 5 valores. Cotação do exame: 20 valores. 

Nota final = max{ (1/2) nota exame + nota testes , nota exame } (arredondada às unidades)



Datas dos testes: Primeiro teste:  27 de Outubro  (quarta-feira, 14.30, DMUC)
                  Segundo teste:   15 de Dezembro  (quarta-feira, 14.30, DMUC)
               

Datas dos exames: Época normal:  14 de Janeiro de 2011, às 14.30 horas
                  Época de recurso:  1 de Fevereiro de 2011, às 14.30 horas
                  Época especial:  18 de Julho de 2011, às 14.00 horas.

Software

Boole (programa para construção de tabelas de verdade):
Manual: pdf, online

Tarski World (Lógica proposicional e de predicados): manual

Download de pasta com os dois programas: ficheiro zip

Maple (programa para matemática simbólica):
Download (manual)