Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 17:55, 10 lis 2015 (edytuj) Pogonowski (Dyskusja | wkład) (→Wykłady) ← Poprzednia edycja |
Wersja z dnia 21:53, 15 lis 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Wykłady) Następna edycja → |
||
| Linia 114: | Linia 114: | ||
| * [[Media: mdt3xi2015.pdf | Postacie normalne i prefiksowe.]] 3xi2015 | * [[Media: mdt3xi2015.pdf | Postacie normalne i prefiksowe.]] 3xi2015 | ||
| * [[Media: mdt10xi2015ta.pdf | Tablice analityczne.]] 10xi2015 | * [[Media: mdt10xi2015ta.pdf | Tablice analityczne.]] 10xi2015 | ||
| - | * Rezolucja | + | * [[Media: mdt06.pdf | Rezolucja.]] 17xi2015 |
| * Dedukcja naturalna | * Dedukcja naturalna | ||
| * Rachunki sekwentów | * Rachunki sekwentów | ||
| - | * Dual tableaux (diagramy Rasiowej-Sikorskiego) | + | * Unifikacja |
| - | * Metody dowodowe: zalety, wady, wzajemne związki | + | |
| - | * Wybrane twierdzenia metalogiczne i metody ich dowodzenia | + | |
| * Teoria rekursji a metody dowodowe | * Teoria rekursji a metody dowodowe | ||
| - | * Automatyzacja rozumowań | + | * Wybrane twierdzenia metalogiczne i metody ich dowodzenia |
| * Rozstrzygalność | * Rozstrzygalność | ||
| + | * Automatyzacja rozumowań | ||
| * Dowody matematyczne | * Dowody matematyczne | ||
Wersja z dnia 21:53, 15 lis 2015
Spis treści |
dr Victoria Kamasa
Archiwum:
- Analiza danych w naukach filologicznych (WSD)
- Prezentacja akademicka (WSD)
- Seminarium 2015
- Seminarium 2014
- Seminarium 2013 (tu: ukończone prace licencjackie wraz z recenzjami)
- Seminarium 2012 (tu: ukończone prace licencjackie wraz z recenzjami)
- Seminarium 2011 (tu: ukończone prace licencjackie wraz z recenzjami)
- Filozofia z elementami logiki
- Filozofia z elementami logiki
- Socjolingwistyka
- Przedsiębiorczość dla językoznawców
dr hab. Włodzimierz Lapis
dr Michał Lipnicki
Archiwum:
dr Dorota Lipowska
dr Sławomir Sikora
mgr Ida Stria
Archiwum:
mgr Anna Wartecka
Zakład Logiki i Kognitywistyki UAM
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
- Rachunki sekwentów
- Unifikacja
- Teoria rekursji a metody dowodowe
- 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
