Responsável: Joana Ventura

Horário:
Aulas Teóricas: 4ª feira das 8h30 às 10h00 e 6ª feira das 8h00 às 9h30, ambas na sala V1.07.
Aula Prática: 6ª feira das 11h00 às 12h30 na sala V1.07.
Esclarecimento de dúvidas: 2ª feira às 10h00 na sala de dúvidas do Departamento de Matemática (no piso -2 do pavilhão de matemática)

• Programa
• Bibliografia
• Avaliação de Conhecimentos
• Fichas de Exercícios do Prof. J. L. Fachada: Ficha 1, Ficha 2, Ficha 3, Ficha 4, Ficha 5, Ficha 6, Ficha 7, Ficha 8, Ficha 9 (versão de 1/6/2010).
• 1º teste deste semestre, Ficha de revisão para o 2º teste
• 1º exame deste semestre: enunciado e resolução.
2º exame deste semestre: enunciado e resolução.

• (5/7/2010) As notas do 2º exame estão afixadas aqui. Os alunos interessados na revisão de provas contactem-me.


• (30/6/2010) O 2º exame, dia 2/7/2010 às 17h00, realiza-se na sala V1.11.
• (21/6/2010) As notas do 2º teste e do 1º exame estão afixadas aqui. Os alunos interessados na revisão de provas contactem-me.
• (16/6/2010) O 2º teste/1º exame, dia 18/6/2010 às 17h00, realiza-se na sala P8.


• (1/6/2010) A matéria dada nas aulas que não está no livro do Hill encontra-se, por exemplo, no livro "Coding and Information Theory" de Steven Roman indicado na bibliografia:
  • Descodificação de códigos cíclicos: páginas 345 a 350 e ainda as páginas 212 e 213 sobre correcção de erros acumulados.
  • Códigos Reed-Solomon: páginas 369 a 374. A descrição geral de um código BCH como código cíclico não foi dada nas aulas, mas o Teorema 8.1.1 ("BCH Bound"), usado para provar que os códigos Reed-solomon são MDS, foi demonstrado.
  • Concatenação de códigos: páginas 380 e 381.


• (3/5/2010) As notas do 1º teste estão afixadas aqui. Os alunos interessados na revisão de provas contactem-me.
• (22/4/2010) O 1º teste realiza-se dia 28 de Abril, na aula teórica, a começar às 8h30 na sala V1.07.
• (29/3/2010) ALTERAÇÃO DE SALAS: Todas as aulas de CTC passaram a ser dadas na sala V1.07, no Pavilhão de Civil.
• ALTERAÇÃO DE SALA: A aula prática do dia 26 de Março, das 11h00 às 12h30, será dada excepcionalmente na sala V1.07, no Pavilhão de Civil.
• INÍCIO DAS AULAS: 6ª feira, 26 de Fevereiro de 2010, sala FA3, às 8h00.

Programa:

• Introdução. O problema da Teoria de Códigos.
• O problema principal. As ideias de Hamming.
• Corpos Finitos. Espaços Vectoriais sobre Corpos Finitos.
• Introdução aos Códigos Lineares.
• Codificação e Descodificação em Códigos Lineares.
• Códigos Duais e Matriz de Paridade.
• Códigos de Hamming.
• Códigos Perfeitos.
• Introdução aos Códigos BCH e Reed-Solomon.
• Códigos Cíclicos.
• O problema principal na teoria dos Códigos Lineares.
• Códigos de Distância de Separação Máxima (MDS).

Bibliografia:

Livro principal, a seguir nas aulas:
• Hill, R., A First Course in Coding Theory, Oxford Applied Mathematics and Computing Science Series, 1996, Oxford University Press

Outros livros recomendados:
• Ash, R., Information Theory, Dover Publications, N.Y., 1990
• Cameron, P.J., Combinatorics: Topics, Techniques, Algorithms, Cambridge University Press, 1994
• Pretzle, O., Error-Correcting Codes and Finite Fields, Oxford Applied Mathematics and Computing Science Series, Oxford University Press, 1992
• Roman, S., Coding and Information Theory, Graduate Texts in Mathematics, 134, Springer-Verlag, 1992

Avaliação de Conhecimentos:

Dois testes ou Exame final.
Datas:
1º Teste: 28 de Abril
2º Teste/ 1º Exame: 18 de Junho, sala P8, às 17h00
2º Exame: 2 de Julho, sala V1.11, às 17h00