nastavit jako výchozí stránku
   
   kultura

Burian
 Jan, *26.3.1952 (Praha), český písničkář a spisovatel. V letech 1974–1985 tvořil...

Poe
 [Pou], Edgar Allan, *19.1.1809 (Boston) – †7.10.1849 (Baltimore), americký romantický básník...

Sturges
 John, *3.1.1911 (Oak Park, Illinois, USA) -†18.8.1992 (San Luis Obispo, Kalifornie, USA), vlastním...

Moimir Papalescu & The Nihilists
 Česká pražská hudební skupina založená v létě roku 2003 jako trio ve složení: Moimir Papalescu...

Horkýže slíže
 Slovenská hudební punková skupina založená v Nitře v listopadu roku 1992 ve složení Peter...


deklarativní a cílově orientovaná sémantika
Rozdílné sémantiky programovacích jazyků, tzv. logického programování (například PROLOG), kdy cílově orientovaná (procedurální) sémantika interpretuje funktory označené za predikáty jako cíle (G, jestliže A, B, C), tj. cíl je splněn, jsou-li splněny A, B i C. Deklarativní sémantika pohlíží na predikáty jako na formule predikátového počtu, tj. G je pravdivý, jsou-li A, B i C pravdivé, což lze interpretovat: A∧B∧C→G nebo G∨¬A∨¬B∨¬C, nebo deklarativní sémantika neuvažuje pořadí formulí v pravidle.
Viz také procedurální a deklarativní jazyk.


 
Vytvořeno: 14.3.2000
Aktualizováno: 12.12.2008
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.