Jerzy Pogonowski - Posługa dydaktyczna
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 13:02, 27 lut 2008 (edytuj) Pogonowski (Dyskusja | wkład) (→Logika Matematyczna (2007-2008, I JiNoI)) ← Poprzednia edycja |
Wersja z dnia 13:05, 27 lut 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Materiały dydaktyczne 2007-2008) Następna edycja → |
||
| Linia 31: | Linia 31: | ||
| * [[Media: logmat24x2007.pdf | Zadania dot. semantyki KRZ. ]]<br>24 października 2007. Samodzielna praca studentów. | * [[Media: logmat24x2007.pdf | Zadania dot. semantyki KRZ. ]]<br>24 października 2007. Samodzielna praca studentów. | ||
| * [[Media: logmat8xi2007.pdf | Semantyka KRZ: postacie normalne formuł. ]] 8 listopada 2007. | * [[Media: logmat8xi2007.pdf | Semantyka KRZ: postacie normalne formuł. ]] 8 listopada 2007. | ||
| - | * [[Media: logmatdod01.pdf | Dodatek 1. Dowody niektórych twierdzeń dot. semantyki KRZ. ]] | ||
| * [[Media: logmat15xi2007.pdf | Aksjomatyczne ujęcie KRZ. ]] 15, 22 i 29 listopada 2007. | * [[Media: logmat15xi2007.pdf | Aksjomatyczne ujęcie KRZ. ]] 15, 22 i 29 listopada 2007. | ||
| + | * [[Media: logmat6xii2007.pdf | Dowody założeniowe w KRZ. ]] 6 i 13 grudnia 2007. | ||
| + | * [[Media: logmat20xii2007.pdf | Dowody rezolucyjne w KRZ. ]] 20 grudnia 2007. | ||
| + | * [[Media: logmat03012008.pdf | Tablice analityczne dla KRZ. ]] 3, 10 stycznia 2008. | ||
| + | |||
| + | * [[Media: logmatdod01.pdf | Dodatek 1. Dowody niektórych twierdzeń dot. semantyki KRZ. ]] | ||
| * [[Media: logmatdod02.pdf | Dodatek 2. Trafność i pełność metody aksjomatycznej w KRZ. ]] | * [[Media: logmatdod02.pdf | Dodatek 2. Trafność i pełność metody aksjomatycznej w KRZ. ]] | ||
| * [[Media: logmatdod03.pdf | Dodatek 3. Twierdzenia o operacjach konsekwencji. ]] | * [[Media: logmatdod03.pdf | Dodatek 3. Twierdzenia o operacjach konsekwencji. ]] | ||
| - | * [[Media: logmat6xii2007.pdf | Dowody założeniowe w KRZ. ]] 6 i 13 grudnia 2007. | ||
| * [[Media: logmatdod04.pdf | Dodatek 4. Równoważność aksjomatycznego i założeniowego systemu KRZ. ]] | * [[Media: logmatdod04.pdf | Dodatek 4. Równoważność aksjomatycznego i założeniowego systemu KRZ. ]] | ||
| * [[Media: tezyreguly.pdf | Dodatek 5. Lista tez i reguł wyprowadzonych na wykładach 8-9. ]] | * [[Media: tezyreguly.pdf | Dodatek 5. Lista tez i reguł wyprowadzonych na wykładach 8-9. ]] | ||
| - | * [[Media: logmat20xii2007.pdf | Dowody rezolucyjne w KRZ. ]] 20 grudnia 2007. | ||
| * [[Media: rezolkrz.pdf | Dodatek 6. Trafność i pełność metody rezolucji w KRZ. ]] | * [[Media: rezolkrz.pdf | Dodatek 6. Trafność i pełność metody rezolucji w KRZ. ]] | ||
| - | * [[Media: logmat03012008.pdf | Tablice analityczne dla KRZ. ]] 3, 10 stycznia 2008. | ||
| * [[Media: tabkrz.pdf | Dodatek 7. Trafność i pełność metody tablic analitycznych dla KRZ. ]] | * [[Media: tabkrz.pdf | Dodatek 7. Trafność i pełność metody tablic analitycznych dla KRZ. ]] | ||
| * [[Media: logmatdod06.pdf | Dodatek 8. O regule rezolucji i "Metodzie Drzew" u Lewisa Carrolla. ]] | * [[Media: logmatdod06.pdf | Dodatek 8. O regule rezolucji i "Metodzie Drzew" u Lewisa Carrolla. ]] | ||
Wersja z dnia 13:05, 27 lut 2008
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Spis treści |
Aktualności
Terminy zajęć w semestrze letnim
- Logika Matematyczna: czwartek 13:30-15:00, CN 202B
- Funkcje Rekurencyjne: piątek 8:15-9:45, CN 323B
- Logika: środa 17:00-18:30, CN 202B
- Logika: piątek 10:00-11:30, CN 203B
- Dyżur: piątek 11:45-12:45, CN 316B
Materiały dydaktyczne 2007-2008
Logika Matematyczna (2007-2008, I JiNoI)
Semestr zimowy
- Wprowadzenie. 4 października 2007.
- Semantyka KRZ: tautologie, wynikanie logiczne, reguły niezawodne, itd.
11 i 18 października 2007. - Zadania dot. semantyki KRZ.
24 października 2007. Samodzielna praca studentów. - Semantyka KRZ: postacie normalne formuł. 8 listopada 2007.
- Aksjomatyczne ujęcie KRZ. 15, 22 i 29 listopada 2007.
- Dowody założeniowe w KRZ. 6 i 13 grudnia 2007.
- Dowody rezolucyjne w KRZ. 20 grudnia 2007.
- Tablice analityczne dla KRZ. 3, 10 stycznia 2008.
- Dodatek 1. Dowody niektórych twierdzeń dot. semantyki KRZ.
- Dodatek 2. Trafność i pełność metody aksjomatycznej w KRZ.
- Dodatek 3. Twierdzenia o operacjach konsekwencji.
- Dodatek 4. Równoważność aksjomatycznego i założeniowego systemu KRZ.
- Dodatek 5. Lista tez i reguł wyprowadzonych na wykładach 8-9.
- Dodatek 6. Trafność i pełność metody rezolucji w KRZ.
- Dodatek 7. Trafność i pełność metody tablic analitycznych dla KRZ.
- Dodatek 8. O regule rezolucji i "Metodzie Drzew" u Lewisa Carrolla.
- Dodatek 9. Informacja o rachunku sekwentów Gentzena dla KRZ.
Semestr letni
- Tablice analityczne dla KRP.
- Aksjomatyczne ujęcie KRP.
- Dowody założeniowe w KRP.
- Unifikacja i rezolucja w KRP.
- Informacja o rachunku sekwentów Gentzena dla KRP.
Funkcje rekurencyjne (2008, III JiIN)
- Intuicje dotyczące obliczania.
- Pojęcie nieskończoności - różne definicje.
- Nieskończona złożoność strukturalna - fraktale.
- Maszyny Turinga.
- Funkcje rekurencyjne - definicja i podstawowe własności.
- Zbiory i relacje rekurencyjnie przeliczalne.
- Reprezentowalność funkcji rekurencyjnych w Arytmetyce Peana.
- Arytmetyzacja składni.
- Twierdzenia Gödla.
- Dodatek 1. Maszyny logiczne Smullyana.
- Dodatek 2. O rachunku kombinatorów.
- Dodatek 3. Konsekwencje Bereszit 2:16.
Logika Radosna (2008, Etnolingwistyka II)
- Czym jest logika? Powtórka z semestru zimowego.
- Dowody założeniowe w KRZ.
- Tablice analityczne dla KRZ.
- Semantyka KRP.
- Tablice analityczne dla KRP.
- Wiadomości spoza Elementarza Logicznego.
Semiotyka Logiczna (2007, IV JiIN)
- Wprowadzenie. 4 października 2007.
- Wspominki z kursu logiki. 11 października 2007.
- Antynomie, paradoksy, sofizmaty. 18 października, 8 listopada 2007.
- Argumentacja. 15 listopada 2007.
- Wnioskowania indukcyjne. 22 listopada 2007.
- Uczciwe chwyty w argumentacji. 29 listopada 2007.
- Nieuczciwe chwyty w argumentacji. 6 grudnia 2007.
- Dodatek 1. Linki do stron o: critical thinking, fallacies, informal logic.
- Dodatek 2. Zalecenia Subtelnego Gdańszczanina.
- Perswazja. 13 grudnia 2007.
- Manipulacja. 20 grudnia 2007.
- Uogólnione kwantyfikatory. 3, 10 stycznia 2008.
- Dodatek 3. Uogólnione kwantyfikatory a sylogistyka.
- O logice epistemicznej. 17 stycznia 2008.
- Systemy przekonań. 24 stycznia 2008.
- Dowodliwość a prawdziwość. Minijęzyk Smullyana. 32 stycznia 2008.
Metodologia Nauk (Naukoznawstwo, Etno V, zaoczna, 2007)
- Wykład 20 X 2007. Wprowadzenie do problematyki naukoznawstwa.
- Wykład 20 X 2007. Procedury poznawcze I:
algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe,
struktury relacyjne i izomorfizmy. - Wykład 20 X 2007. Zadania. Samodzielna praca studentów.
- Wykład 3 XI 2007. Procedury poznawcze II:
definicje, pytania i odpowiedzi, wnioskowania erotetyczne. - Wykład 3 XI 2007. Procedury poznawcze III:
uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne,
prawa nauk empirycznych, argumentacja, spór, dyskusja. - Wykład 3 XI 2007. Zadania. Samodzielna praca studentów.
- Wykład 17 XI 2007. Procedury poznawcze IV:
refleksja metateoretyczna - pojęcie teorii, własności teorii, arytmetyzacja składni,
systemy przekonań, samospełniające się przekonania, wybrane twierdzenia metalogiczne. - Wykład 17 XI 2007. Procedury poznawcze V:
granice poznania - refleksje nad pojęciami nieskończoności oraz złożoności strukturalnej,
ograniczenia poznawcze, przykłady pytań z pogranicza Nauki i Nieznanego, paranauka oraz pseudonauka.
Skrypt: Tablice Analityczne
- Preliminaria matematyczne i logiczne.
- Tablice analityczne dla KRZ.
- Tablice analityczne dla KRP.
- Dodatek: unifikacja i rezolucja.
Zajęcia planowane w roku akademickim 2007-2008
Archiwum
Logika - zadania egzaminacyjne (z rozwiązaniami)
- Językoznawstwo i informacja naukowa (2007).
- Językoznawstwo i informacja naukowa (2007): zestawy z zajęć przygotowujących do egzaminu.
- Językoznawstwo i informacja naukowa (2005).
- Językoznawstwo i informacja naukowa (2004).
- Koreanistyka (poprawkowy, 2004).
Logika - zadania archiwalne
- Zadania semestru zimowego 2000-2001 i zadania egzaminacyjne 2001.
- Zadania egzaminacyjne z Logiki Matematycznej, 2002.
- Zadania egzaminacyjne z Logiki, 2002.
Sylabusy do zajęć w roku akademickim 2006-2007
- Logika matematyczna
- Funkcje rekurencyjne
- O przekonaniach i przekonywaniu (wykład fakultatywny)
Proponowane tematy rozpraw magisterskich
- logiczna analiza modalności (zwłaszcza epistemicznych);
- argumentacja, perswazja, manipulacja;
- komunikacja społeczna: analiza logiczna;
- komparatystyka logiczna: logika Zachodu a refleksja logiczna Orientu;
- antynomie, paradoksy, sofizmaty;
- dowcip, humor, komizm: analiza logiczna i semiotyczna;
- etnologika jako dyscyplina bezprzedmiotowa (?);
- pojęcie racjonalności: analiza logiczna oraz etnologiczna;
- filozofia matematyki (np. poglądy dot. nieskończoności, refleksje dot. obliczalności);
- tworzenie (się) pojęć logicznych oraz metalogicznych.
