docDetekce tautologie Bc. Jan Schindler
download 
Stížnost Podobné dokumenty
pdf, 1 MB - Excerpta z teoretické chemie
jako jedna z fundamentálních vlastností chemie je problémem fyziky otevřených systémů. O
sjednocení náhledu na problém se pokusili Prodan a Kohn (2005) a navrhli řešení pro velké
molekuly nazvané (...
Téma 11 - Excerpta z teoretické chemie
výklad (Tachibana, Parr 2004) je v souladu s koncepcí regionální tvrdosti a měkkosti a
doplňuje obraz teorie HSAB. Docházíme tedy v první reakční fázi k epizodě EPI1
Teorie jazyku˚ a automatu - RNDr. Šárka Vavrečková, Ph.D.
Nedeterministický konečný automat je takový automat, kde v alespoň jednom stavu lze na
některý signál reagovat vı́ce různými způsoby. Platı́ (viz přednášky), že třı́da jazyků rozpo...
zkoušky.
Úloha 1.
Uvažujme graf sestávajı́cı́ z d cest délky ` + 1, všechny spojeny na
jednom konci v hvězdu.
a) Pro náhodnou procházku začı́najı́cı́ v prostředku hvězdy, jaká je očekávaná do...
Minimalizace ne´uplne urcen´ych logick´ych funkcı pomocı
Velké dı́ky Zdeňkovi P., Petrovi F. a Aleně F. za toleranci v zaměstnánı́, nezištnou odbornou
pomoc, korekturu, pochopenı́ a podporu.
Adaptace v algoritmu diferenciáln´ı evoluce
populace P . Na proces vývoje populace může být nazı́ráno i tak, že každý
prvek populace se vyvı́jı́ – hledá si v po sobě jdoucı́ch generacı́ch populace
neustále lepšı́ a lepšı́ umı́st...
Matematická logika
Konvence
L-struktury budeme zkráceně označovat tučnou variantou téhož
písmene, kterým je označeno universum. Dále místo interpretace JPK
ve struktuře A pro P ∈ L budeme psát P A . Pokud je jaz...
DIPLOMOV´A PR´ACE Štepán Henek Bezpecnostn´ı
V modernı́ době se běžně setkáváme s výpočetnı́mi systémy, které jsou vyžı́vány vı́ce než jedenı́m
uživatelem. Jedná se napřı́klad o veřejně přı́stupné počı́tače v internetovy...
