nastavit jako výchozí stránku
   
   kultura

Penn
 Arthur, *27.9.1922 (Filadelfie, Pensylvánie, USA) – †28.9.2010 (New York, USA), americký...

Chinaski
 Česká hudební skupina vzniklá roku 1987 pod názvem Starý Hadry. Jejími zakládajícími členy byli...

Wenders
 [Vendrs], Wim, *14.8.1945 (Düsseldorf, Německo), vlastním jménem Ernst Wilhelm Wenders, německý...

Dido
 *25.12.1971 (Londýn), plným jménem Florian Cloud De Bounevialle Armstrong, britská zpěvačka. Od pěti...

Daněk
 Stanislav "Wabi", *30.1.1947 (Zlín), český folkový písničkář. V roce 1965 se vyučil zámečníkem...


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