Site programming by Marcin Junczys-Dowmunt



 
 
 

Dydaktyka

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 13:23, 22 paź 2015 (edytuj)
Kamasa (Dyskusja | wkład)
(dr Victoria Kamasa)
← Poprzednia edycja
Wersja z dnia 06:38, 27 paź 2015 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Wykłady)
Następna edycja →
Linia 110: Linia 110:
* [[Media: mdt13x2015.pdf | Własności niesprzeczności, lemat Hintikki, twierdzenie o istnieniu modelu. Ogólne operacje konsekwencji.]] 13x2015 * [[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 * UWAGA: zajęcia 20 października 2015 poprowadzi Pan mgr Szymon Chlebowski
-* Metoda aksjomatyczna+* [[Media: mdt03.pdf | Metoda aksjomatyczna.]]27x2015
* Postacie normalne i prefiksowe * Postacie normalne i prefiksowe
* Tablice analityczne Smullyana * Tablice analityczne Smullyana

Wersja z dnia 06:38, 27 paź 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