Počet záznamů: 1
Formalizace spojky implikace v klasické a neklasické logice
Údaje o názvu Formalizace spojky implikace v klasické a neklasické logice [rukopis] / Michal Šedík Další variantní názvy Formalizace spojky implikace v klasické a neklasické logice Osobní jméno Šedík, Michal (autor diplomové práce nebo disertace) Překl.náz Formalization of the propositional connective implication in a classical as well as non-classical logic Vyd.údaje 2009 Poznámka Ved. práce Ivan Chajda Dal.odpovědnost Chajda, Ivan, 1946- (vedoucí diplomové práce nebo disertace) Kühr, Jan (zkoušející) Emanovský, Petr, 1959- (oponent) Dal.odpovědnost Univerzita Palackého. Katedra algebry a geometrie (udelovatel akademické hodnosti) Forma, žánr diplomové práce master's theses MDT (043)378.2 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Mgr. Studijní program Magisterský Studijní program Fyzika Studijní obor matematika - fyzika 
kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 9239-545766566.pdf 9 189.1 KB 26.06.2009 Posudek Typ posudku 9239-ved-308775349.doc Posudek vedoucího 9239-opon-854299635.doc Posudek oponenta
Počet záznamů: 1