Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Jerzy Pogonowski - Metalogika - Uniwersytet Opolski

From Zakład Logiki Stosowanej

Spis treści

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line


Metalogika (Uniwersytet Opolski)

Dzięki uprzejmości Instytutu Filozofii Uniwersytetu Opolskiego Jerzy Pogonowski wygłosi dla doktorantów oraz studentów tego Instytutu cykl wykładów Metalogika. Wykłady będą odbywały się we wtorki (co dwa tygodnie), w sali 327 Collegium Civitas, Opole, ul. Katowicka 89.

Prezentacje

  • Metalogika 14. Metalogika a teoria mnogości. 2II2010, 10:00-11:30.

Dodatki

Uwaga. Dodatki nie były zbierane w żaden systematyczny sposób. Mają jedynie służyć słuchaczom w przybliżeniu różnorodności tematów, którymi zajmuje się współczesna metalogika.

Do wykładów 0-3: Ogólne operacje konsekwencji.

Do wykładów 4-5: Logiki abstrakcyjne.

Do wykładów 6-7: Funkcje rekurencyjne.

Do wykładów 8-9: Twierdzenia: Gödla, Rossera, Löba, Tarskiego, Churcha.

Do wykładów 10-11: Tablice analityczne, formalizm Gentzena, rezolucja.

Do wykładów 12-13: Teoria modeli.

Do wykładu 14: Metalogika a teoria mnogości.

Informacje pomocnicze

Wszystkie pojęcia matematyczne wykorzystywane w wykładach będą objaśniane na bieżąco. Zakłada się, że słuchacze mają za sobą elementarny kurs logiki, obejmujący Klasyczny Rachunek Zdań (KRZ) oraz Klasyczny Rachunek Predykatów (KRP). Preliminaria logiczne i matematyczne znaleźć można np. w wykładach:

Pomoce dydaktyczne z logiki matematycznej (zarówno polskie jak i obcojęzyczne) dostępne są na naszej stronie odnośników: