Jerzy Pogonowski - Posługa dydaktyczna

From Zakład Logiki Stosowanej

Wersja z dnia 16:42, 12 kwi 2007 (edytuj) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne) ← Poprzednia edycja		Wersja z dnia 16:43, 12 kwi 2007 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne) Następna edycja →
Linia 33:		Linia 33:
	* Wykład 25 IV 2007: Reprezentowalność funkcji rekurencyjnych w Arytmetyce Peana.		* Wykład 25 IV 2007: Reprezentowalność funkcji rekurencyjnych w Arytmetyce Peana.
	* Wykład 16 V 2007: Arytmetyzacja składni.		* Wykład 16 V 2007: Arytmetyzacja składni.
-	* Wykład 23 V 2007: Twierdzenie Godla o niezupełności Arytmetyki Peana.	+	* Wykład 23 V 2007: Twierdzenie Gödla o niezupełności Arytmetyki Peana.
	* Wykład 30 V 2007: O teoriach rozstrzygalnych i nierozstrzygalnych.		* Wykład 30 V 2007: O teoriach rozstrzygalnych i nierozstrzygalnych.

---

Wersja z dnia 16:43, 12 kwi 2007

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

---

Spis treści 1 Logika matematyczna 2 Funkcje rekurencyjne 3 O przekonaniach i przekonywaniu (wykład fakultatywny) 4 Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym' 5 Logika - zadania egzaminacyjne (z rozwiązaniami) 6 Logika - zadania archiwalne 7 Naukoznawstwo 8 Sylabusy do zajęć w roku akademickim 2006-2007 9 Proponowane tematy rozpraw magisterskich

Logika matematyczna

• Wykłady 15-16 II 2007: Składnia i semantyka języka KRP
• Wykłady 29-30 III 2007: O budowaniu drzew semantycznych w KRP
• Wykłady 12-13 IV 2007: Tautologie KRP
• Wykłady 19-20 IV 2007: Semantyczna niesprzeczność w KRP
• Wykłady 26-27 IV 2007: Wynikanie logiczne w KRP
• Wykłady 17-18 V 2007: Rachunek predykatów z identycznością
• Wykłady 24-25 V 2007: Rachunek predykatów z symbolami funkcyjnymi
• Po zakończeniu zajęć w semestrze letnim: przygotowanie do egzaminu (5 spotkań).
• Egzamin: w czerwcu, jak najwcześniej.

Funkcje rekurencyjne

• Wykład 14 II 2007: Intuicje dotyczące obliczania.
• Wykład 21 II 2007: Pojęcie nieskończoności - różne definicje.
• Wykład 28 II 2007: Tu oglądamy prezentację na AALCS XI 2007. (beta)
• Wykład 14 III 2007: Tu oglądamy prezentację Konsekwencje Bereszit 2:16.
• Wykład 28 III 2007: Nieskończona złożoność strukturalna - fraktale.
• Wykład 4 IV 2007: Maszyny Turinga.
• Wykład 11 IV 2007: Funkcje rekurencyjne - definicja i podstawowe własności.
• Wykład 18 IV 2007: Zbiory i relacje rekurencyjnie przeliczalne.
• Wykład 25 IV 2007: Reprezentowalność funkcji rekurencyjnych w Arytmetyce Peana.
• Wykład 16 V 2007: Arytmetyzacja składni.
• Wykład 23 V 2007: Twierdzenie Gödla o niezupełności Arytmetyki Peana.
• Wykład 30 V 2007: O teoriach rozstrzygalnych i nierozstrzygalnych.

O przekonaniach i przekonywaniu (wykład fakultatywny)

• Wykład 14 II 2007: Argumentacja w przykładach. Samospełniające się przekonania.
• Wykład 21 II 2007: Argumentacja: podstawowe definicje.
• Wykład 28 II 2007: Tu oglądamy prezentację na ZLwFiPM XII 2007. (beta)
• Wykład 14 III 2007: Tu oglądamy dalszy ciąg tej prezentacji.
• Wykład 28 III 2007: Argumenty dedukcyjne - przykłady.
• Wykład 4 IV 2007: Wnioskowania indukcyjne.
• Wykład 11 IV 2007: Uczciwe chwyty w argumentacji.
• Wykład 18 IV 2007: Nieuczciwe chwyty w argumentacji.

Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym'

• Wstęp do rozdziału III
• O budowaniu drzew semantycznych w KRP
• Tautologie KRP
• Semantyczna niesprzeczność
• Wynikanie logiczne
• Rachunek predykatów z identycznością

Logika - zadania egzaminacyjne (z rozwiązaniami)

• 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
• Zadania egzaminacyjne z Logiki Matematycznej, 2002
• Zadania egzaminacyjne z Logiki, 2002

Naukoznawstwo

• Wykład 25 XI 2006. Procedury poznawcze I: algorytmy, klasyfikowanie, podobieństwa i opozycje, porządkowanie hierarchiczne i liniowe, struktury relacyjne i izomorfizmy.
• Wykład 25 XI 2006. Procedury poznawcze II: definicje, pytania i odpowiedzi, wnioskowania erotetyczne.
• Wykład 9 XII 2006. Procedury poznawcze III: uzasadnienia w naukach formalnych i empirycznych, wnioskowania indukcyjne, prawa nauk empirycznych, argumentacja, spór, dyskusja.
• Wykład 9 XII 2006. 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 6 I 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.

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.