Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 16:19, 5 paź 2015 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 16:25, 5 paź 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Zakład Logiki i Kognitywistyki UAM) Następna edycja → |
||
| Linia 99: | Linia 99: | ||
| [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Curriculum_Vitae Jerzy Pogonowski] | [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Curriculum_Vitae Jerzy Pogonowski] | ||
| + | |||
| + | ==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: mdt02.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 | ||
| + | * Metoda aksjomatyczna | ||
| + | * Postacie normalne i prefiksowe | ||
| + | * Tablice analityczne Smullyana | ||
| + | * Rezolucja | ||
| + | * Dedukcja naturalna | ||
| + | * Rachunki sekwentów | ||
| + | * Dual tableaux (diagramy Rasiowej-Sikorskiego) | ||
| + | * Metody dowodowe: zalety, wady, wzajemne związki | ||
| + | * Wybrane twierdzenia metalogiczne i metody ich dowodzenia | ||
| + | * Teoria rekursji a metody dowodowe | ||
| + | * Automatyzacja rozumowań | ||
| + | * Rozstrzygalność | ||
| + | * Dowody matematyczne | ||
| + | |||
| + | ===Konwersatoria=== | ||
| + | |||
| + | * [[Media: kon01.pdf | 6 października 2015]] | ||
| + | * [[Media: kon02.pdf | 13 października 2015]] | ||
| + | * UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski | ||
Wersja z dnia 16:25, 5 paź 2015
Spis treści |
dr Victoria Kamasa
- Seminarium 2015
- Wprowadzenie do Krytycznej Analizy Dyskursu
- Praktyczna metodologia...
- Prezentacja akademicka (WSD)
- Proseminarium licencjackie (JK)
- Przedsiębiorczość dla językoznawców
Archiwum:
- Analiza danych w naukach filologicznych (WSD)
- 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
- Logika
- Socjolingwistyka
- Statystyka (JiNoI)
- Statystyka (JK)
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
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
- Postacie normalne i prefiksowe
- Tablice analityczne Smullyana
- Rezolucja
- Dedukcja naturalna
- Rachunki sekwentów
- Dual tableaux (diagramy Rasiowej-Sikorskiego)
- Metody dowodowe: zalety, wady, wzajemne związki
- Wybrane twierdzenia metalogiczne i metody ich dowodzenia
- Teoria rekursji a metody dowodowe
- Automatyzacja rozumowań
- Rozstrzygalność
- Dowody matematyczne
Konwersatoria
- 6 października 2015
- 13 października 2015
- UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski
