Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
Wersja z dnia 12:09, 27 gru 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Dodatki) ← Poprzednia edycja |
Wersja z dnia 12:12, 27 gru 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Do wykładów 12-13) Następna edycja → |
||
Linia 385: | Linia 385: | ||
* [[Media: jandenef.pdf | Jan Denef: Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields.]] | * [[Media: jandenef.pdf | Jan Denef: Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields.]] | ||
- | * [[Media: louvandendriesmtf.pdf | Lou van den Dries: Classical Model Theory of Fields.]] | + | * [[Media: louvandendriescmtf.pdf | Lou van den Dries: Classical Model Theory of Fields.]] |
* [[Media: fefermanharmonious.pdf | Solomon Feferman: Harmonious Logic: Craig's Interpolation Theorem and its Descendants.]] | * [[Media: fefermanharmonious.pdf | Solomon Feferman: Harmonious Logic: Craig's Interpolation Theorem and its Descendants.]] | ||
Linia 391: | Linia 391: | ||
* [[Media: braddhartstability.pdf | Bradd Hart: Stability Theory and its Variants.]] | * [[Media: braddhartstability.pdf | Bradd Hart: Stability Theory and its Variants.]] | ||
- | * [[Media: denishirschfeldt.pdf | Denis R. Hirschfeldt: Reverse Mathematics of Model Theory.]] | + | * [[Media: denisrhirschfeldt.pdf | Denis R. Hirschfeldt: Reverse Mathematics of Model Theory.]] |
* [[Media: amtandot.pdf | Denis R. Hirschfeldt, Richard A. Shore, Theodore A. Slaman: The Atomic Model Theorem and Type Omitting.]] | * [[Media: amtandot.pdf | Denis R. Hirschfeldt, Richard A. Shore, Theodore A. Slaman: The Atomic Model Theorem and Type Omitting.]] |
Wersja z dnia 12:12, 27 gru 2009
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 0. Wstęp (historyczny). 13X2009, 10:00-11:30.
- Metalogika 1. Preliminaria algebraiczne. 13X2009, 14:15-15:45.
- Metalogika 2. Powtórka z Elementarza: dedukcja naturalna. 27X2009, 10:00-11:30.
- Metalogika 3. Ogólne operacje konsekwencji. 27X2009, 14:15-15:45.
- Metalogika 4. Logiki abstrakcyjne. Przykłady. 10XI2009, 10:00-11:30.
- Metalogika 5. Twierdzenia Lindströma. 10XI2009, 14:15-15:45.
- Metalogika 6. Funkcje rekurencyjne. 24XI2009, 10:00-11:30.
- Metalogika 7. Reprezentowalność w PA. Arytmetyzacja składni. 24XI2009, 14:15-15:45.
- Metalogika 8. Twierdzenia: Gödla, Rossera, Löba, Tarskiego. 8XII2009, 10:00-11:30.
- Metalogika 9. Teorie rozstrzygalne i teorie nierozstrzygalne. Twierdzenie Churcha. 8XII2009, 14:15-15:45.
- Metalogika 10. Tablice analityczne. 5I2010, 10:00-11:30.
- Metalogika 11. Inne metody dowodowe: formalizm Gentzena, metoda rezolucji. 5I2010, 14:15-15:45.
- Metalogika 12. Klasyczna teoria modeli. 19I2010, 10:00-11:30.
- Metalogika 13. Współczesna teoria modeli. 19I2010, 14:15-15:45.
- Metalogika 14. Metalogika a teoria mnogości. 2II2010, 10:00-11:30.
Dodatki
Do wykładów 0-3
Do wykładów 4-5
Do wykładów 6-7
Do wykładów 8-9
Do wykładów 10-11
Do wykładów 12-13
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:
Znakomitym wstępem algebraicznym jest monografia:
Pomoce dydaktyczne z logiki matematycznej (zarówno polskie jak i obcojęzyczne) dostępne są na naszej stronie odnośników: