Hledat
Zobrazují se záznamy 1-2 z 2
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 ...
Ultrapower construction in set theory
Ultramocninová konstrukce v teorii množin
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2011
Datum obhajoby: 22. 09. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Předložená práce obsahuje historii vzniku míry, její souvislost s měřitelnými kardinály a shrnutí všech základních definic a pojmů potřebných k zobecnění ultramocninové konstrukce v teorii modelů pro vlastní třídy. Součástí ...
The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in ...
The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in ...