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:05, 22 wrz 2009 (edytuj)
Pogonowski (Dyskusja | wkład)
(Informacje pomocnicze)
← Poprzednia edycja
Wersja z dnia 07:10, 29 wrz 2009 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Metalogika (Uniwersytet Opolski))
Następna edycja →
Linia 16: Linia 16:
Dzięki uprzejmości Instytutu Filozofii Uniwersytetu Dzięki uprzejmości Instytutu Filozofii Uniwersytetu
Opolskiego Jerzy Pogonowski wygłosi dla Opolskiego Jerzy Pogonowski wygłosi dla
-doktorantów tego Instytutu cykl wykładów '''Metalogika'''.+doktorantów oraz studentów tego Instytutu cykl wykładów '''Metalogika'''.
-* [[Media: metalogikatresc.pdf | Spis treści wykładów.]]+* [[Media: metalogikaplan.pdf | Plan wykładów.]]
==Prezentacje== ==Prezentacje==
-* [[Media: dwaparadygmaty.pdf | Dwa paradygmaty metalogiki. Wprowadzenie do wykładów 1-7.]]+* [[Media: dwaparadygmaty.pdf | Dwa paradygmaty metalogiki. Materiały pomocnicze do wykładów 2-5.]]
-* [[Media: metalogikaopole00.pdf | Metalogika - wstęp (historyczny).]]+* [[Media: metalogikaopole00.pdf | Metalogika - wstęp (historyczny).]] 13X2009, 10:00-11:30.
 +* Metalogika - preliminaria algebraiczne. 13X2009, 14:15-15:45.
==Informacje pomocnicze== ==Informacje pomocnicze==

Wersja z dnia 07:10, 29 wrz 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.

Prezentacje

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), w szczególności, że znane im są: semantyka KRZ i KRP, metoda aksjomatyczna w KRZ i KRP, metoda założeniowa w KRZ i 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: