Mdtiar
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 20:41, 15 gru 2015 (edytuj) Pogonowski (Dyskusja | wkład) (New page: en:Jerzy_Pogonowski_-_Curriculum_Vitae de:Jerzy_Pogonowski_-_Curriculum_Vitae CV | Badania | [[Je...) ← Poprzednia edycja |
Wersja z dnia 20:43, 15 gru 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja → |
||
| Linia 10: | Linia 10: | ||
| ---- | ---- | ||
| - | Strona w budowie. | + | ==Metody dowodzenia twierdzeń i automatyzacja rozumowań== |
| + | |||
| + | * [[Media: 08_KODM_MDT2015.pdf | Syllabus]] | ||
| + | |||
| + | ===Wykłady=== | ||
| + | |||
| + | * [[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 | ||
| + | * UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski | ||
| + | * [[Media: mdt03.pdf | Metoda aksjomatyczna.]] 27x2015 | ||
| + | * [[Media: mdt3xi2015.pdf | Postacie normalne i prefiksowe.]] 3xi2015 | ||
| + | * [[Media: mdt10xi2015ta.pdf | Tablice analityczne.]] 10xi2015 | ||
| + | * [[Media: mdt06.pdf | Rezolucja.]] 17xi2015 | ||
| + | * [[Media: mdt07.pdf | Dedukcja naturalna.]] 24xi2015 | ||
| + | * [[Media: mdt08.pdf | Rachunki sekwentów.]] 1xii2015 | ||
| + | * [[Media: mdt09.pdf | Unifikacja.]] 8xii2015 | ||
| + | * [[Media: mdt15xii2015c.pdf | Funkcje rekurencyjne.]] 15xii2015 | ||
| + | * Wybrane twierdzenia metalogiczne i metody ich dowodzenia | ||
| + | * Rozstrzygalność | ||
| + | * Automatyzacja rozumowań | ||
| + | * Dowody matematyczne | ||
| + | |||
| + | ===Konwersatoria=== | ||
| + | |||
| + | * [[Media: kon01.pdf | 6 października 2015]] | ||
| + | * [[Media: kon13x2015.pdf | 13 października 2015]] | ||
| + | * UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski | ||
| + | * [[Media: kon03.pdf | 27 października 2015]] | ||
| + | * [[Media: kon04.pdf | 3 listopada 2015]] | ||
| + | * [[Media: kon10xi2015.pdf | 10 listopada 2015]] | ||
| + | * [[Media: kon06.pdf | 17 listopada 2015]] | ||
| + | * [[Media: kon07.pdf | Powtórka, 24 listopada 2015]] | ||
| + | * [[Media: kon08.pdf | Kolokwium, 1 grudnia 2015]] | ||
| + | * [http://sc52172.home.amu.edu.pl/?page_id=68 Materiały dydaktyczne Pana mgra Szymona Chlebowskiego] | ||
| + | |||
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
Wersja z dnia 20:43, 15 gru 2015
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Metody dowodzenia twierdzeń i automatyzacja rozumowań
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
- Wybrane twierdzenia metalogiczne i metody ich dowodzenia
- 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
