nastavit jako výchozí stránku
   
   kultura

Emmerich
 Roland, *10.11.1955 (Stuttgart, Německo), americký filmový režisér, scenárista a producent...

Washington
 [Vošingtn], Denzel, *28.12.1954 (Mount Vernon, New York, USA), americký filmový a televizní...

Brown
 [Braun], James, *3.5.1933 (Augusta, Georgia) – †25.12.2006, americký černošský zpěvák. Ve...

Holki
 Česká dívčí vokální skupina, kterou od roku 1999 tvořily konzervatoristky Klára Kolomazníková (*12...

Abraxas
 Česká hudební rocková skupina vzniklá v roce 1976 a hrající dnes ve složení: Slávek Janda...


dynamická logika
Formální systém vytvořený převážně pracovníky v oblasti teorie počítačů, který zobecňuje a rozšiřuje klasickou logiku tak, že vedle formálních výroků obsahuje i formální program. Dynamická logika se v mnohém shoduje s tzv. algoritmickou logikou, která však studuje pouze deterministické programy, zatímco obecnější dynamická logika zahrnuje i programy nedeterministické. Oproti výrokovému kalkulu klasická logika užívá dynamický výrokový kalkul i atomické programy, programové spojky (sjednocení, iterace a konkatenace) a modality "možný" a "nutný".


 
Vytvořeno: 14.3.2000
Aktualizováno: 18.10.2006
Autor:





Texty encyklopedických hesel mohou obsahovat slova nebo slovní spojení, která mohou
být ochrannými známkami nebo registrovanými ochrannými známkami příslušných vlastníků.

© 1999 - 2017, OPTIMUS s.r.o.