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 07:10, 29 wrz 2009 (edytuj)
Pogonowski (Dyskusja | wkład)
(Metalogika (Uniwersytet Opolski))
← Poprzednia edycja
Wersja z dnia 07:12, 29 wrz 2009 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Informacje pomocnicze)
Następna edycja →
Linia 33: Linia 33:
słuchacze mają za sobą elementarny kurs logiki, słuchacze mają za sobą elementarny kurs logiki,
obejmujący Klasyczny Rachunek Zdań (KRZ) oraz Klasyczny obejmujący Klasyczny Rachunek Zdań (KRZ) oraz Klasyczny
-Rachunek Predykatów (KRP), w szczególności, że znane im+Rachunek Predykatów (KRP). Preliminaria logiczne i matematyczne znaleźć można np. w wykładach:
-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: +
* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Matematyczna Jerzy Pogonowski: Logika Matematyczna] * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Matematyczna Jerzy Pogonowski: Logika Matematyczna]

Wersja z dnia 07:12, 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). 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: