Browsing by Author "Blicha, Martin"
Now showing items 1-4 of 4
-
The continuum function on regular cardinals in the presence of large cardinals
Defence status: DEFENDEDBlicha, Martin (Univerzita Karlova, Filozofická fakulta, 2014)Date of defense: 6. 2. 2014This thesis examines the interactions between the continuum function and large cardinals. It is know, by a result of Easton, that the continuum function on regular cardinals has great freedom in ZFC. However, large cardinals ... -
Implikační fragmenty intuicionistické výrokové logiky
Defence status: DEFENDEDBlicha, Martin (Univerzita Karlova, Filozofická fakulta, 2010)Date of defense: 17. 9. 2010V predloženej práci študujeme implikačné fragmenty intuicionistickej výrokovej logiky s konečným počtom atómov. V prvej časti sa podrobnejšie venujeme fragmentu s dvomi atómami, ktorý je dostatočne jednoduchý, aby v ňom ... -
Konstrukce modelů v polynomiální reprezentaci
Defence status: DEFENDEDBlicha, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 7. 9. 2015Hledání konečných modelů je problém definovaný takto: k dané teorii prvořádové logiky najít její konečný model. V této práci předkládáme nový způsob řešení tohoto problému, který je založen na překladu axiomů na sous- tavu ... -
Methods for reduction of Craig's interpolant size using partial variable assignment
Defence status: DEFENDEDBlicha, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 12. 9. 2016V čase, ktorý ubehol od prvého použitia interpolantov v oblasti symbolického overovania modelov (symbolic model checking), sa metódy založené na interpolantoch s úspechom uplatnili v oblasti overovania hardvéru aj softvéru. ...