Met
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 11:06, 27 sie 2020 (edytuj) Pogonowski (Dyskusja | wkład) (→Eseje 2018/2019) ← Poprzednia edycja |
Wersja z dnia 20:09, 17 lis 2020 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Metalogika) Następna edycja → |
||
| Linia 17: | Linia 17: | ||
| Semestr zimowy 2018-2019, [[Media: oferta.pdf | '''Metalogika''']]. | Semestr zimowy 2018-2019, [[Media: oferta.pdf | '''Metalogika''']]. | ||
| - | Wtorek, 15:00-16:30, sala 305. | + | Wtorek, 15:00-16:30, sala 305. [W roku ak. 2020-2021 MS Teams]. |
| Syllabus dostępny jest [[Media: 08_KODM_MET2018.pdf |'''tutaj''']] (zawiera propozycje tematów esejów zaliczeniowych). | Syllabus dostępny jest [[Media: 08_KODM_MET2018.pdf |'''tutaj''']] (zawiera propozycje tematów esejów zaliczeniowych). | ||
Wersja z dnia 20:09, 17 lis 2020
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Metalogika
Wykład fakultatywny, kognitywistyka UAM.
Semestr zimowy 2018-2019, Metalogika.
Wtorek, 15:00-16:30, sala 305. [W roku ak. 2020-2021 MS Teams].
Syllabus dostępny jest tutaj (zawiera propozycje tematów esejów zaliczeniowych).
Prezentacje
Tematy esejów zaliczeniowych
Eseje 2018/2019
- Test Turinga
- Co to znaczy rozumieć
- Inner cross-relations of Curry-Howard isomorphism
- Intuicje filozoficzne związane z powstaniem logiki trójwartościowej Jana Łukasiewicza
- Paradoks Banacha-Tarskiego
- Zarys i problemy trójwartościowej logiki Łukasiewicza Ł3
- Implementacja formalizmów logicznych do programów komputerowych oraz weryfikacja poprawności działania systemów za pomocą metod logicznych
- Test Turinga – czym jest i jakie są jego wady?
- Czy test Turinga jest dobrym narzędziem do rozpoznawania silnej sztucznej inteligencji?
- Test Turinga – charakterystyka
- Zeno’s paradoxes and the birth of supertasks
- Krótkie wprowadzenie do trzech wybranych systemów logik nieklasycznych
- Czy metafora na zawsze jest metaforą? O trudności w odróżnianiu wyrażeń metaforycznych od dosłownych
- Przegląd wybranych kierunków w filozofii matematyki z przełomu XIX/XX wieku
- Metody usuwania antynomii logicznych
- Wybrane fragmenty z historii logiki temporalnej
- Test Turinga, czyli o inteligencji maszyn
