nastavit jako výchozí stránku
   
   kultura

Redl
 Vlastimil, *14.4.1959, český folkový písničkář. Zpočátku hrával na bigbítových tancovačkách v ...

Kusturica
 Emir, *24.11.1954 (Sarajevo, bývalá Jugoslávie), bosenský filmový a televizní režisér, hudebník...

Capra
 [Kapra], Frank, *19.5.1897 (Bisacquino u Palerma, Sicílie, Itálie) – †3.9.1991 (La Quinta...

Hutka
 Jaroslav, *21.4.1947 (Olomouc), český písničkář. V letech 1962–1966 studoval na Střední...

Mae
 [Mej], Vanessa, *27.10.1978 (Singapur), vlastním jménem Vanessa Vanakorn Nicholson, britská...


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.