Site programming by Marcin Junczys-Dowmunt



 
 
 

Jerzy Pogonowski - Posługa dydaktyczna

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 07:33, 28 maj 2007 (edytuj)
Pogonowski (Dyskusja | wkład)
(Logika - zadania archiwalne)
← Poprzednia edycja
Wersja z dnia 07:36, 28 maj 2007 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Logika matematyczna)
Następna edycja →
Linia 11: Linia 11:
==Logika matematyczna== ==Logika matematyczna==
-* [[Media: logmat16i.pdf | Wykłady 15-16 II 2007: Składnia i semantyka języka KRP ]]+* [[Media: logmat16i.pdf | Wykłady 15-16 II 2007: Składnia i semantyka języka KRP. ]]
-* [[Media: krp311.pdf | Wykłady 29-30 III 2007: O budowaniu drzew semantycznych w KRP ]]+* [[Media: krp311.pdf | Wykłady 29-30 III 2007: O budowaniu drzew semantycznych w KRP. ]]
-* [[Media: krp322.pdf | Wykłady 12-13 IV 2007: Tautologie KRP ]]+* [[Media: krp322.pdf | Wykłady 12-13 IV 2007: Tautologie KRP. ]]
-* [[Media: krp333.pdf | Wykłady 19-20 IV 2007: Semantyczna niesprzeczność w KRP]]+* [[Media: krp333.pdf | Wykłady 19-20 IV 2007: Semantyczna niesprzeczność w KRP. ]]
-* [[Media: krp344.pdf | Wykłady 26-27 IV 2007: Wynikanie logiczne w KRP]]+* [[Media: krp344.pdf | Wykłady 26-27 IV 2007: Wynikanie logiczne w KRP. ]]
-* [[Media: krp355.pdf | Wykłady 17-18 V 2007: Rachunek predykatów z identycznością ]]+* [[Media: krp355.pdf | Wykłady 17-18 V 2007: Rachunek predykatów z identycznością . ]]
* [[Media: logmat29.pdf | Wykłady 24-25 V 2007: Rachunek predykatów z symbolami funkcyjnymi. Teorie aksjomatyczne w języku KRP. ]] * [[Media: logmat29.pdf | Wykłady 24-25 V 2007: Rachunek predykatów z symbolami funkcyjnymi. Teorie aksjomatyczne w języku KRP. ]]
-* [[Media: logmat30.pdf | Wykłady 31 V-1 VI 2007: Własności metalogiczne Klasycznego Rachunku Predykatów. Poprawność metody drzew semantycznych ]]+* [[Media: logmat30.pdf | Wykłady 31 V-1 VI 2007: Własności metalogiczne Klasycznego Rachunku Predykatów. Poprawność metody drzew semantycznych. ]]
* Przygotowanie do egzaminu: 4, 5 oraz 6 czerwca 2007. Godzina: 15:00-17:00. Miejsce: sala 203B, Collegium Novum. * Przygotowanie do egzaminu: 4, 5 oraz 6 czerwca 2007. Godzina: 15:00-17:00. Miejsce: sala 203B, Collegium Novum.
* Egzamin: 8 czerwca 2007. Godzina: 15:00. Miejsce: sala 203B, Collegium Novum. * Egzamin: 8 czerwca 2007. Godzina: 15:00. Miejsce: sala 203B, Collegium Novum.

Wersja z dnia 07:36, 28 maj 2007

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


Spis treści

Logika matematyczna

Funkcje rekurencyjne

O przekonaniach i przekonywaniu (wykład fakultatywny)

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

Logika - zadania egzaminacyjne (z rozwiązaniami)

Logika - zadania archiwalne

Naukoznawstwo

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.