nastavit jako výchozí stránku
   
   kultura

Bye
 Ed, plným jménem Edward Richard Morrison Bye, britský filmový a televizní režisér a ...

Travolta
 John, *18.2.1954 (Englewood, New Jersey, USA), vlastním jménem John Joseph Travolta, americký...

Paltrow
 [Paltrou], Gwyneth, *28.9.1972 (Los Angeles, USA), vlastním jménem Gwyneth Kate Paltrow, americká...

Kollerband
 Česká hudební pop-rocková skupina hrající ve složení: David Koller (zpěv), Oldřich Krejčoves (kytara...

Mendes
 Sam, *1.8.1965 (Reading, Berkshire, Velká Británie), vlastním jménem Samuel Alexander Mendes...


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