Mdtiar
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 17:30, 3 paź 2016 (edytuj) Pogonowski (Dyskusja | wkład) (→Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016) ← Poprzednia edycja |
Aktualna wersja (15:28, 18 cze 2022) (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Metody dowodzenia twierdzeń i automatyzacja rozumowań 2021-2022) |
||
| (40 intermediate revisions not shown.) | |||
| Linia 12: | Linia 12: | ||
| ---- | ---- | ||
| - | ==Metody dowodzenia twierdzeń i automatyzacja rozumowań 2016-2017== | + | =Metody dowodzenia twierdzeń i automatyzacja rozumowań 2021-2022= |
| - | Wykład dla III roku kognitywistyki UAM | + | * Wykład dla III roku kognitywistyki UAM |
| - | [[Media: mdtiar01.pdf | Wprowadzenie]] | + | * 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== | ==Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016== | ||
| Linia 26: | Linia 82: | ||
| * [[Media: mdtegzamin2016.pdf | Egzamin: tematy]] | * [[Media: mdtegzamin2016.pdf | Egzamin: tematy]] | ||
| - | ===Wykłady=== | + | ===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 | ||
| * [[Media: mdt22xii2015se.pdf | Metalogika na wesoło: Szczęściarze Epistemiczni.]] 22xii2015 | * [[Media: mdt22xii2015se.pdf | Metalogika na wesoło: Szczęściarze Epistemiczni.]] 22xii2015 | ||
| Linia 48: | Linia 104: | ||
| * [[Media: kon6x2015.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 55: | 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
- 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
