Teoria da Computação (Alameda)

Disciplina da Secção de Lógica e Computação.

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

Ano lectivo: 2005/06

Professor Responsável: Paula Gouveia.

Contactos:

• mpg@math.ist.utl.pt
• Edifício de Pós-Graduação: piso 5, sala 5.25; ext 1147

• Corpo docente
• Horário das sessões de dúvidas
• Avaliação
• Sumários
• Enunciados de exercícios para aulas práticas

AVISOS

• Notas do teste 5 e Notas  Finais: pauta. 
  • A revisão de provas do teste 5 tem lugar no dia 9 de Janeiro, 2a feira, pelas 14h30m, na sala de dúvidas do Departamento de Matemática.
  • A cotação do exercício 1 do Grupo3 no Teste 5 (programa URM) é 1.5 valores.
  • O factor de ajustamento da nota da ficha electrónica utilizado no teste 5,  é o valor F seguinte
    • F=0 se N<0.2
    • F= 15N/22+5/44  se 0.2<= N <=1.3
    • F=1 se N>1.3

    onde N é a classificação obtida pelo aluno no exercício 1 do Grupo 3 (coluna T5-3.1 da pauta)

  • Para efeitos de nota final foi considerado o melhor de entre os factores de ajustamento obtidos através do teste 4 e do teste 5.

• Os trabalhadores estudantes (com este estatuto confirmado junto da secretaria) que desejem realizar exame final desta disciplina devem contactar a docente responsável entre 2 e 6 de Janeiro.

• Emulador da máquina URM 

• Aulas teóricas
  • Turmas 10101/2/3: Paula Gouveia.
    • 3a 10h-11h sala FA3
    • 4a 12h-13h sala FA3
    • 5a 10h-11h sala FA3
  • Turmas 10104/5/6: Pedro Resende.
    • 2a 12h-13h sala GA1
    • 3a 9h-10h sala FA1
    • 5a 8h-9h sala GA4
• Aulas práticas
  • Turma 10101: Paula Gouveia  5a 11h-13h sala F2
  • Turma 10102: Vitor Saraiva  5a 11h-13h sala V124
  • Turma 10103: Pedro Resende. 3a 11h-13h sala F8
  • Turma 10104: Pedro Resende. 2a 10h-12h sala V108
  • Turma 10105: Paula Gouveia  3a 11h-13h sala E4
  • Turma 10106: Paula Gouveia  4a 10h-12h sala F4
•  

• Pedro Resende: 3a feira 14h-15h e 4a feira 13h30m-16h
• Paula Gouveia: 3a 15h-17h e 5a feira 14h30-17h
   (Atenção: nas semanas dos testes a sessão de 5a feira será realizada na 2a feira, com o mesmo horário)

As sessões de dúvidas têm lugar na (nova) sala de dúvidas do Departamento de Matemática: Edifício de Pós-Graduação, piso 1 , sala 1.12.

• Método de avaliação: Ficha electrónica (10%) e testes (90%).
  
  • Serão realizados 5 testes (t1, t2, t3, t4 e t5) durante o semestre, cada um com cotação de 6 valores
    A componente da classificação final na disciplina correspondente aos testes é o maior valor de entre os que se  
    obtêm somando as notas de três testes distintos tais que:
    • um dos testes é  t1 ou  t2
    • um dos testes é  t3 ou t4
    • um dos  testes é t4 ou t5
      
  • A componente da classificação final  na disciplina correspondente à nota da ficha electrónica é
    NFExF em que NFE é a nota obtida na ficha electrónica e F é um factor de correcção que depende da classificação obtida na pergunta sobre programas URM do teste 4 ou 5.

• Datas dos testes (todos os testes serão realizados durante as aulas teóricas ou práticas): 
  • Teste t1: semana 17-21Out
  • Teste t2: semana 7-11Nov
  • Teste t3: semana 21-25Nov
  • Teste t4: semana 5-9Dez
  • Teste t5: semana 19-21Dez

• Enunciados de Testes de 2004/2005 
  • Enunciado de teste1 de 2004/2005 e respectiva resolução. ( Nota: na resolução publicada no dia 12Out, a resposta à questão1 do Grupo 1 não estava correcta; a resolução que agora se encontra disponível já tem a solução correcta).
  • Enunciado de teste 2 de 2004/2005 e respectiva resolução. 
  • Enunciado de teste 3 de 2004/2005 e respectiva resolução. 
  • Enunciado de teste 4 (teste tipo) e respectiva resolução. 

   

• PAUTA 
  • Notas dos testes 1 e 2 (após revisão de provas)

• Autómatos, gramáticas e expressões regulares.
• Lógica (lista principal); Apêndice  
• Computabilidade.

• O sistema de fichas electrónicas já está disponível. 
• Os alunos devem submeter a solução do seu exercício até às 24h do dia 10 de Dezembro. 
  Não será aceite qualquer submissão após esta data.  
• Atenção: Para sua segurança os alunos deverão guardar sempre uma cópia da solução submetida.