Sumários
T_19
17 Dezembro 2021, 09:30 • Mário Jorge Edmundo
Alguns meta-teoremas: teorema de completude de Godel; aritmética de Robinson, aritmética de Peano e aritmética; decidibilidade e semi-decidibilidade; teorias e decidibilidade; teorema de incompletude de Godel e teorema de indecidibilidade de Church; aritmética de Skolem, aritmética de Presburger e aritmética sem multiplicação; teorema de Presburger (consistência, completude e decidibilidade).
teste de avaliação
16 Dezembro 2021, 10:30 • Maria João Antunes Dias Gouveia
Realização do 1º teste de avaliação