Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Jerzy Pogonowski - Logika Matematyczna

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 18:32, 24 mar 2008 (edytuj)
Pogonowski (Dyskusja | wkład)
(Semestr letni)
← Poprzednia edycja
Wersja z dnia 10:17, 25 mar 2008 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Semestr letni)
Następna edycja →
Linia 46: Linia 46:
* Unifikacja i rezolucja w KRP. * Unifikacja i rezolucja w KRP.
* Informacja o rachunku sekwentów Gentzena dla KRP. * Informacja o rachunku sekwentów Gentzena dla KRP.
-* Dodatek 10. Dowody twierdzeń dotyczących semantyki KRP. Rozwiązania zadań.+* [[Media: semkrp.pdf | Dodatek 10. Dowody twierdzeń dotyczących semantyki KRP. ]]
-* [[Media: tabkrp.pdf | Dodatek 11. Trafność i pełność metody TA w KRP. Przykłady. Zadania. ]]+* [[Media: semkrpzad.pdf | Dodatek 11. Rozwiązania zadań z semantyki KRP. ]]
 +* [[Media: tabkrp.pdf | Dodatek 12. Trafność i pełność metody TA w KRP. Przykłady. Zadania. ]]
[[Category:Pracownicy]] [[Category:Pracownicy]]
[[Category:Dydaktyka]] [[Category:Dydaktyka]]

Wersja z dnia 10:17, 25 mar 2008

Spis treści

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line


Logika Matematyczna (2007-2008, I JiNoI)

Semestr zimowy

Semestr letni