• The continuum function on regular cardinals in the presence of large cardinals 

      Defence status: DEFENDED
      Blicha, Martin (Univerzita Karlova, Filozofická fakulta, 2014)
      Date of defense: 6. 2. 2014
      This 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: DEFENDED
      Blicha, Martin (Univerzita Karlova, Filozofická fakulta, 2010)
      Date of defense: 17. 9. 2010
      V 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: DEFENDED
      Blicha, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)
      Date of defense: 7. 9. 2015
      Hledá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: DEFENDED
      Blicha, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)
      Date of defense: 12. 9. 2016
      V č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. ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV