Mdtiar
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 09:04, 19 mar 2019 (edytuj) Pogonowski (Dyskusja | wkład) (→Prezentacje) ← Poprzednia edycja |
Wersja z dnia 18:58, 1 kwi 2019 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Wykłady) Następna edycja → |
||
| Linia 42: | Linia 42: | ||
| * [[Media: mdtiar05c.pdf | Tablice analityczne: przykłady]] | * [[Media: mdtiar05c.pdf | Tablice analityczne: przykłady]] | ||
| - | * [[Media: mdtiar06.pdf | Rezolucja]] | + | * [[Media: mdtiar06x.pdf | Rezolucja]] |
| * [[Media: mdtiar06b.pdf | Rezolucja: przykłady]] | * [[Media: mdtiar06b.pdf | Rezolucja: przykłady]] | ||
| Linia 50: | Linia 50: | ||
| * [[Media: mdtiar08.pdf | Rachunki sekwentów]] | * [[Media: mdtiar08.pdf | Rachunki sekwentów]] | ||
| - | * [[Media: mdtiar09.pdf | Unifikacja]] | + | * [[Media: mdtiar09x.pdf | Unifikacja]] |
| * [[Media: mdtiar10.pdf | Funkcje rekurencyjne]] | * [[Media: mdtiar10.pdf | Funkcje rekurencyjne]] | ||
Wersja z dnia 18:58, 1 kwi 2019
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Metody dowodzenia twierdzeń i automatyzacja rozumowań 2018-2019
- Wykład dla III roku kognitywistyki UAM
- Wtorek, 13:15-14:45, sala 310
- Koordynator modułu kształcenia: dr Dorota Leszczyńska-Jasion
- Prowadzący wykład: prof. dr hab. Jerzy Pogonowski
- Prowadzący konwersatorium: dr Dorota Leszczyńska-Jasion
- Prowadzący zajęcia w pracowni komputerowej: dr Mirosława Kołowska-Gawiejnowicz
Wykłady
Materiały zaliczeniowe 2016-2017
Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016
Wykład i konwersatorium dla V roku kognitywistyki UAM
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
