Anúncios

Pauta final após revisão de provas

28 Julho 2022, 12:35 Carlos Caleiro

Ver pauta


Boas férias!


Resultados das repescagens

27 Julho 2022, 21:14 Carlos Caleiro

Ver pauta


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


Repescagens e revisão de provas

22 Julho 2022, 17:05 Carlos Caleiro

Enunciados e resoluções

Os resultados das repescagens serão disponibilizados com a brevidade possível. 
A respectiva revisão de provas realizar-se-á na 5ª-feira 28 julho, pelas 11:00, na sala de dúvidas do Departamento de Matemática.

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


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


Resultados do quinto MAP

28 Junho 2022, 20:50 Carlos Caleiro

Enunciado e resolução

Pauta

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