nastavit jako výchozí stránku
   
   kultura

Redford
 Robert, *18.8.1937 (Santa Monica, Kalifornie), vlastním jménem Charles Robert Redford jr., významný...

Ford
 John, *1.2.1893 (Cape Elizabeth, Maine, USA) – †31.8.1973 (Palm Desert, Kalifornie, USA...

Rolling Stones
 Britská hudební skupina založená v červnu 1962 Mickem Jaggerem (zpěv) a Keithem Richardsem...

Glover
 Danny, *22.7.1946 (San Francisco, Kalifornie, USA), vlastním jménem Daniel Lebern Glover, americký...

Balogová
 Martina, *11.11.1978 (Ústí nad Labem), česká popová zpěvačka. V osmnácti letech účinkovala...


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.