Estruturas Discretas

2007/08

1º Ano, 1º Semestre, Licenciatura em Eng. Informática
2º Ano, 1º Semestre, Licenciatura em Comunicações e Multimédia

Página Woc da disciplina

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


Avisos:
(22/09/08) As pautas com as notas do exame especial foram afixadas esta manhã, no piso 0 do DMUC. Uma pauta provisória pode ser vista aqui. As provas poderão ser consultadas na próxima quarta-feira (16.00-17.00), Gabinete 6.5 (DMUC).
(26/02/08) As pautas com as notas do exame de recurso foram afixadas esta tarde, no piso 0 do DMUC. Uma pauta provisória pode ser vista aqui (Ver aqui a pauta global com os dois exames). As provas poderão ser consultadas na próxima quinta-feira, das 11.00 às 12.00, na Sala 4.2 do DMUC (ou na próxima segunda-feira, das 13.30 às 16.30, no gabinete 6.5 do DMUC).
(08/02/08) Enunciado do exame de recurso.
(03/02/08) Horário de atendimento dos alunos esta semana: 4ª feira, 11.00-13.00 (Dr. Armando Gonçalves, Gab. 2.4 do DMUC), 5ª feira, 14.00-16.00 (Dr. Jorge Picado, Gab. 6.5 do DMUC).
(29/01/08) As pautas com as notas do exame foram afixadas esta manhã, no piso 0 do DMUC. Uma pauta provisória pode ser vista aqui. As provas poderão ser consultadas na próxima sexta-feira, das 11.00 às 12.00, na Sala 4.2 do DMUC.
(29/01/08) Horário de atendimento dos alunos esta semana: 5ª feira, 11.00-13.00 (Dr. Armando Gonçalves, Gab. 2.4 do DMUC), 6ª feira, 9.00-11.00 (Dr. Jorge Picado, Gab. 6.5 do DMUC).
(21/01/08) Soluções do exame.
(21/01/08) Enunciado do exame.
(15/01/08) Horário de atendimento dos alunos esta semana: 6ª feira, 14.30-16.30 (Dr. Armando Gonçalves, Gab. 2.4 do DMUC), 5ª feira, 14.00-16.00 (Dr. Jorge Picado, Gab. 6.5 do DMUC).
(03/01/08) Horário de atendimento dos alunos: 2ª feira, 14.00-16.00 (Dr. Armando Gonçalves, Gab. 2.4 do DMUC), 5ª feira, 14.00-16.00 (Dr. Jorge Picado, Gab. 6.5 do DMUC).
(02/01/08) Notas do Teste 4.
(02/01/08) Soluções do Teste 4 (16.30,18.00).
(28/12/07) Enunciados do Teste 4 (16.30,18.00).
(27/12/07) As inscrições nos exames devem ser feitas na página da disciplina na web on campus do DEI.
(07/12/07) O 4º e último teste de Estruturas Discretas realiza-se no dia 21 de Dezembro (sexta-feira), das 16h30m às 17h30m nos Anf. C e B do Edíficio Central . Para os alunos da turma TP7 de Tecnologia dos Computadores, que têm aula a essa hora, o teste realiza-se das 18h às 19h, no DEI (Sala B2).
(06/12/07) Na próxima quarta-feira (12/12) não haverá aula teórica.
(03/12/07) Na próxima quarta-feira (5/12) o Doutor Armando Gonçalves dará uma aula TP suplementar para as turmas das passadas segunda-feira e sexta-feira que não tiveram aula. A aula decorrerá na Sala B1 do DEI, das 14.00 às 15.45.
(01/12/07) Notas do Teste 3.
(30/11/07) Cap. 3.2: Árvores.
(28/11/07) Ficha 4 de exercícios.
(28/11/07) Mais apontamentos das aulas teóricas: Cap. 3.1.
(22/11/07) Soluções do Teste 3.
(22/11/07) Enunciado do Teste 3.
(14/11/07) O terceiro teste de avaliação realiza-se no dia 21 de Novembro (16.30-17.30) no Departamento de Matemática (Salas Pedro Nunes e 17 de Abril).
(13/11/07) Notas do Teste 2.
(08/11/07) Soluções do Teste 2.
(08/11/07) Enunciado do Teste 2.
(06/11/07) Amanhã não haverá aula teórica, por determinação superior, em virtude da realização de testes no âmbito do Programa de Apoio à Prevenção do Insucesso Escolar.
(30/10/07) Para compensar a aula teórico-prática desta tarde que não se realiza por causa da tolerância de ponto, aconselha-se os alunos a comparecer nas aulas de sexta-feira (10.00-12.00 ou 14.00-16.00). Para aqueles que não possam comparecer na sexta-feira, na próxima terça-feira de tarde, no horário da aula TP e da aula PL, serão dadas duas aulas TP (a correspondente a hoje mais a da próxima semana). Dá-se o mesmo conselho aos alunos da turma TP de quinta-feira (feriado).
(23/10/07) O segundo teste de avaliação realiza-se no dia 7 de Novembro (17.30-18.00) no Anf. C.
(22/10/07) Gralha na página 45 (Cap. 1.2): na 4ª linha a contar de baixo, falta um sinal + antes do último somatório.
(21/10/07) Notas do Teste 1.
(17/10/07) Soluções do Teste 1.
(17/10/07) Enunciado do Teste 1.
(10/10/07) Já estão aqui mais fascículos de notas das aulas teóricas (Cap. 1.4, 2.1 e 2.2).
(04/10/07) O primeiro teste de avaliação realiza-se no dia 17 de Outubro (16.30-17.30) no Anf. C. Das 14.30 às 16.30 (Anf. C) haverá aula TP suplementar para as turmas da sexta-feira (TP1 e TP6).
(01/10/07) Gralha no enunciado do Exercício 11 (TP-1): onde está "a" leia-se "p", "b" -> "q", "c" -> "r".
(27/09/07) As primeiras folhas de exercícios estão aqui.
(22/09/07) As aulas teóricas começam na quarta-feira, dia 26 de Setembro. As aulas teórico-práticas começam na segunda-feira, dia 1 de Outubro.


Docentes

	Jorge Picado
	Gabinete (DMUC): 6.5
	Horário de Atendimento (Sala G.5.3): Segunda-feira (17.00-18.00), Quinta-feira (17.00-18.00)*
	telef.: 239791155
	e-mail: picado@mat.uc.pt
	URL: http://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 (Sala G.5.3): Terça-feira (9.00-10.00), Sexta-feira (9.00-10.00)
	telef.: 239791???
	e-mail: adsg@mat.uc.pt
	URL: http://www.mat.uc.pt/~adsg

Programa

        1.   Fundamentos

        1.1. Como raciocinamos?: lógica elementar.
        1.2. Algoritmos e complexidade. 
        1.3. Os inteiros. Aplicações: criptografia.
        1.4. Raciocínio matemático, indução e recursão.

        2. Contagem

        2.1. Técnicas básicas e probabilidade discreta.
        2.2. Técnicas avançadas.

        3. Teoria dos Grafos

        3.1. Grafos.
        3.2. Árvores.

        4. Álgebra

        4.1. Corpos finitos.
        4.2. Aplicações: códigos correctores de erros.


    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, 2007.

     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. 4 testes
2. exame final

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

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



Datas dos testes: Primeiro teste:  17 de Outubro  (16.30, Anf. C)
                  Segundo teste:   7 de Novembro  (17.30, Anf. C)
                  Terceiro teste:  21 de Novembro (16.30, Departamento de Matemática)
                  Quarto teste:    21 de Dezembro (16.30, Anf. C)

Datas dos exames: Época normal:  21 de Janeiro de 2008, às 9.00 horas
                  Época de recurso:  8 de Fevereiro de 2008, às 9.00 horas
                  Época especial:  10 de Setembro de 2008, às 9.00 horas.