From Zakład Logiki Stosowanej

Wersja z dnia 13:01, 27 lut 2008 (edytuj) Pogonowski (Dyskusja | wkład) (→Logika Matematyczna (2007-2008, I JiNoI)) ← Poprzednia edycja		Wersja z dnia 13:02, 27 lut 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Logika Matematyczna (2007-2008, I JiNoI)) Następna edycja →
Linia 24:		Linia 24:
	===Logika Matematyczna (2007-2008, I JiNoI)===		===Logika Matematyczna (2007-2008, I JiNoI)===
		+
		+	'''Semestr zimowy'''
	* [[Media: logmat4x2007.pdf | Wprowadzenie. ]] 4 października 2007.		* [[Media: logmat4x2007.pdf | Wprowadzenie. ]] 4 października 2007.
Linia 42:		Linia 44:
	* [[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. ]]
	* [[Media: genkrz.pdf | Dodatek 9. Informacja o rachunku sekwentów Gentzena dla KRZ. ]]		* [[Media: genkrz.pdf | Dodatek 9. Informacja o rachunku sekwentów Gentzena dla KRZ. ]]
		+
		+	'''Semestr letni'''
	* [[Media: logmat21022008.pdf | Semantyka KRP (1). ]]		* [[Media: logmat21022008.pdf | Semantyka KRP (1). ]]

---

Wersja z dnia 13:02, 27 lut 2008

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

---

Spis treści 1 Aktualności 1.1 Terminy zajęć w semestrze letnim 1.2 Materiały dydaktyczne 2007-2008 1.2.1 Logika Matematyczna (2007-2008, I JiNoI) 1.2.2 Funkcje rekurencyjne (2008, III JiIN) 1.2.3 Logika Radosna (2008, Etnolingwistyka II) 1.2.4 Semiotyka Logiczna (2007, IV JiIN) 1.2.5 Metodologia Nauk (Naukoznawstwo, Etno V, zaoczna, 2007) 1.3 Skrypt: Tablice Analityczne 1.4 Zajęcia planowane w roku akademickim 2007-2008 2 Archiwum 2.1 Logika - zadania egzaminacyjne (z rozwiązaniami) 2.2 Logika - zadania archiwalne 2.3 Sylabusy do zajęć w roku akademickim 2006-2007 2.4 Proponowane tematy rozpraw magisterskich

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.
• Dodatek 1. Dowody niektórych twierdzeń dot. semantyki KRZ.
• Aksjomatyczne ujęcie KRZ. 15, 22 i 29 listopada 2007.
• Dodatek 2. Trafność i pełność metody aksjomatycznej w KRZ.
• Dodatek 3. Twierdzenia o operacjach konsekwencji.
• Dowody założeniowe w KRZ. 6 i 13 grudnia 2007.
• Dodatek 4. Równoważność aksjomatycznego i założeniowego systemu KRZ.
• Dodatek 5. Lista tez i reguł wyprowadzonych na wykładach 8-9.
• Dowody rezolucyjne w KRZ. 20 grudnia 2007.
• Dodatek 6. Trafność i pełność metody rezolucji w KRZ.
• Tablice analityczne dla KRZ. 3, 10 stycznia 2008.
• 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

• Semantyka KRP (1).
• Semantyka KRP (2).
• Semantyka KRP (3). Zadania.

• 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

• Logika matematyczna.
• Funkcje rekurencyjne.
• Logika.
• Semiotyka logiczna.
• Naukoznawstwo.

---

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.