nastavit jako výchozí stránku
   
   kultura

Dvořák
 Jan, *14.8.1925 – †16.1.2006, český výtvarník, loutkoherec, režisér a pedagog. Vystudoval...

Clou
 Česká pražská hudební skupina založená koncem roku 2001 členy skupiny Unsized Upkids Lukášem...

Langerová
 Aneta, *26.11.1986 (Benešov), česká zpěvačka, vítězka prvního ročníku soutěže Česko hledá SuperStar...

Craig
 [Krejg], Daniel, *11.11.1968 (Chester, Cheshire, Velká Británie), vlastním jménem Daniel Wroughton...

Kulhánek
 Jiří, *31.12.1967 (Brandýs nad Labem), český spisovatel, autor knih na pomezí žánru sci-fi a ...


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 - 2018, OPTIMUS s.r.o.