Hledat
Zobrazují se záznamy 1-1 z 1
Výroková logika a algebra
Výroková logika a algebra
Diplomová práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2008
Datum obhajoby: 10. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Algebraic proof systems of which the most important are the polynomial calculus and the Nullstellensatz proof system are proof systems that use algebraic means for proving propositional tautologies - they are based on ...