Site programming by Marcin Junczys-Dowmunt



 
 
 
Artykuł
dyskusja
Edytuj
Historia
W innych językach: English | Deutsch

Jerzy Pogonowski - Posługa dydaktyczna

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 09:20, 20 mar 2008 (edytuj)
Pogonowski (Dyskusja | wkład)
(→Logika Matematyczna (2007-2008, I JiNoI))
← Poprzednia edycja		 Wersja z dnia 09:28, 20 mar 2008 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)

Następna edycja →
Linia 25: Linia 25:
===Logika Matematyczna (2007-2008, I JiNoI)=== ===Logika Matematyczna (2007-2008, I JiNoI)===
-[http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Matematyczna Logika Matematyczna]+* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Matematyczna Logika Matematyczna]
- +
-'''Semestr zimowy'''+
- +
-* [[Media: logmat4x2007.pdf | Wprowadzenie. ]] 4 października 2007.+
-* [[Media: logmat11x2007.pdf | Semantyka KRZ (1). ]] 11 i 18 października 2007.+
-* [[Media: logmat24x2007.pdf | Semantyka KRZ (2). Zadania. ]] 24 października 2007. +
-* [[Media: logmat8xi2007.pdf | Semantyka KRZ (3). ]] 8 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: logmatdod03.pdf | Dodatek 3. Twierdzenia o operacjach konsekwencji. ]]+
-* [[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: rezolkrz.pdf | Dodatek 6. Trafność i pełność metody rezolucji w 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: genkrz.pdf | Dodatek 9. Informacja o rachunku sekwentów Gentzena dla KRZ. ]]+
- +
-'''Semestr letni'''+
- +
-* [[Media: logmat21022008.pdf | Semantyka KRP (1). ]] 21 lutego 2008.+
-* [[Media: logmat28022008.pdf | Semantyka KRP (2). ]] 28 lutego 2008.+
-* [[Media: logmat06032008.pdf | Semantyka KRP (3). Zadania.]] 6 marca 2008.+
- +
-* 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)=== ===Funkcje rekurencyjne (2008, III JiIN)===
-* [[Media: frintobl.pdf | Intuicje dotyczące obliczania. ]]+* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Funkcje_Rekurencyjne Funkcje Rekurencyjne]
-* [[Media: frdefinf.pdf | Pojęcie nieskończoności - różne definicje. ]]+
-* [[Media: frfract.pdf | Nieskończona złożoność strukturalna - fraktale. ]]+
-* [[Media: frturing.pdf | Maszyny Turinga. ]]+
-* [[Media: frfunrek.pdf | Funkcje rekurencyjne - definicja i podstawowe własności.]]+
-* [[Media: frreken.pdf | Zbiory i relacje rekurencyjnie przeliczalne. ]]+
-* [[Media: frhierar.pdf | Reprezentowalność funkcji rekurencyjnych w Arytmetyce Peana. ]]+
-* [[Media: frarsyn.pdf | Arytmetyzacja składni. ]]+
-* [[Media: frtwgod.pdf | Twierdzenia Gödla. ]]+
-* [[Media: smullmach.pdf | Dodatek 1. Maszyny logiczne Smullyana. ]]+
-* [[Media: drzakop2007.pdf | Dodatek 2. O rachunku kombinatorów. ]] +
-* [[Media: mds.zip | Dodatek 3. Konsekwencje Bereszit 2:16. ]]+
===Logika Radosna (2008, Etnolingwistyka II)=== ===Logika Radosna (2008, Etnolingwistyka II)===
-* [[Media: logikaradosna01.pdf | Czym jest logika? Powtórka z semestru zimowego. ]]+* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Radosna Logika Radosna]
-* [[Media: logikaradosna02.pdf | 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)=== ===Semiotyka Logiczna (2007, IV JiIN)===
-* [[Media: semlog4x2007.pdf | Wprowadzenie. ]] 4 października 2007.+* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Semiotyka_Logiczna Semiotyka Logiczna]
-* [[Media: semlog11x2007.pdf | Wspominki z kursu logiki. ]] 11 października 2007.+
-* [[Media: semlog18x2007.pdf | Antynomie, paradoksy, sofizmaty. ]] 18 października, 8 listopada 2007.+
-* [[Media: semlog15xi2007.pdf | Argumentacja. ]] 15 listopada 2007.+
-* [[Media: semlog22xi2007.pdf | Wnioskowania indukcyjne. ]] 22 listopada 2007.+
-* [[Media: semlog29xi2007.pdf | Uczciwe chwyty w argumentacji. ]] 29 listopada 2007.+
-* [[Media: semlog6xii2007.pdf | Nieuczciwe chwyty w argumentacji. ]] 6 grudnia 2007.+
-* [[Media: semlogdod01.pdf | Dodatek 1. Linki do stron o: critical thinking, fallacies, informal logic. ]]+
-* [[Media: semlogdod02.pdf | Dodatek 2. Zalecenia Subtelnego Gdańszczanina. ]] +
-* [[Media: semlog13xii2007.pdf | Perswazja. ]] 13 grudnia 2007.+
-* [[Media: semlog20xii2007.pdf | Manipulacja. ]] 20 grudnia 2007.+
-* [[Media: semlog03012008.pdf | Uogólnione kwantyfikatory.]] 3, 10 stycznia 2008.+
-* [[Media: semlogdod03.pdf | Dodatek 3. Uogólnione kwantyfikatory a sylogistyka.]]+
-* [[Media: semlog17012008.pdf | O logice epistemicznej. ]] 17 stycznia 2008.+
-* [[Media: semlog24012008.pdf | Systemy przekonań. ]] 24 stycznia 2008.+
-* [[Media: semlog32012008.pdf | Dowodliwość a prawdziwość. Minijęzyk Smullyana. ]] 32 stycznia 2008.+
===Metodologia Nauk (Naukoznawstwo, Etno V, zaoczna, 2007)=== ===Metodologia Nauk (Naukoznawstwo, Etno V, zaoczna, 2007)===
-* [[Media: beam0.pdf | Wykład 20 X 2007. Wprowadzenie do problematyki naukoznawstwa. ]]+* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Metodologia_Nauk Metodologia Nauk]
-* [[Media: beam1.pdf | Wykład 20 X 2007. Procedury poznawcze I: ]] <br>algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe, <br>struktury relacyjne i izomorfizmy. +
-* [[Media: beamzad.pdf | Wykład 20 X 2007. Zadania. ]] Samodzielna praca studentów.+
-* [[Media: beam2.pdf | Wykład 3 XI 2007. Procedury poznawcze II: ]] <br>definicje, pytania i odpowiedzi, wnioskowania erotetyczne. +
-* [[Media: beam3.pdf | Wykład 3 XI 2007. Procedury poznawcze III: ]] <br>uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne, <br>prawa nauk empirycznych, argumentacja, spór, dyskusja. +
-* [[Media: beamzad2.pdf | Wykład 3 XI 2007. Zadania. ]] Samodzielna praca studentów.+
-* [[Media: beam4.pdf | Wykład 17 XI 2007. Procedury poznawcze IV: ]] <br>refleksja metateoretyczna - pojęcie teorii, własności teorii, arytmetyzacja składni, <br>systemy przekonań, samospełniające się przekonania, wybrane twierdzenia metalogiczne. +
-* [[Media: beam5.pdf | Wykład 17 XI 2007. Procedury poznawcze V: ]] <br>granice poznania - refleksje nad pojęciami nieskończoności oraz złożoności strukturalnej, <br>ograniczenia poznawcze, przykłady pytań z pogranicza Nauki i Nieznanego, paranauka oraz pseudonauka.+
==Skrypt: Tablice Analityczne== ==Skrypt: Tablice Analityczne==
-* [[Media: tabwstep.pdf | Preliminaria matematyczne i logiczne.]]+* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Tablice_Analityczne Tablice Analityczne]
-* [[Media: tabkrz.pdf | Tablice analityczne dla KRZ.]]+
-* [[Media: tabkrp.pdf | Tablice analityczne dla KRP.]]+
-* [[Media: tabdodrez.pdf | Dodatek: unifikacja i rezolucja.]]+
==Zajęcia planowane w roku akademickim 2007-2008== ==Zajęcia planowane w roku akademickim 2007-2008==
Linia 132: Linia 58:
=Archiwum= =Archiwum=
 +
 +* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Archiwum Archiwum]
==Logika - zadania egzaminacyjne (z rozwiązaniami)== ==Logika - zadania egzaminacyjne (z rozwiązaniami)==

Wersja z dnia 09:28, 20 mar 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)

Funkcje rekurencyjne (2008, III JiIN)

Logika Radosna (2008, Etnolingwistyka II)

Semiotyka Logiczna (2007, IV JiIN)

Metodologia Nauk (Naukoznawstwo, Etno V, zaoczna, 2007)

Skrypt: Tablice Analityczne

Zajęcia planowane w roku akademickim 2007-2008

Archiwum

Logika - zadania egzaminacyjne (z rozwiązaniami)

Logika - zadania archiwalne

Sylabusy do zajęć w roku akademickim 2006-2007

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.
Źródło: "http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Pos%C5%82uga_dydaktyczna"