nastavit jako výchozí stránku
   
   kultura

Chytilová
 Věra, *2.2.1929 (Ostrava) – †12.3.2014 (Praha), česká filmová a televizní režisérka...

Ki-duk
 Kim, *1.1.1960 (sever provincie Kyonsang, Jižní Korea), jihokorejský filmový režisér a ...

Hladík
 Radim, *13.12.1946 (Praha) – †4.12.2016(Praha), český kytarista, skladatel a producent...

Cage
 [Kejdž], Nicolas, *7.1.1964 (Long Beach, Kalifornie, USA), vlastním jménem Nicolas Kim Coppola...

Bellucci
 [Beluči], Monica, *30.9.1968 (Cittá di Castello, Perugia, Itálie), vlastním jménem Monica Anna Maria...


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.