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 09:54, 23 lut 2008 (edytuj)
Pogonowski (Dyskusja | wkład)

← Poprzednia edycja
Wersja z dnia 09:55, 23 lut 2008 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Archiwum)
Następna edycja →
Linia 140: Linia 140:
* [[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 09:55, 23 lut 2008

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


Spis treści

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

Materiały dydaktyczne 2007-2008

Logika Matematyczna (2007-2008, I JiNoI)

  • Semantyka KRP (1).
  • 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)

Logika Radosna (2008, Etnolingwistyka II)

Semiotyka Logiczna (2007, IV JiIN)

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

Tablice Analityczne

Zajęcia planowane w roku akademickim 2007-2008


Archiwum

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.