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 14:58, 30 lis 2009 (edytuj)
Pogonowski (Dyskusja | wkład)
(Do wykładów 8-9)
← Poprzednia edycja
Wersja z dnia 15:01, 30 lis 2009 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Do wykładów 6-7)
Następna edycja →
Linia 157: Linia 157:
* [[Media: michaelbeesonmom.pdf | Michael Beeson: The Mechanization of Mathematics. (Tekst.)]] * [[Media: michaelbeesonmom.pdf | Michael Beeson: The Mechanization of Mathematics. (Tekst.)]]
-* [[Media: miljenoviclambda.pdf | Ivan Lazar Miljenovic: Functions all the way down! Lambda Calculus and Curch Encoding.]]+* [[Media: miljenoviclambda.pdf | Ivan Lazar Miljenovic: Functions all the way down! Lambda Calculus and Church Encoding.]]
* [[Media: penrosewiz.pdf | Roger Penrose: Kto skonstruuje myślącą istotę, będzie miał wszystkie prawa i obowiązki Boga.]] * [[Media: penrosewiz.pdf | Roger Penrose: Kto skonstruuje myślącą istotę, będzie miał wszystkie prawa i obowiązki Boga.]]

Wersja z dnia 15:01, 30 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 327 Collegium Civitas, Opole, ul. Katowicka 89.

Prezentacje

  • Metalogika 8. Twierdzenia: Gödla, Rossera, Löba, Tarskiego. 8XII2009, 10:00-11:30.
  • Metalogika 9. Teorie rozstrzygalne i nierozstrzygalne. Twierdzenie Churcha. 8XII2009, 14:15-15:45.
  • Metalogika 10. Tablice analityczne. 5I2010, 10:00-11:30.
  • Metalogika 11. Formalizm Gentzena. 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

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: