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 10:17, 25 mar 2008 (edytuj)
Pogonowski (Dyskusja | wkład)
(Semestr letni)
← Poprzednia edycja
Wersja z dnia 10:21, 25 mar 2008 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Semestr letni)
Następna edycja →
Linia 40: Linia 40:
* [[Media: logmat28022008.pdf | Semantyka KRP (2). ]] 28 lutego 2008. * [[Media: logmat28022008.pdf | Semantyka KRP (2). ]] 28 lutego 2008.
* [[Media: logmat06032008.pdf | Semantyka KRP (3). Zadania. ]] 6 marca 2008. * [[Media: logmat06032008.pdf | Semantyka KRP (3). Zadania. ]] 6 marca 2008.
-* [[Media: logmattabkrp1.pdf | Tablice analityczne dla KRP (1). ]] 27 marca 2008.+* [[Media: logmattabkrp1.pdf | Tablice analityczne dla KRP (1). ]] 27 marca, 3 kwietnia 2008.
-* [[Media: logmattabkrp2.pdf | Tablice analityczne dla KRP (2). ]] W kwietniu 2008.+* [[Media: logmattabkrp2.pdf | Tablice analityczne dla KRP (2). ]] 10 kwietnia 2008.
* Aksjomatyczne ujęcie KRP. * Aksjomatyczne ujęcie KRP.
* Dowody założeniowe w KRP. * Dowody założeniowe w KRP.

Wersja z dnia 10:21, 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