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 16:12, 21 wrz 2008 (edytuj)
Pogonowski (Dyskusja | wkład)
(Semestr zimowy)
← Poprzednia edycja
Wersja z dnia 16:12, 21 wrz 2008 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Semestr zimowy)
Następna edycja →
Linia 29: Linia 29:
* [[Media: tezyreguly.pdf | Dodatek 5. Lista tez i reguł wyprowadzonych na wykładach 8-9. ]] * [[Media: tezyreguly.pdf | Dodatek 5. Lista tez i reguł wyprowadzonych na wykładach 8-9. ]]
* [[Media: rezolkrz.pdf | Dodatek 6. Trafność i pełność metody rezolucji w KRZ. ]] * [[Media: rezolkrz.pdf | Dodatek 6. Trafność i pełność metody rezolucji w KRZ. ]]
-* [[Media: tabkrz.pdf | Dodatek 7. Trafność i pełność metody TA dla KRZ. Przykłady. Zadania. ]]+* [[Media: tabkrz.pdf | Dodatek 7. Trafność i pełność metody TA w KRZ. Przykłady. Zadania. ]]
==Semestr letni== ==Semestr letni==

Wersja z dnia 16:12, 21 wrz 2008

Spis treści

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


Logika Matematyczna (2008-2009, I JiNoI)

Semestr zimowy

Semestr letni