From Zakład Logiki Stosowanej

Wersja z dnia 18:59, 1 kwi 2019 (edytuj) Pogonowski (Dyskusja | wkład) (→Prezentacje) ← Poprzednia edycja		Wersja z dnia 12:41, 7 mar 2020 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Metody dowodzenia twierdzeń i automatyzacja rozumowań 2018-2019) Następna edycja →
Linia 12:		Linia 12:
	----		----
-	=Metody dowodzenia twierdzeń i automatyzacja rozumowań 2018-2019=	+	=Metody dowodzenia twierdzeń i automatyzacja rozumowań 2019-2020=
	* Wykład dla III roku kognitywistyki UAM		* Wykład dla III roku kognitywistyki UAM
-	* Wtorek, 13:15-14:45, sala 310	+	* Wtorek, 13:15-14:45, sala kinowa
-	* Koordynator modułu kształcenia: dr Dorota Leszczyńska-Jasion	+	* Koordynator modułu kształcenia: dr hab. Dorota Leszczyńska-Jasion
	* Prowadzący wykład: prof. dr hab. Jerzy Pogonowski		* Prowadzący wykład: prof. dr hab. Jerzy Pogonowski
-	* Prowadzący konwersatorium: dr Dorota Leszczyńska-Jasion	+	* Prowadzący konwersatorium: dr hab. Dorota Leszczyńska-Jasion
	* Prowadzący zajęcia w pracowni komputerowej: dr Mirosława Kołowska-Gawiejnowicz		* Prowadzący zajęcia w pracowni komputerowej: dr Mirosława Kołowska-Gawiejnowicz

---

Wersja z dnia 12:41, 7 mar 2020

Spis treści 1 Metody dowodzenia twierdzeń i automatyzacja rozumowań 2019-2020 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

---

Metody dowodzenia twierdzeń i automatyzacja rozumowań 2019-2020

• Wykład dla III roku kognitywistyki UAM

• Wtorek, 13:15-14:45, sala kinowa

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

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

• Prowadzący konwersatorium: dr hab. Dorota Leszczyńska-Jasion

• Prowadzący zajęcia w pracowni komputerowej: dr Mirosława Kołowska-Gawiejnowicz

Wykłady

• Wprowadzenie

• Preliminaria logiczne

• Metoda aksjomatyczna

• Postacie normalne i prefiksowe. Skolemizacja

• Modele Herbranda

• Tablice analityczne

• Tablice analityczne: przykłady

• Rezolucja

• Rezolucja: przykłady

• Dedukcja naturalna

• Rachunki sekwentów

• Unifikacja

• Funkcje rekurencyjne

• Arytmetyzacja składni

• Twierdzenia metalogiczne

• Rozstrzygalność

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

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ń.

Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016

Wykład i konwersatorium dla V roku kognitywistyki UAM

• Syllabus

• Egzamin: tematy

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. 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

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