Boas férias!

Como anunciado previamente a revisão de provas realiza-se amanhã 28 julho pelas 11:00 na sala de dúvidas do DM.

As notas serão oficiais ainda durante o dia de amanhã.

As classificações finais da disciplina serão lançadas no fenix no mesmo dia.

As repescagens dos MAPs realizar-se-ão na 6ª-feira, 22 de julho, a partir das 13h, no seguinte formato, e sempre na sala PA1:

Cada repescagem incidirá precisamente sobre a mesma matéria já coberta em avaliação contínua nos respectivos MAPs, cujos enunciados e resoluções estão disponíveis nesta página. Em detalhe:

• MAP1 - Lógica clássica proposicional
• MAP2 - Lógica clássica de primeira ordem, semântica, sistema dedutivo e sua correcção
• MAP3 - Lógica clássica de primeira ordem, completude e compacidade
• MAP4 - Teorias de primeira ordem, suas propriedades computacionais e teorias da aritmética
• MAP5 - Representabilidade em teorias da aritmética, primeiro teorema de incompletude
  

Para facilitar o estudo, em referência aos livros de apoio constantes da bibliografia, a matéria é mais facilmente repartida em Capítulos de acordo com o texto (SerSer - Foundations of Logic and Theory of Computation), com excepção do MAP1, para o qual se aconselham o capítulo inicial de (Mendelson - Introduction to Mathematical Logic) e/ou (CorLas - Mathematical Logic I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems), todos eles contendo listas de exercícios. 

• MAP1 - (Mendelson, Cap. 1) e (CorLas, Cap. 1)
• MAP2 - (SerSer, Caps. 4, 5, 7) e também (Mendelson, Cap. 2) e (CorLas, Caps. 3, 4)
• MAP3 - (SerSer, Caps. 8, 10) e também (Mendelson, Cap. 2) e (CorLas, Caps. 3, 4)
• MAP4 - (SerSer, Caps. 3, 6, 11) e também (Mendelson, Cap. 3 e 5) e (CorLas, Caps. 5, 6)
• MAP5 - (SerSer, Caps. 12, 13) e também (Mendelson, Cap. 3 e 5) e (CorLas, Caps. 5, 6)
  

O texto (SerSer) foi todo essencialmente coberto nas aulas, com excepção dos Caps. 9 e 15. Os outros textos têm organizações diferentes, e abordam tópicos que não foram cobertos na disciplina, pelo que convém cruzar esta informação com os sumários das aulas.

Para organizar as repescagens é importante que todos os alunos que desejam fazer repescagens se inscrevam, indicando quais os MAPs que pretendem repescar (e cuja nota substitui, caso seja melhor, a que foi obtida anteriormente no respectivo MAP). 

A inscrição faz-se até às 23:59 de terça-feira, 19 de julho, a partir do link go, após acesso ao formulário com login do fenix (após activar o respectivo serviço GSuite em https://selfservice.dsi.tecnico.ulisboa.pt).

Pauta

A revisão dos MAPs 4 e 5 realizar-se-á no dia 6 julho, 14h, na sala de dúvidas do DM.