Site programming by Marcin Junczys-Dowmunt



 
 
 

Dydaktyka

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 19:30, 14 gru 2015 (edytuj)
Pogonowski (Dyskusja | wkład)
(Konwersatoria)
← Poprzednia edycja
Wersja z dnia 19:44, 14 gru 2015 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Wykłady)
Następna edycja →
Linia 118: Linia 118:
* [[Media: mdt08.pdf | Rachunki sekwentów.]] 1xii2015 * [[Media: mdt08.pdf | Rachunki sekwentów.]] 1xii2015
* [[Media: mdt09.pdf | Unifikacja.]] 8xii2015 * [[Media: mdt09.pdf | Unifikacja.]] 8xii2015
-* [[Media: mdt10.pdf | Funkcje rekurencyjne.]] 15xii2015+* [[Media: mdt15xii2015.pdf | Funkcje rekurencyjne.]] 15xii2015
* Wybrane twierdzenia metalogiczne i metody ich dowodzenia * Wybrane twierdzenia metalogiczne i metody ich dowodzenia
* Rozstrzygalność * Rozstrzygalność

Wersja z dnia 19:44, 14 gru 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