Jerzy Pogonowski - Posługa dydaktyczna

From Zakład Logiki Stosowanej

Wersja z dnia 11:25, 17 lut 2007 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja		Wersja z dnia 11:43, 17 lut 2007 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja →
Linia 1:		Linia 1:
-	Materiały dydaktyczne online	+	Materiały dydaktyczne.
	<b>Logika matematyczna:</b>		<b>Logika matematyczna:</b>
	<ul>		<ul>
-	<li>[[Media: logmat16i.pdf | Wykład 15-16 II 2007 ]]	+	<li>[[Media: logmat16i.pdf | Wykład 15-16 II 2007: Składnia i semantyka języka KRP ]]
	</ul>		</ul>
	<b>Funkcje rekurencyjne:</b>		<b>Funkcje rekurencyjne:</b>
		+
		+	<ul>
		+	<li>[[Media: furek01.pdf | Wykład 14 II 2007: Intuicje dotyczące obliczania ]]
		+	</ul>
	<b>O przekonaniach i przekonywaniu</b> (wykład fakultatywny):		<b>O przekonaniach i przekonywaniu</b> (wykład fakultatywny):
		+
		+	<ul>
		+	<li>[[Media: belsys01.pdf | Wykład 14 II 2007: Argumentacja w przykłądach. Samospełniające się przekonania ]]
		+	</ul>
	<b>Naukoznawstwo:</b>		<b>Naukoznawstwo:</b>
-	<b>Zadania egzaminacyjne (z rozwiązaniami):</b>	+	<ul>
		+	<li>[[Media: beam0.pdf | Wykład 4 XI 2006: Główne stanowiska w filozofii nauki ]]
		+	</ul>
		+
		+	<b>Rozdział III skryptu <i>Metoda drzew semantycznych w Klasycznym Rachunku Logicznym </i></b>
		+
		+	<ul>
		+	<li>[[Media: krp300.pdf | Wstęp do rozdziału III ]]
		+	<li>[[Media: krp311.pdf | O budowaniu drzew semantycznych w KRP ]]
		+	<li>[[Media: krp322.pdf | Tautologie KRP ]]
		+	<li>[[Media: krp333.pdf | Semantyczna niesprzeczność ]]
		+	<li>[[Media: krp344.pdf | Wynikanie logiczne ]]
		+	<li>[[Media: krp355.pdf | Rachunek predykatów z identycznością ]]
		+	<li>[[Media: krp366.pdf | Rachunek predykatów z symbolami funkcyjnymi ]]
		+	</ul>
		+
		+	<b>Logika - zadania egzaminacyjne (z rozwiązaniami):</b>
	<ul>		<ul>

---

Wersja z dnia 11:43, 17 lut 2007

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: