Repescagens

4 julho 2022, 19:28 • Carlos Caleiro

ORGANIZAÇÃO


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:

  • 13:00-13:30 Repescagem do MAP1
  • 13:35-14:05 Repescagem do MAP2
  • 14:10-14:40 Repescagem do MAP3
  • 14:45-15:15 Repescagem do MAP4
  • 15:20-15:50 Repescagem do MAP5

CONTEÚDOS

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.

Vale a pena reforçar que se mantêm activos os horários de esclarecimento de dúvidas à 3ª-feira pelas 11h.

INSCRIÇÃO

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).