From Zakład Logiki Stosowanej

Wersja z dnia 20:43, 15 gru 2015 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja		Aktualna wersja (15:28, 18 cze 2022) (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Metody dowodzenia twierdzeń i automatyzacja rozumowań 2021-2022)
(52 intermediate revisions not shown.)
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]]
Linia 10:		Linia 12:
	----		----
-	==Metody dowodzenia twierdzeń i automatyzacja rozumowań==	+	=Metody dowodzenia twierdzeń i automatyzacja rozumowań 2021-2022=
		+
		+	* Wykład dla III roku kognitywistyki UAM
		+
		+	* Wtorek, 13:15-14:45, sala kinowa; w r.ak. 2021/2022 w MS Teams
		+
		+	* Koordynator modułu kształcenia: prof. UAM dr hab. Dorota Leszczyńska-Jasion
		+
		+	* Prowadzący wykład: prof. dr hab. Jerzy Pogonowski
		+
		+	* Prowadzący konwersatorium: mgr Agata Tomczyk
		+
		+	* Prowadzący zajęcia w pracowni komputerowej: dr Szymon Chlebowski
		+
		+	==Wykłady==
		+
		+	* [[Media: mdtiar01x.pdf | Wprowadzenie]]
		+
		+	* [[Media: mdtiar02.pdf | Preliminaria logiczne]]
		+
		+	* [[Media: mdtiar03.pdf | Metoda aksjomatyczna]]
		+
		+	* [[Media: mdtiar04p.pdf | Postacie normalne i prefiksowe. Skolemizacja]]
		+
		+	* [[Media: mdtiar05a.pdf | Modele Herbranda]]
		+
		+	* [[Media: mdtiar05b.pdf | Tablice analityczne]]
		+
		+	* [[Media: mdtiar05c.pdf | Tablice analityczne: przykłady]]
		+
		+	* [[Media: tabsyn.pdf | Tabele syntetyczne]]
		+
		+	* [[Media: mdtiar06x.pdf | Rezolucja]]
		+
		+	* [[Media: mdtiar06b.pdf | Rezolucja: przykłady]]
		+
		+	* [[Media: dednat01.pdf | Dedukcja naturalna: stylizacja Fittinga]]
		+
		+	* [[Media: mdtiar07.pdf | Dedukcja naturalna: stylizacja Słupeckiego i Borkowskiego]]
		+
		+	* [[Media: mdtiar08.pdf | Rachunki sekwentów]]
		+
		+	* [[Media: mdtiar09y.pdf | Unifikacja]]
		+
		+	* [[Media: mdtiar10.pdf | Funkcje rekurencyjne]]
		+
		+	* [[Media: mdtiar11.pdf | Arytmetyzacja składni]]
		+
		+	* [[Media: mdtiar12.pdf | Twierdzenia metalogiczne]]
		+
		+	* [[Media: mdtiar13.pdf | Rozstrzygalność]]
		+
		+	* [[Media: mdt22xii2015se.pdf | Logika dowodliwości: Szczęściarze Epistemiczni.]]
		+
		+	===Materiały zaliczeniowe 2016-2017===
		+
		+	* [[Media: mdtiar14.pdf | Powtórka: 17 stycznia 2017.]]
		+
		+	* [[Media: mdtiar2017zal.pdf | Zaliczenie wykładu (24 stycznia 2017): rozwiązania zadań.]]
		+
		+	* [[Media: mdtiar7ii2017.pdf | Zaliczenie wykładu (poprawka 7 lutego 2017): rozwiązania zadań.]]
		+
		+	==Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016==
		+
		+	Wykład i konwersatorium dla V roku kognitywistyki UAM
	* [[Media: 08_KODM_MDT2015.pdf | Syllabus]]		* [[Media: 08_KODM_MDT2015.pdf | Syllabus]]
-	===Wykłady===	+	* [[Media: mdtegzamin2016.pdf | Egzamin: tematy]]
		+
		+	===Prezentacje===
	* [[Media: mdt01.pdf | Preliminaria matematyczne i logiczne oraz uwagi historyczne.]] 6x2015		* [[Media: mdt01.pdf | Preliminaria matematyczne i logiczne oraz uwagi historyczne.]] 6x2015
	* [[Media: mdt13x2015.pdf | Własności niesprzeczności, lemat Hintikki, twierdzenie o istnieniu modelu. Ogólne operacje konsekwencji.]] 13x2015		* [[Media: mdt13x2015.pdf | 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	+	* UWAGA: zajęcia 20 października 2015 poprowadzi Pan dr Szymon Chlebowski
	* [[Media: mdt03.pdf | Metoda aksjomatyczna.]] 27x2015		* [[Media: mdt03.pdf | Metoda aksjomatyczna.]] 27x2015
-	* [[Media: mdt3xi2015.pdf | Postacie normalne i prefiksowe.]] 3xi2015	+	* [[Media: mdt3xi2015p.pdf | Postacie normalne i prefiksowe.]] 3xi2015
	* [[Media: mdt10xi2015ta.pdf | Tablice analityczne.]] 10xi2015		* [[Media: mdt10xi2015ta.pdf | Tablice analityczne.]] 10xi2015
	* [[Media: mdt06.pdf | Rezolucja.]] 17xi2015		* [[Media: mdt06.pdf | Rezolucja.]] 17xi2015
-	* [[Media: mdt07.pdf | Dedukcja naturalna.]] 24xi2015	+	* [[Media: mdt07.pdf | Dedukcja naturalna: stylizacja Słupeckiego i Borkowskiego.]] 24xi2015
	* [[Media: mdt08.pdf | Rachunki sekwentów.]] 1xii2015		* [[Media: mdt08.pdf | Rachunki sekwentów.]] 1xii2015
-	* [[Media: mdt09.pdf | Unifikacja.]] 8xii2015	+	* [[Media: mdt09y.pdf | Unifikacja.]] 8xii2015
	* [[Media: mdt15xii2015c.pdf | Funkcje rekurencyjne.]] 15xii2015		* [[Media: mdt15xii2015c.pdf | Funkcje rekurencyjne.]] 15xii2015
-	* Wybrane twierdzenia metalogiczne i metody ich dowodzenia	+	* [[Media: mdt22xii2015se.pdf | Metalogika na wesoło: Szczęściarze Epistemiczni.]] 22xii2015
-	* Rozstrzygalność	+	* [[Media: mdt12i2016c.pdf | Arytmetyzacja składni.]] 12i2016
-	* Automatyzacja rozumowań	+	* [[Media: mdt19i2016.pdf | Wybrane twierdzenia metalogiczne.]] 19i2016
-	* Dowody matematyczne	+	* [[Media: mdt26i2016.pdf | Rozstrzygalność.]] 26i2016
	===Konwersatoria===		===Konwersatoria===
-	* [[Media: kon01.pdf | 6 października 2015]]	+	* [[Media: kon6x2015.pdf | 6 października 2015]]
	* [[Media: kon13x2015.pdf | 13 października 2015]]		* [[Media: kon13x2015.pdf | 13 października 2015]]
-	* UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski	+	* UWAGA: zajęcia 20 października 2015 poprowadzi Pan dr Szymon Chlebowski
	* [[Media: kon03.pdf | 27 października 2015]]		* [[Media: kon03.pdf | 27 października 2015]]
	* [[Media: kon04.pdf | 3 listopada 2015]]		* [[Media: kon04.pdf | 3 listopada 2015]]
Linia 43:		Linia 111:
	* [[Media: kon07.pdf | Powtórka, 24 listopada 2015]]		* [[Media: kon07.pdf | Powtórka, 24 listopada 2015]]
	* [[Media: kon08.pdf | Kolokwium, 1 grudnia 2015]]		* [[Media: kon08.pdf | Kolokwium, 1 grudnia 2015]]
-	* [http://sc52172.home.amu.edu.pl/?page_id=68 Materiały dydaktyczne Pana mgra Szymona Chlebowskiego]	+	* [http://sc52172.home.amu.edu.pl/?page_id=68 Materiały dydaktyczne Pana dra Szymona Chlebowskiego]
	[[Category:Dydaktyka]]		[[Category:Dydaktyka]]

---

Aktualna wersja

Spis treści 1 Metody dowodzenia twierdzeń i automatyzacja rozumowań 2021-2022 1.1 Wykłady 1.1.1 Materiały zaliczeniowe 2016-2017 1.2 Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016 1.2.1 Prezentacje 1.2.2 Konwersatoria

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

---

[edytuj] Metody dowodzenia twierdzeń i automatyzacja rozumowań 2021-2022

• Wykład dla III roku kognitywistyki UAM

• Wtorek, 13:15-14:45, sala kinowa; w r.ak. 2021/2022 w MS Teams

• Koordynator modułu kształcenia: prof. UAM dr hab. Dorota Leszczyńska-Jasion

• Prowadzący wykład: prof. dr hab. Jerzy Pogonowski

• Prowadzący konwersatorium: mgr Agata Tomczyk

• Prowadzący zajęcia w pracowni komputerowej: dr Szymon Chlebowski

[edytuj] Wykłady

• Wprowadzenie

• Preliminaria logiczne

• Metoda aksjomatyczna

• Postacie normalne i prefiksowe. Skolemizacja

• Modele Herbranda

• Tablice analityczne

• Tablice analityczne: przykłady

• Tabele syntetyczne

• Rezolucja

• Rezolucja: przykłady

• Dedukcja naturalna: stylizacja Fittinga

• Dedukcja naturalna: stylizacja Słupeckiego i Borkowskiego

• Rachunki sekwentów

• Unifikacja

• Funkcje rekurencyjne

• Arytmetyzacja składni

• Twierdzenia metalogiczne

• Rozstrzygalność

• Logika dowodliwości: Szczęściarze Epistemiczni.

[edytuj] Materiały zaliczeniowe 2016-2017

• Powtórka: 17 stycznia 2017.

• Zaliczenie wykładu (24 stycznia 2017): rozwiązania zadań.

• Zaliczenie wykładu (poprawka 7 lutego 2017): rozwiązania zadań.

[edytuj] Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016

Wykład i konwersatorium dla V roku kognitywistyki UAM

• Syllabus

• Egzamin: tematy

[edytuj] Prezentacje

• 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 dr Szymon Chlebowski
• Metoda aksjomatyczna. 27x2015
• Postacie normalne i prefiksowe. 3xi2015
• Tablice analityczne. 10xi2015
• Rezolucja. 17xi2015
• Dedukcja naturalna: stylizacja Słupeckiego i Borkowskiego. 24xi2015
• Rachunki sekwentów. 1xii2015
• Unifikacja. 8xii2015
• Funkcje rekurencyjne. 15xii2015
• Metalogika na wesoło: Szczęściarze Epistemiczni. 22xii2015
• Arytmetyzacja składni. 12i2016
• Wybrane twierdzenia metalogiczne. 19i2016
• Rozstrzygalność. 26i2016

[edytuj] Konwersatoria

• 6 października 2015
• 13 października 2015
• UWAGA: zajęcia 20 października 2015 poprowadzi Pan dr 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 dra Szymona Chlebowskiego