Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Jerzy Pogonowski - Metalogika - Uniwersytet Opolski

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 21:58, 7 lis 2009 (edytuj)
Pogonowski (Dyskusja | wkład)
(Prezentacje i dodatki)
← Poprzednia edycja
Wersja z dnia 22:01, 7 lis 2009 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Prezentacje i dodatki)
Następna edycja →
Linia 47: Linia 47:
* [[Media: metalogikaopolesyll.pdf | ''Dodatek 11.'' Uogólnione kwantyfikatory a sylogistyka.]] * [[Media: metalogikaopolesyll.pdf | ''Dodatek 11.'' Uogólnione kwantyfikatory a sylogistyka.]]
* [[Media: churchtrakhtenbrot.pdf | ''Dodatek 12.'' Stephen Simpson: Theorems of Church and Trakhtenbrot.]] * [[Media: churchtrakhtenbrot.pdf | ''Dodatek 12.'' Stephen Simpson: Theorems of Church and Trakhtenbrot.]]
-* [[Media: vaananen02.pdf | ''Dodatek 13.'' Jouko Vaananen: A Short Course on Finite Model Theory.]]+* [[Media: vaananen02.pdf | ''Dodatek 13.'' Jouko Väänänen: A Short Course on Finite Model Theory.]]
-* [[Media: vaananen01.pdf | ''Dodatek 14.'' Jouko Vaananen: Generalized Quantifiers.]]+* [[Media: vaananen01.pdf | ''Dodatek 14.'' Jouko Väänänen: Generalized Quantifiers.]]
* [[Media: montagueptq.pdf | ''Dodatek 15.'' Richard Montague: The Proper Treatment of Quantification in Ordinary English.]] * [[Media: montagueptq.pdf | ''Dodatek 15.'' Richard Montague: The Proper Treatment of Quantification in Ordinary English.]]

Wersja z dnia 22:01, 7 lis 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 106 Collegium Civitas, Opole, ul. Katowicka 89.

Prezentacje i dodatki

  • 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. 8XII2009, 10:00-11:30.
  • Metalogika 9. Twierdzenia: Rossera, Tarskiego, Löba. 8XII2009, 14:15-15:45.

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: