Combinatória e Teoria de Códigos
(MMA, LMAC, MEIC - 2º Semestre 2014/2015)
Responsável:
Joana Ventura
Horário das aulas: 5ªf das 8h30 às 10h30 na sala V1.12 e 6ªf das 14h00 às 16h00 na sala V1.10.
Horário de dúvidas: 5ªf das 14h00 às 16h00 no meu gabinete (3º piso, Pavilhão de Matemática).
Eis um exemplo que iremos analisar nas aulas.
AVISOS
- (3/7/15)
As notas finais já estão lançadas na secretaria.
- (1/7/15)
As notas do exame já estão afixadas na pauta. Recordo que a revisão de provas realiza-se no dia 2 de Julho, às 14h00, no meu gabinete.
- (30/6/15)
O teste de recuperação/exame realiza-se amanhã, dia 1 de Julho, às 8h00 na sala P1, tal como afixado no fénix. As notas serão afixadas no mesmo dia. A revisão de provas será no dia 2 de Julho, às 14h00, no meu gabinete.
- (26/6/15) Horário de dúvidas extra para o exame/teste de recuperação: dia 30 de Junho, 3ª-feira, das 13h30 às 16h00 no meu gabinete.
- (12/6/15)
As notas Teste 2 já estão afixadas na pauta. A revisão de provas realiza-se no dia 17 de Junho (4ªf), às 14h00, no meu gabinete.
- (4/6/15) Os TPC 6 já estão corrigidos. Os alunos podem vir buscá-los ao meu gabinete.
- (29/5/15) Horário de dúvidas durante a época de exames: 5ª-feira das 13h00 às 16h00 no meu gabinete; e ainda dia 9 de Junho (3ª-feira) das 13h00 às 16h00.
- (25/5/15) Alteração às Notas de CTC: Foram feitas correcções na Proposição 7.18, na demonstração do Teorema 8.66 e no Apêndice B.
- (15/5/15) O TPC 6 já está afixado.
- (29/4/15) O TPC 5 já está afixado.
- (16/4/15) O TPC 4 já está afixado.
- (10/4/15) As notas do Teste 1 estão afixadas na pauta.
A revisão de provas é dia 16 de Abril, 5ª-feira, às 14h00, no meu gabinete, durante o horário de dúvidas.
- (27/3/15) Matéria para o Teste 1: o que foi dado até à aula de hoje inclusive, ou seja, apêndice A, capítulos 1 a 5, códigos de Hamming binários (início da secção 6.1) e secção 6.2 das notas de CTC.
- (26/3/15) A aula de exercícios, tal como combinado nas aulas, ficou marcada para dia 8 de Abril (4ªf, antes do teste 1) às 11h00 na sala V1.11.
- (20/3/15) O TPC 3 já está afixado.
- (5/3/15) O TPC 2 já está afixado. ATENÇÃO: a numeração dos exercícios é da versão corrigida.
- (5/3/15) Alteração às Notas de CTC: dois exercícios adicionais no capítulo 2 (que foram enunciados na aula de hoje), e enunciados corrigidos nos seguintes exercícios: 3.14(a), 4.14(b), 4.18, 8.15(d) e (e), 8.17(b).
- (10/2/15) Início das aulas: na semana de 16 de Fevereiro.
Programa
-
Matemática Discreta Enumerativa:
-
Princípio de inclusão-exclusão.
-
Funções geradoras e relações de recorrência.
-
Teoria de Códigos:
-
O problema principal da Teoria de Códigos.
-
Corpos finitos e espaços vectoriais sobre corpos finitos.
-
Códigos lineares.
-
Códigos cíclicos.
Bibliografia
Nas aulas seguem-se as notas de CTC.
Livros recomendados:
-
A First Course in Coding Theory Oxford Applied Mathematics and Computing Science Series, R.A. Hill, 1996, Oxford University Press
-
Coding and Information Theory, S. Roman, 1992, Graduate Texts in Mathematics, 134, Springer-Verlag
-
Discrete and Combinatorial Mathematics, R. Grimaldi, 2003, Addison-Wesley- Longman
-
A Course in Combinatorics, Lint, J. H. van and Wilson, 1993, Cambridge University Press
Avaliação
Dois testes, com duração de 1 hora e meia cada, ou exame final, com duração de 3 horas. Na data de exame, os alunos podem optar por melhorar qualquer um dos testes. Caso o aluno realize o exame, a sua nota da prova escrita é a melhor nota entre a média dos testes e o exame.
Haverá também trabalhos de casa marcados ao longo do semestre, com um peso de 15% apenas para melhorar a nota da prova escrita.
Datas das provas escritas
1º Teste: 9 de Abril (a realizar na aula);
2º Teste: 11 de Junho, às 15h00, sala P1;
Exame: 1 de Julho, às 8h00, sala P1.
Notas das aulas e exercícios
Notas de CTC que incluem listas de exercícios no final de cada capítulo.
Trabalhos de Casa
Os seguintes exercícios são das notas das aulas
-- English translation of the exercises.
Cada TPC é cotado de 0 a 20. Caso sejam marcados exercícios bónus, de resolução opcional, estes valem 4 pontos adicionais.
-
TPC 1 para entregar até 6 de Março (na aula):
Exercícios A.2, A.6, A.14, A.20, A.21, 1.1 e
Exercício 1.4 ou 1.5;
Exercício bónus A.23 (e pode usá-lo na resolução de outros problemas mesmo que não o resolva).
-
TPC 2 para entregar até 20 de Março (na aula):
Exercício 2.4 ou 2.5, e
Exercícios 2.8, 3.3, 3.8, 3.12;
Exercício bónus 2.12.
-
TPC 3 para entregar até 17 de Abril (na aula):
Exercícios 4.2, 4.6, 4.7, 4.11 e
Exercício 4.14 ou 4.16;
Exercício bónus 3.13 (pode usá-lo na resolução de outros problemas mesmo que não o resolva).
-
TPC 4 para entregar até 30 de Abril (na aula):
Exercícios 7.2, 7.4, 7.7, 7.8, 7.9;
Exercício bónus 6.8.
-
TPC 5 para entregar até 15 de Maio (na aula):
Exercícios 6.16, 8.7, 8.8, 8.10, 8.15;
Exercício bónus 6.15.
-
TPC 6 para entregar até 29 de Maio (na aula):
Exercícios 8.22, 8.28, 8.29, 9.6;
Exercício bónus 9.9.
Testes e Exames
Última actualização: 3 de Julho de 2015
Departamento de Matemática,
Instituto Superior Técnico