docDetekce tautologie pomocí BDD Michal Navrkal
download 
Stížnost Podobné dokumenty
Měřič výkonnostních charakteristik OpenGL - merlin
Implementační jazyk:
C++
Operační systém:
Linux, Windows
Literatura:
www.opengl.org
Optoelektronické metody 3D zaměření povrchů předmětů
skenování. Od začátku 21. století již můžeme hovořit o jejím běžném komerčním nasazení.
Tato technologie ohromila obrovskou efektivností sběru dat. Laserové skenovací systémy
(LSS) dokážou při využ...
SAT - České vysoké učení technické v Praze
České vysoké učení technické v Praze
Fakulta elektrotechnická
Objektové programování 1 - Starší publikace a seriály
v úvahu – bylo by totiž nutno znovu otestovat všechny starší programy, které modifikované podprogramy využívaly, a to bylo většinou mnohem nákladnější než napsat všechny podprogramy znovu.
Tyto vše...
Objektové programování 2 - Starší publikace a seriály
o nástroj pro vývoj aplikací pro Windows 3.1, resp. Windows 95.
První kapitola této knihy navazuje na seriál „Cesta k profesionalitě“, který vycházel
v letech 1992 – 1994 v časopisu ComputerWorld a...
Reprezentace Booleovských funkcí
V tomto paragrafu popíšeme deterministické rozhodovací diagramy, které v každém větvícím uzlu testují jednu proměnnou. Kromě obecných rozhodovacích diagramů budeme zkoumat jejich podtřídy, konkrétn...
2. Vizualizace grafů
jednoduchým způsobem zjistit ohodnocení funkce, viz kapitola 2.2.
Svou bakalářskou práci jsem rozdělil do pěti kapitol. V první
kapitole se zaměřuji na nejdůležitější pojmy úzce související s touto...
podklady pro tvorbu ŠVP v PDF - H-mat
Používá desetinná čísla (tisíciny až miliontiny), periodická čísla, periodu, předperiodu, zlomky (s dvoucifernými
a trojcifernými jmenovateli), složený zlomek, smíšené
číslo, převrácené číslo, zápo...
