Teoria da Computação (Alameda Park)

Disciplina da Secção de Ciência da Computação.

Curso:
LEIC-Alameda (Licenciatura em Engenharia Informática e de Computadores). Ano: 1. Semestre: 1.

Ano lectivo: 2003/04

Professor Responsável: Paula Gouveia

AVISOS

As notas do exame de 6 de Fevereiro, após revisão de provas, já estão publicadas .

Corpo docente

Aulas teóricas:
- T123: 3a, 10h-11h, sala FA3; 4a, 10h-11h, sala GA2; 5a, 10h-11h, sala GA2 - Paula Gouveia
- T456: 3a, 9h-10h, sala FA1; 5a, 8h-9h, sala FA1; 6a, 10h-11h, sala GA3 - Paula Gouveia

Aulas práticas: :
- T1: 5a, 11h-13h, sala Q5.3 - Pedro Adão
- T2: 6a, 11h-13h, sala V125 - Ricardo Gonçalves
- T3: 3a, 11h-13h, sala V126 - Pedro Adão
- T4: 2a, 11h-13h, sala V112 - Pedro Adão
- T5: 3a, 11h-13h, sala V124 - Ricardo Gonçalves
- T6: 4a, 11h-13h, sala F3 - Ricardo Gonçalves

Horário das sessões de dúvidas

Horário das sessões de dúvidas durante o período de aulas (29 de Setembro a 20 de Dezembro):

Paula Gouveia:
- 4a, 15h-17h
- 5a, 15h-16h
Pedro Adão:
- 2a, 16h-17h30m
- 5a, 16h-17h30m
Ricardo Gonçalves:
- 3a, 16h-18h
- 6a, 15h15m-16h15m

Horário das sessões de dúvidas durante o período de exames:

Paula Gouveia:
- 22 Janeiro, 15h
- 3 Fevereiro, 15h
- 4 Fevereiro, 15h
- 5 Fevereiro, 15h
Ricardo Gonçalves:
- 20 Janeiro, 15h
- 21Janeiro, 15h
- 22 Janeiro, 15h
- 5 Fevereiro, 15h

As sessões de dúvidas têm lugar na sala 9 do Piso 02 do Edifício de Pós-graduação.

Nota: As sessões de dúvidas consideram-se encerradas se 15m após o seu início nenhum aluno tiver comparecido.

Avaliação

Método de avaliação

Avaliação contínua (50%)

Exercícios: 10 exercícios de avaliação, a realizar nos últimos 20 minutos de aulas práticas, dos quais são escolhidos os 7 melhores (7 x 1 valor = 7 valores)

Fichas: 3 fichas de avaliação, a submeter electronicamente (3 x 1 valor = 3 valores)

Exame final (50%)

Exame: cotado para 10 valores, tem como nota mínima admissível 3.5 valores, e inclui uma questão (Q) sobre a matéria referente às fichas electrónicas

Classificação final

A classificação final obtém-se calculando Exame + Exercícios + Fichas*Min(1, 1/6 + 5x/4y) onde x é a classificação obtida na questão Q e y a respectiva cotação

Pauta (após revisão de provas)

Legenda da pauta:
- AvalPrática: nota da avaliação contínua nas aulas práticas
- E-Fichas: nota obtida nas fichas electrónicas
- 1.4bExm1: cotação na questão 1.4b do Exame 1
- Fact1: factor de correcção obtido a partir de 1.4bExm1
- AvalE-Fich1: parcela da avaliação final relativa às E-Fichas (obtida corrigindo E-Fichas com Fact1)
- Exm1: nota obtida no Exame 1
- 1.4bExm2, Fact2, AvalE-Fich2 e Exm2: significado análogo relativamente ao Exame 2.
Nota Final: o melhor dos valores AvalPrática+AvalE-Fich1+Exm1 e AvalPrática+AvalE-Fich2+Exm2 (arredondado às unidades).
Obtêm aprovação os alunos cuja nota final seja superior ou igual a 10 e no exame correspondente tenham obtido nota não inferior a 3.5.

Enunciados do Exame de 23 de Janeiro de 2004
- Exame A (pdf) e resolução (pdf)
- Exame B (pdf)

Enunciados de testes e exames de anos anteriores e algumas resoluções
- LESIM/LERCI 02/03
  - Exame 1 (pdf) e resolução (pdf)
  - Exame 2 (pdf)
- LEIC 02/03
  - Exame 1 (pdf) e resolução (pdf)
  - Exame 2 (pdf)

Sumários

Sumários das aulas teóricas
- T123
- T456

Sumários das aulas práticas
- T1
- T2
- T3
- T4
- T5
- T6

Material de apoio

Listas de exercícios:
- 1ª parte: autómatos, gramáticas e linguagens regulares (pdf)
- 2ª parte: computabilidade (pdf)
Implementação em Scheme de algumas operações básicas sobre autómatos finitos deterministas: afdscm

Fichas electrónicas

Acesso ao sistema (aconselha-se os alunos a guardarem SEMPRE cópia dos programas submetidos).
Emulador
Instruções para resolução dos problemas

ATENÇÃO: As respostas às fichas A e B deverão ser submetidas até às 24h de dia 12 de Dezembro (6a feira).
A resposta à ficha C deverá ser submetida até às 24h de dia 19 de Dezembro (6a feira).

Última actualização: 28 de Novembro de 2003.