Mdtiar

From Zakład Logiki Stosowanej

Wersja z dnia 20:43, 15 gru 2015 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja		Wersja z dnia 20:50, 15 gru 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja →
Linia 1:		Linia 1:
		+	__TOC__
		+
	[[en:Jerzy_Pogonowski_-_Curriculum_Vitae]]		[[en:Jerzy_Pogonowski_-_Curriculum_Vitae]]
	[[de:Jerzy_Pogonowski_-_Curriculum_Vitae]]		[[de:Jerzy_Pogonowski_-_Curriculum_Vitae]]

---

Wersja z dnia 20:50, 15 gru 2015

Spis treści 1 Metody dowodzenia twierdzeń i automatyzacja rozumowań 1.1 Wykłady 1.2 Konwersatoria

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

---

Metody dowodzenia twierdzeń i automatyzacja rozumowań

• Syllabus

Wykłady

• Preliminaria matematyczne i logiczne oraz uwagi historyczne. 6x2015
• Własności niesprzeczności, lemat Hintikki, twierdzenie o istnieniu modelu. Ogólne operacje konsekwencji. 13x2015
• UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski
• Metoda aksjomatyczna. 27x2015
• Postacie normalne i prefiksowe. 3xi2015
• Tablice analityczne. 10xi2015
• Rezolucja. 17xi2015
• Dedukcja naturalna. 24xi2015
• Rachunki sekwentów. 1xii2015
• Unifikacja. 8xii2015
• Funkcje rekurencyjne. 15xii2015
• Wybrane twierdzenia metalogiczne i metody ich dowodzenia
• Rozstrzygalność
• Automatyzacja rozumowań
• Dowody matematyczne

Konwersatoria

• 6 października 2015
• 13 października 2015
• UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski
• 27 października 2015
• 3 listopada 2015
• 10 listopada 2015
• 17 listopada 2015
• Powtórka, 24 listopada 2015
• Kolokwium, 1 grudnia 2015
• Materiały dydaktyczne Pana mgra Szymona Chlebowskiego