nastavit jako výchozí stránku
   
   kultura

Gulo čar
 [Romsky sladká tráva], česká brněnská hudební skupina založená roku 1997 po rozpadu kapely Synergy...

Adamová
 Jaroslava, *15.3.1925 (Praha, Československo) – †16.6.2012 (Praha, Česká republika), česká...

Rossellini
 Isabella, *18.6.1952 (Řím, Itálie), v USA žijící italská filmová herečka a modelka. Je...

Bowie
 David, *8.1.1947 (Londýn) – †10.1.2016 (New York), vlastním jménem David Robert Jones, britský...

Hammel
 Pavol, *7.12.1948 (Bratislava), slovenský zpěvák, kytarista a skladatel. V mládí hrál na...


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.