Jerzy Pogonowski - Posługa dydaktyczna
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 13:19, 17 lut 2007 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 13:26, 17 lut 2007 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Logika matematyczna:) Następna edycja → |
||
| Linia 13: | Linia 13: | ||
| * [[Media: logmat16i.pdf | Wykład 15-16 II 2007: Składnia i semantyka języka KRP ]] | * [[Media: logmat16i.pdf | Wykład 15-16 II 2007: Składnia i semantyka języka KRP ]] | ||
| - | <b>Funkcje rekurencyjne:</b> | + | ==Funkcje rekurencyjne:== |
| - | <ul> | + | * [[Media: furek01.pdf | Wykład 14 II 2007: Intuicje dotyczące obliczania ]] |
| - | <li>[[Media: furek01.pdf | Wykład 14 II 2007: Intuicje dotyczące obliczania ]] | + | * [[Media: furek02.pdf | Wykład 21 II 2007: Pojęcie nieskończoności - różne definicje. ]] |
| - | <li>[[Media: furek02.pdf | Wykład 21 II 2007: Pojęcie nieskończoności - różne definicje. ]] | + | * [[Media: za2007.pdf | Wykład 28 II 2007: Tu oglądamy moją prezentację na AALCS XI 2007. ]] |
| - | <li>[[Media: za2007.pdf | Wykład 28 II 2007: Tu oglądamy moją prezentację na AALCS XI 2007. ]] | + | |
| - | </ul> | + | |
| - | <b>O przekonaniach i przekonywaniu</b> (wykład fakultatywny): | + | ==O przekonaniach i przekonywaniu</b> (wykład fakultatywny): == |
| - | <ul> | + | * [[Media: belsys01.pdf | Wykład 14 II 2007: Argumentacja w przykładach. Samospełniające się przekonania ]] |
| - | <li>[[Media: belsys01.pdf | Wykład 14 II 2007: Argumentacja w przykładach. Samospełniające się przekonania ]] | + | * [[Media: belsys02.pdf | Wykład 21 II 2007: Argumentacja: podstawowe definicje. ]] |
| - | <li>[[Media: belsys02.pdf | Wykład 21 II 2007: Argumentacja: podstawowe definicje. ]] | + | * [[Media: karpacz2007.pdf | Wykład 28 II 2007: Tu oglądamy moją prezentację na ZLwFiPM XII 2007 ]] |
| - | <li>[[Media: karpacz2007.pdf | Wykład 28 II 2007: Tu oglądamy moją prezentację na ZLwFiPM XII 2007 ]] | + | |
| - | </ul> | + | |
| - | <b>Naukoznawstwo:</b> | + | ==Naukoznawstwo:== |
| - | <ul> | + | * [[Media: beam0.pdf | Wykład 4 XI 2006: Główne stanowiska w filozofii nauki ]] |
| - | <li>[[Media: beam0.pdf | Wykład 4 XI 2006: Główne stanowiska w filozofii nauki ]] | + | |
| - | </ul> | + | |
| - | <b>Rozdział III skryptu <i>Metoda drzew semantycznych w Klasycznym Rachunku Logicznym </i></b> | + | ==Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym' == |
| - | <ul> | + | * [[Media: krp300.pdf | Wstęp do rozdziału III ]] |
| - | <li>[[Media: krp300.pdf | Wstęp do rozdziału III ]] | + | * [[Media: krp311.pdf | O budowaniu drzew semantycznych w KRP ]] |
| - | <li>[[Media: krp311.pdf | O budowaniu drzew semantycznych w KRP ]] | + | * [[Media: krp322.pdf | Tautologie KRP ]] |
| - | <li>[[Media: krp322.pdf | Tautologie KRP ]] | + | * [[Media: krp333.pdf | Semantyczna niesprzeczność ]] |
| - | <li>[[Media: krp333.pdf | Semantyczna niesprzeczność ]] | + | * [[Media: krp344.pdf | Wynikanie logiczne ]] |
| - | <li>[[Media: krp344.pdf | Wynikanie logiczne ]] | + | * [[Media: krp355.pdf | Rachunek predykatów z identycznością ]] |
| - | <li>[[Media: krp355.pdf | Rachunek predykatów z identycznością ]] | + | * [[Media: krp366.pdf | Rachunek predykatów z symbolami funkcyjnymi ]] |
| - | <li>[[Media: krp366.pdf | Rachunek predykatów z symbolami funkcyjnymi ]] | + | |
| - | </ul> | + | |
| - | <b>Logika - zadania egzaminacyjne (z rozwiązaniami):</b> | + | ==Logika - zadania egzaminacyjne (z rozwiązaniami):== |
| - | <ul> | + | * [[Media: jinlog05.pdf | Językoznawstwo i informacja naukowa (2005) ]] |
| - | <li> [[Media: jinlog05.pdf | Językoznawstwo i informacja naukowa (2005) ]] | + | * [[Media: jin4.pdf | Językoznawstwo i informacja naukowa (2004) ]] |
| - | <li> [[Media: jin4.pdf | Językoznawstwo i informacja naukowa (2004) ]] | + | * [[Media: kor3pop.pdf | Koreanistyka (poprawkowy, 2004) ]] |
| - | <li> [[Media: kor3pop.pdf | Koreanistyka (poprawkowy, 2004) ]] | + | |
| - | </ul> | + | |
| - | <b>Proponowane tematy rozpraw magisterskich:</b> | + | ==Proponowane tematy rozpraw magisterskich:== |
| - | <ul> | + | * logiczna analiza modalności (zwłaszcza epistemicznych); |
| - | <li>logiczna analiza modalności (zwłaszcza epistemicznych); | + | * argumentacja, perswazja, manipulacja; |
| - | <li>argumentacja, perswazja, manipulacja; | + | * komunikacja społeczna: analiza logiczna; |
| - | <li>komunikacja społeczna: analiza logiczna; | + | * komparatystyka logiczna: logika Zachodu a refleksja logiczna Orientu; |
| - | <li>komparatystyka logiczna: logika Zachodu a refleksja logiczna Orientu; | + | * antynomie, paradoksy, sofizmaty; |
| - | <li>antynomie, paradoksy, sofizmaty; | + | * dowcip, humor, komizm: analiza logiczna i semiotyczna; |
| - | <li>dowcip, humor, komizm: analiza logiczna i semiotyczna; | + | * etnologika jako dyscyplina bezprzedmiotowa (?); |
| - | <li>etnologika jako dyscyplina bezprzedmiotowa (?); | + | * pojęcie racjonalności: analiza logiczna oraz etnologiczna; |
| - | <li>pojęcie racjonalności: analiza logiczna oraz etnologiczna; | + | * filozofia matematyki (np. poglądy dot. nieskończoności, refleksje dot. obliczalności); |
| - | <li>filozofia matematyki (np. poglądy dot. nieskończoności, refleksje dot. obliczalności); | + | * tworzenie (się) pojęć logicznych oraz metalogicznych. |
| - | <li>tworzenie (się) pojęć logicznych oraz metalogicznych. | + | |
| - | </ul> | + | |
Wersja z dnia 13:26, 17 lut 2007
CV | Badania | Posługa dydaktyczna | Publikacje | Strzępy archiwum
Logika matematyczna:
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 moją prezentację na AALCS XI 2007.
O przekonaniach i przekonywaniu</b> (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 moją prezentację na ZLwFiPM XII 2007
Naukoznawstwo:
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ą
- Rachunek predykatów z symbolami funkcyjnymi
Logika - zadania egzaminacyjne (z rozwiązaniami):
- Językoznawstwo i informacja naukowa (2005)
- Językoznawstwo i informacja naukowa (2004)
- Koreanistyka (poprawkowy, 2004)
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.
