Anúncios

Modificação nas salas das provas de RECURSO (25 Junho)

4 Junho 2012, 16:28 Amilcar Sernadas

%%%%%%%%%%%%%%%%%%%%%%%%%%%

TESTE B Sábado 9 Junho 11h30-12h50 Salas P8 P12

Sessões de dúvidas Quarta & Sexta 6 & 8 Junho 15h00-16h00 Sala DM5.29

Revisão de provas Quinta 14 Junho 15h30-16h30 Sala DM5.29

%%%%%%%%%%%%%%%%%%%%%%%%%%%

RECURSO TESTE A Segunda 25 Junho 18h30-19h50 Salas V1.31 V1.32

RECURSO TESTE B Segunda 25 Junho 20h00-21h20 Salas V1.31 V1.32

Sessões de dúvidas Quinta & Sexta 21 & 22 Junho 15h00-16h00 Sala DM5.29

Revisão de provas Quinta 28 Junho 15h00-16h00 Sala DM 5.29

%%%%%%%%%%%%%%%%%%%%%%%%%%%


Avaliação durante a época de exames

25 Maio 2012, 10:16 Amilcar Sernadas

%%%%%%%%%%%%%%%%%%%%%%%%%%%

TESTE B Sábado 9 Junho 11h30-12h50 Salas P8 P12

Sessões de dúvidas Quarta & Sexta 6 & 8 Junho 15h00-16h00 Sala DM5.29

Revisão de provas Quinta 14 Junho 15h30-16h30 Sala DM5.29

%%%%%%%%%%%%%%%%%%%%%%%%%%%

RECURSO TESTE A Segunda 25 Junho 18h30-19h50 Salas PA2 P12

RECURSO TESTE B Segunda 25 Junho 20h00-21h20 Salas PA2 P12

Sessões de dúvidas Quinta & Sexta 21 & 22 Junho 15h00-16h00 Sala DM5.29

Revisão de provas Quinta 28 Junho 15h00-16h00 Sala DM 5.29

%%%%%%%%%%%%%%%%%%%%%%%%%%%


Resultados do Teste A

4 Abril 2012, 18:51 Amilcar Sernadas

Os resultados do Teste A já estão afixados na Secção Pautas.

Revisão de provas: sexta-feira, 13 de Abril, 15h00-16h00, sala DM5.29.

Os enunciados estão disponíveis na Secção Textos de Apoio.

A resolução será apresentada nas aulas do dia 12 de Abril.


Teste 3Abril2012 15h00-16h30

28 Março 2012, 12:45 Amilcar Sernadas

QA1.4: alunos cujo último dígito do número seja 0 a 3.

GA5: alunos cujo último dígito do número seja 4 a 9.

Cada aluno deve vir munido com folhas de exame do IST.

Serão facultadas folhas para rascunho.


Bem vindos a LM 2011-12

8 Fevereiro 2012, 10:28 Amilcar Sernadas

 

Bem vindos à oferta 2011-12 de Lógica Matemática (LM).

Encontram informação sobre os objectivos, programa, planeamento e bibliografia nesta página de LM no Fénix. Na Secção Textos de apoio encontram o ficheiro FLTC2nd_BOOK18Jan2012.pdf, para uso estritamente pessoal, com a versão preliminar da 2ª edição do livro Foundations of Logic and Theory of Computation, A. Sernadas e C. Sernadas, 2008, College Publications, London.

A avaliação em LM é realizada por testes:

  • T1 - 3 de Abril, 15h00-16h30, QA1.4;
  • T2 - 9 de Junho;
  • Recursos (T1 ou T2 ou T1+T2) - 25 de Junho.

É concedida bonificação quando não for utilizada a data de recurso. A matéria objecto de T1 é a listada no planeamento das aulas teóricas 1 a 13.  No caso de se vir a revelar necessário, poderão ainda ser realizadas fichas nas aulas teóricas (sem anúncio prévio e apenas com efeitos de bonificação na classificação final).

Deverão contactar imediatamente a Delegada de Ano (Margarida Vilela) para combinarem o horário das sessões de dúvidas a fixar na primeira aula teórica.


As aulas teóricas iniciam-se na terça-feira 14 de Fevereiro.
  As aulas práticas iniciam-se na quinta-feira 16 de Fevereiro.


Votos de bom trabalho.


Amílcar Sernadas

Cristina Sernadas