Site programming by Marcin Junczys-Dowmunt



 
 
 

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:


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

Konwersatoria

Zagadki