Anúncios
Notas do Teste 2
6 dezembro 2011, 15:30 • Maria Paula Antunes Abrantes Gouveia
Estão publicadas na secção "Pautas" as pautas com as notas do teste 2. A revisão de provas do teste 2 tem lugar no dia 15 de Dezembro, 5a feira, às 14h na sala 2.N2.2.
Teste 3
29 novembro 2011, 18:06 • Maria Paula Antunes Abrantes Gouveia
O teste 3 tem lugar no dia 6 de Dezembro, 3a feira, no horário das aulas teóricas. Chama-se a atenção dos alunos para o seguinte:
-
Fazem o teste
às 8h30m na sala 0.65
- todos os alunos da LEIC (quer os repetentes, quer os alunos que entraram este ano na 1a fase ou 2a fase)
- os alunos da LERC que entraram este ano na 2a fase
-
Fazem o teste
às 10h no anfiteatro A2
- alunos da LERC que entraram este ano na 1a fase
- alunos da LERC repetentes
- A matéria objecto de avaliação neste teste é constituída, para todos os alunos, por todos os tópicos de Computabilidade leccionados (aulas teóricas 12 a 17 e aulas prátiicas 8, 9 e 10)
- Está publicado na secção Material de Apoio um enunciado do teste 3 de 2010/2011.
- Na 2a feira, dia 5, terá lugar um sessão de dúvidas extra das 15h-16h30m. Por esse motivo, as sessões de dúvidas de 3a feira, dia 6, são canceladas.
Sala para a aula prática extra
28 novembro 2011, 09:10 • Manuel Biscaia Martins
Tal como combinado com os alunos:
- o turno que tem aulas práticas às 5as às 8h30m-10h, terá uma aula prática de substituição na 3a feira, dia 29 de Novembro às 14h30m-16h:00m. A aula terá lugar na sala 0.16.
- o turno que tem aulas práticas às 5as às 12h-13h:30m, terá lugar uma aula prática de substituição na 3a feira, dia 29 de Novembro às 14h30m-16h:00m. A aula terá lugar na sala 0.73.
Aulas de dia 24 de Novembro
24 novembro 2011, 15:15 • Maria Paula Antunes Abrantes Gouveia
- Na aula prática das 8h30-10h de 24 de Novembro foram resolvidos os seguintes exercícios: 2.11 da lista de exercícios para a aula prática 8. Exercícios 2.1 a) 2.2 a) 2.4 e 3.1 a) b) da lista de exercícios para a aula prática 9
- Nas aulas teóricas das 10h30m-12h e das 12h-13h30m de 24 de Novembro foi leccionada a seguinte matéria:
- Sequências de Hailstone e conjectura de Collatz.
- Indecidibilidade do problema da aceitação (a linguagem A_TM não é decidível -pg 179 do livro)
- Indecidibilidade do problema da paragem (a linguagem HALT_TM não é decidível -pg 188 do livro)
- Indecidibilidade do problema da equivalência (a linguagem EQ_TM não é decidível), asumindo que a liunguagem E_TM não é decidível (pg 192 do livro)
- A linguagem complementar de A_TM não é reconhecida por nenhuma máquina de Turing (só na aulla 10h30-12h - pg 182 do livro)
Notas do Teste 1
17 novembro 2011, 14:50 • Maria Paula Antunes Abrantes Gouveia
Estão publicadas na secção "Pautas" as pautas com as notas do teste 1. A revisão de provas do teste 1 tem lugar no dia 29 de Novembro, 3a feira, às 14h na sala 2.N2.2.