Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Mdtiar

From Zakład Logiki Stosowanej

(Różnice między wersjami)
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

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

[edytuj] Materiały zaliczeniowe 2016-2017

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

Wykład i konwersatorium dla V roku kognitywistyki UAM

[edytuj] Prezentacje

[edytuj] Konwersatoria