Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Jerzy Pogonowski - Posługa dydaktyczna

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 21:17, 26 lis 2007 (edytuj)
Pogonowski (Dyskusja | wkład)
(Logika Matematyczna (2007-2008, I JiNoI))
← Poprzednia edycja
Wersja z dnia 20:00, 19 gru 2007 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Logika Matematyczna (2007-2008, I JiNoI))
Następna edycja →
Linia 23: Linia 23:
* [[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: logmatdod02.pdf | Dodatek 2. Dowody niektórych twierdzeń metalogicznych dot. KRZ. ]] * [[Media: logmatdod02.pdf | Dodatek 2. Dowody niektórych twierdzeń metalogicznych dot. KRZ. ]]
 +* [[Media: logmatdod03.pdf | Dodatek 3. Twierdzenia o operacjach konsekwencji. ]]
* [[Media: logmat6xii2007.pdf | Dowody założeniowe w KRZ. ]] 6 i 13 grudnia 2007. * [[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: 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. ]]
-* Dowody rezolucyjne w KRZ. 20 grudnia 2007.+* [[Media: logmat20xii2007.pdf | Dowody rezolucyjne w KRZ. ]] 20 grudnia 2007.
 +* [[Media: rezolkrz.pdf | Dowody twierdzeń o trafności i pełności metody rezolucji w KRZ. ]]
 +* [[Media: logmatdod06.pdf | Dodatek 6. Metoda rezolucji i metoda drzew u Lewisa Carrolla. ]]
* Tablice analityczne dla KRZ. W styczniu 2008. * Tablice analityczne dla KRZ. W styczniu 2008.

Wersja z dnia 20:00, 19 gru 2007

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line


Spis treści

Aktualności

Materiały dydaktyczne 2007-2008

Logika Matematyczna (2007-2008, I JiNoI)

Semiotyka Logiczna (2007, IV JiIN)

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

Skrypt: Drzewa Semantyczne w KRP

Zajęcia planowane w roku akademickim 2007-2008


Archiwum

Logika matematyczna (2007)

Funkcje rekurencyjne (2007)

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.