Mdtiar
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 20:53, 15 gru 2015 (edytuj) Pogonowski (Dyskusja | wkład) (→Metody dowodzenia twierdzeń i automatyzacja rozumowań) ← Poprzednia edycja |
Wersja z dnia 16:57, 21 gru 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Wykłady) Następna edycja → |
||
| Linia 31: | Linia 31: | ||
| * [[Media: mdt09.pdf | Unifikacja.]] 8xii2015 | * [[Media: mdt09.pdf | Unifikacja.]] 8xii2015 | ||
| * [[Media: mdt15xii2015c.pdf | Funkcje rekurencyjne.]] 15xii2015 | * [[Media: mdt15xii2015c.pdf | Funkcje rekurencyjne.]] 15xii2015 | ||
| - | * Wybrane twierdzenia metalogiczne i metody ich dowodzenia | + | * [[Media: mdt22xii2015.pdf | Metalogika na wesoło: Szczęściarze Epistemiczni.]] 22xii2015 |
| - | * Rozstrzygalność | + | * Wybrane twierdzenia metalogiczne. Rozstrzygalność. |
| * Automatyzacja rozumowań | * Automatyzacja rozumowań | ||
| * Dowody matematyczne | * Dowody matematyczne | ||
Wersja z dnia 16:57, 21 gru 2015
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Metody dowodzenia twierdzeń i automatyzacja rozumowań
Wykład i konwersatorium dla V roku kognitywistyki UAM
Wykłady
- 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 mgr 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
- Wybrane twierdzenia metalogiczne. Rozstrzygalność.
- Automatyzacja rozumowań
- Dowody matematyczne
Konwersatoria
- 6 października 2015
- 13 października 2015
- UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr 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 mgra Szymona Chlebowskiego
