Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
| Wersja z dnia 20:57, 22 wrz 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Metalogika (Uniwersytet Opolski)) ← Poprzednia edycja |
Wersja z dnia 21:00, 22 wrz 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Informacje pomocnicze) Następna edycja → |
||
| Linia 29: | Linia 29: | ||
| Wszystkie pojęcia matematyczne wykorzystywane w wykładach | Wszystkie pojęcia matematyczne wykorzystywane w wykładach | ||
| - | zostaną objaśnione w ''Preliminariach''. Zakłada się, że | + | będą objaśniane na bieżąco. Zakłada się, że |
| - | słuchacze będą mieli 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), w szczególności, że znane im | ||
Wersja z dnia 21:00, 22 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 ma możliwość wygłoszenia dla doktorantów tego Instytutu cyklu 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 będą: 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:
