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 14:02, 5 lip 2008 (edytuj)
Pogonowski (Dyskusja | wkład)
(Semestr letni)
← Poprzednia edycja
Wersja z dnia 07:12, 7 lip 2008 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Semestr zimowy)
Następna edycja →
Linia 23: Linia 23:
* [[Media: logmat6xii2007.pdf | Dowody założeniowe w KRZ. ]] 6 i 13 grudnia 2007. * [[Media: logmat6xii2007.pdf | Dowody założeniowe w KRZ. ]] 6 i 13 grudnia 2007.
* [[Media: logmat20xii2007.pdf | Dowody rezolucyjne w KRZ. ]] 20 grudnia 2007. * [[Media: logmat20xii2007.pdf | Dowody rezolucyjne w KRZ. ]] 20 grudnia 2007.
-* [[Media: logmat03012008.pdf | Tablice analityczne dla KRZ. ]] 3, 10 i 17 stycznia 2008.+* [[Media: logmat03012008.pdf | Tablice analityczne dla KRZ. ]] 3, 10, 17 i 24 stycznia 2008.
* [[Media: logmatdod01.pdf | Dodatek 1. Dowody niektórych twierdzeń dot. semantyki KRZ. ]] * [[Media: logmatdod01.pdf | Dodatek 1. Dowody niektórych twierdzeń dot. semantyki KRZ. ]]

Wersja z dnia 07:12, 7 lip 2008

Spis treści

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


Logika Matematyczna (2007-2008, I JiNoI)

Semestr zimowy

Semestr letni