Hledat
Zobrazují se záznamy 1-1 z 1
Generalized Boolean models and classical predicate logic
Zobecněné Booleovské modely a klasická predikátová logika
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2013
Datum obhajoby: 27. 06. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Tato bakalářská práce pojednává o úplných Booleových alge- berách a o jejich užití v semantice prvořádové predikátové logiky. Práce má dva hlavní cíle, v první řadě dokázat, že každá Booleova algebra může být rozšířena na ...
This bachelor thesis is dealing with complete Boolean algebras and its use in semantics of first-order predicate logic. This thesis has two main goals, at first it is to show that every Boolean al- gebra can be extended ...
This bachelor thesis is dealing with complete Boolean algebras and its use in semantics of first-order predicate logic. This thesis has two main goals, at first it is to show that every Boolean al- gebra can be extended ...