Predložená diplomová práca je venovaná problematike lokalizácie porúch prostredníctvom závislého testu. Štúdiom danej problematiky sme zistili, že závislý test je z hľadiska prezentácie výsledkov čitateľnejší pre užívateľa ako nezávislý. Výsledok sa totiž zobrazuje v lokalizačnom strome a nie v menej prehľadných tabuľkách. Prácu sme riešili ako www stránku s appletom, pracujúcu v štyroch režimoch. Návrh a implementáciu sme vykonali v prostredí IntelliJ IDEA 10, v rámci objektovo orientovaného pr...

Semantika VL Metaveta 8 Relácia výrokovej ekvivalencie je metamatematickou ekvivalenciou na systéme všetkých formúl výrokovej logiky. Overenie. Pre lubovolné ohodnotenie π je