Jerzy Pogonowski - Archiwum
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 13:31, 22 lut 2008 (edytuj) Pogonowski (Dyskusja | wkład) (→Archiwum) ← Poprzednia edycja |
Wersja z dnia 13:41, 22 lut 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja → |
||
| Linia 33: | Linia 33: | ||
| * [[Media: sylfurek07.pdf | Funkcje rekurencyjne ]] | * [[Media: sylfurek07.pdf | Funkcje rekurencyjne ]] | ||
| * [[Media: sylwykfak07.pdf | O przekonaniach i przekonywaniu ]] (wykład fakultatywny) | * [[Media: sylwykfak07.pdf | O przekonaniach i przekonywaniu ]] (wykład fakultatywny) | ||
| + | |||
| + | ==Drzewa Semantyczne w KRP: błahe notki== | ||
| + | |||
| + | * [[Media: krp300.pdf | III.0. Wstęp do rozdziału III. ]] | ||
| + | * [[Media: krp311.pdf | III.1. O budowaniu drzew semantycznych w KRP. ]] | ||
| + | * [[Media: krp322.pdf | III.2. Tautologie KRP. ]] | ||
| + | * [[Media: krp333.pdf | III.3. Semantyczna niesprzeczność w KRP. ]] | ||
| + | * [[Media: krp344.pdf | III.4. Wynikanie logiczne w KRP. ]] | ||
| + | * [[Media: krp355.pdf | III.5. KRP z identycznością. ]] | ||
| + | * [[Media: krp366.pdf | III.6. KRP z symbolami funkcyjnymi. ]] | ||
| + | * [[Media: krp377.pdf | III.7. Unifikacja. ]] | ||
| + | * [[Media: krp388.pdf | III.8. Rezolucja. ]] | ||
| + | * [[Media: krp399zad.pdf | III.9. Zadania do rozdziału III. ]] | ||
| ==Proponowane tematy rozpraw magisterskich== | ==Proponowane tematy rozpraw magisterskich== | ||
Wersja z dnia 13:41, 22 lut 2008
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
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)
Drzewa Semantyczne w KRP: błahe notki
- III.0. Wstęp do rozdziału III.
- III.1. O budowaniu drzew semantycznych w KRP.
- III.2. Tautologie KRP.
- III.3. Semantyczna niesprzeczność w KRP.
- III.4. Wynikanie logiczne w KRP.
- III.5. KRP z identycznością.
- III.6. KRP z symbolami funkcyjnymi.
- III.7. Unifikacja.
- III.8. Rezolucja.
- III.9. Zadania do rozdziału III.
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.
