Jerzy Pogonowski - Posługa dydaktyczna

From Zakład Logiki Stosowanej

Materiały dydaktyczne.

Logika matematyczna:

• Wykład 15-16 II 2007: Składnia i semantyka języka KRP

Funkcje rekurencyjne:

• Wykład 14 II 2007: Intuicje dotyczące obliczania

O przekonaniach i przekonywaniu (wykład fakultatywny):

• Wykład 14 II 2007: Argumentacja w przykłądach. Samospełniające się przekonania

Naukoznawstwo:

• Wykład 4 XI 2006: Główne stanowiska w filozofii nauki

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: