nastavit jako výchozí stránku
   
   kultura

Štěpánek
 Martin, *11.1.1947 (Praha, Československo) – †16.09.2010 (Praha, Česká republika), český...

Ondříček
 David, *23.6.1969 (Praha, Česká republika), český filmový režisér a producent. Je synem...

Foglar
 Jaroslav, *6.7.1907 (Praha) – †23.1.1999 (Praha), český spisovatel zaměřený především na prózu...

Curtis
 Richard, *8.11.1956 (Velká Británie), britský filmový herec, scenárista a režisér. Prosadil se...

Verbinski
 Gore, *16.3.1964 (Tennessee, USA), vlastním jménem Gregor Verbinski, americký filmový režisér...


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.