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