Site programming by Marcin Junczys-Dowmunt



 
 
 

Jerzy Pogonowski - Posługa dydaktyczna

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 08:41, 6 maj 2007 (edytuj)
Pogonowski (Dyskusja | wkład)
(O przekonaniach i przekonywaniu (wykład fakultatywny))
← Poprzednia edycja
Wersja z dnia 23:02, 23 maj 2007 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Logika matematyczna)
Następna edycja →
Linia 17: Linia 17:
* [[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ą ]]
-* Wykłady 24-25 V 2007: Rachunek predykatów z symbolami funkcyjnymi +* [[Media: logmat29.pdf | Wykłady 24-25 V 2007: Rachunek predykatów z symbolami funkcyjnymi. Teorie aksjomatyczne w języku KRP. ]]
-* Po zakończeniu zajęć w semestrze letnim: przygotowanie do egzaminu (5 spotkań).+* Wykłady 31 V-1 VI 2007: Własności metalogiczne Klasycznego Rachunku Predykatów.
-* Egzamin: w czerwcu, jak najwcześniej.+* 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.
 +* Wpisanie ocen: 13 czerwca 2007. Godzina: 9:40-10:40. Miejsce: sala 412, ul. Międzychodzka 5.
==Funkcje rekurencyjne== ==Funkcje rekurencyjne==

Wersja z dnia 23:02, 23 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.