Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 20:45, 22 lis 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Dodatki) ← Poprzednia edycja |
Wersja z dnia 21:02, 22 lis 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Dodatki) Następna edycja → |
||
| Linia 67: | Linia 67: | ||
| * [[Media: kolodziejczyk.pdf | ''Dodatek 29.'' Piotr Kołodziejczyk: Obliczanie, semantyka, superweniencja.]] | * [[Media: kolodziejczyk.pdf | ''Dodatek 29.'' Piotr Kołodziejczyk: Obliczanie, semantyka, superweniencja.]] | ||
| * [[Media: openproblems.pdf | ''Dodatek 30.'' Ted Slaman: Questions in Recursion Theory (1997).]] | * [[Media: openproblems.pdf | ''Dodatek 30.'' Ted Slaman: Questions in Recursion Theory (1997).]] | ||
| + | * [http://www.youtube.com/watch?v=7XfA5EhH7Bc&feature=related ''Dodatek 31.'' Yuri Gurevich: The Church-Turing Thesis: Story and Recent Progress.] | ||
| + | * [http://www.youtube.com/watch?v=nxiObVwQ8MM&feature=related ''Dodatek 32.'' Richard Buckland: A simple recursive function.] | ||
| + | * [http://www.youtube.com/watch?v=jq0ELhpKevY&feature=related ''Dodatek 33.'' The Turing Test.] | ||
| + | *[http://www.youtube.com/watch?v=Iv0OLo_-O98&feature=related ''Dodatek 34.'' Learning Recursion with the Towers of Hanoi.] | ||
| + | *[http://www.youtube.com/watch?v=eUXgfnC9Tao&feature=related ''Dodatek 35.'' Little Turing Machine.] | ||
| + | *[http://www.youtube.com/watch?v=cYw2ewoO6c4&feature=fvw ''Dodatek 36.'' The LEGO Turing Machine.] | ||
| ==Informacje pomocnicze== | ==Informacje pomocnicze== | ||
Wersja z dnia 21:02, 22 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 106 Collegium Civitas, Opole, ul. Katowicka 89.
Prezentacje
- Metalogika 0. Wstęp (historyczny). 13X2009, 10:00-11:30.
- Metalogika 1. Preliminaria algebraiczne. 13X2009, 14:15-15:45.
- Metalogika 2. Powtórka z Elementarza. 27X2009, 10:00-11:30.
- Metalogika 3. Ogólne operacje konsekwencji. 27X2009, 14:15-15:45.
- Metalogika 4. Logiki abstrakcyjne. Przykłady. 10XI2009, 10:00-11:30.
- Metalogika 5. Twierdzenia Lindströma. 10XI2009, 14:15-15:45.
- Metalogika 6. Funkcje rekurencyjne. 24XI2009, 10:00-11:30.
- Metalogika 7. Reprezentowalność w PA. Arytmetyzacja składni. 24XI2009, 14:15-15:45.
- Metalogika 8. Twierdzenia Gödla. 8XII2009, 10:00-11:30.
- Metalogika 9. Twierdzenia: Rossera, Tarskiego, Löba. 8XII2009, 14:15-15:45.
Dodatki
- Dodatek 0. Alasdair Urquhart: Metatheory.
- Dodatek 1. Dwa paradygmaty metalogiki. Materiały pomocnicze do wykładów 2-5.
- Dodatek 2. Dowody niektórych twierdzeń o operacjach konsekwencji.
- Dodatek 3. Katarzyna Budzyńska: Czy logika formalna opisuje dedukcyjne argumentacje?
- Dodatek 4. Andrzej Indrzejczak: Rozumowanie, argumentacja, dowód.
- Dodatek 5. Robert Goldblatt: Mathematical modal logic: a view of its evolution.
- Dodatek 6. Andrzej Wiśniewski: Wybrane modalne rachunki zdań. Ujęcie aksjomatyczne.
- Dodatek 7. Andrzej Wiśniewski: Semantyka relacyjna dla normalnych modalnych rachunków zdań.
- Dodatek 8. Raymond Smullyan: Lustrzana logika.
- Dodatek 9. Przypomnienie: drobinka semantyki KRP.
- Dodatek 10. Uogólnione kwantyfikatory a języki etniczne.
- Dodatek 11. Uogólnione kwantyfikatory a sylogistyka.
- Dodatek 12. Stephen Simpson: Theorems of Church and Trakhtenbrot.
- Dodatek 13. Jouko Väänänen: A Short Course on Finite Model Theory.
- Dodatek 14. Jouko Väänänen: Generalized Quantifiers.
- Dodatek 15. Richard Montague: The Proper Treatment of Quantification in Ordinary English.
- Dodatek 16. Dag Westerståhl: Generalized Quantifiers.
- Dodatek 17. John L. Bell: Infinitary Logic.
- Dodatek 18. Projekt logiki infinitarnej Ernsta Zermela.
- Dodatek 19. Andrzej Grzegorczyk: Some classes of recursive functions.
- Dodatek 20. Barbara Klunder: Podstawy Teorii Obliczalności.
- Dodatek 21. Zdzisław Spławski: Programowanie funkcyjne. Wykład 12. Funkcje rekurencyjne i rachunek lambda.
- Dodatek 22. Marcin Szczuka: Modele Obliczeń. Wykład 3. Maszyny RAM i Funkcje Rekurencyjne.
- Dodatek 23. Qinglei Zhang: Ackermann's Function.
- Dodatek 24. Paweł Pilarczyk: Funkcja Ackermanna.
- Dodatek 25. R. Gregory Taylor: Ackermann's Function Is Not Primitive Recursive.
- Dodatek 26. Walter Gottschalk: The Ackermann Number Explosion.
- Dodatek 27. Roland Lieger, Johann Blieberger: The Ackermann-Function Effort in Space and Time.
- Dodatek 28. Witold Marciszewski: Człowiek - twór Wszechświata i jego współtwórca.
- Dodatek 29. Piotr Kołodziejczyk: Obliczanie, semantyka, superweniencja.
- Dodatek 30. Ted Slaman: Questions in Recursion Theory (1997).
- Dodatek 31. Yuri Gurevich: The Church-Turing Thesis: Story and Recent Progress.
- Dodatek 32. Richard Buckland: A simple recursive function.
- Dodatek 33. The Turing Test.
- Dodatek 34. Learning Recursion with the Towers of Hanoi.
- Dodatek 35. Little Turing Machine.
- Dodatek 36. The LEGO Turing Machine.
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:
