Results 121 to 130 of about 1,614 (149)

Aksiomatska semantika IMP-a

2017
In this master’s thesis we study the axiomatic semantics of IMP. We turn to the business of systematic verification of programs in IMP. The Hoare ru les for showing the partial correctness of programs are introduced and shown sound. This involves extending the boolean expressions to a rich language of assertions about program states.
openaire   +1 more source

Semantika tsvetooboznacheniia v nazvaniiakh arabskikh i russkikh literaturnykh proizvedenii

Interaktivnaâ Nauka, 2023
exaly  

Demokracija i semantika krize

2014
U radu se na osnovi Koselleckovog modela krize govori o krizi demokracije kao stalnom stanju, prijelaznom stanju koje vodi obnovi demokracije i o krizi (demokracije) koje je fatalna. Pokazuje se da ne treba demokraciju reducirati na institucije liberalne demokracije. Tek tako demokracija može imati potencijal za svoju obnovu.
openaire  

Ekrem Čaušević, Ustroj, sintaksa i semantika infinitnih glagolskih oblika u turskom jeziku. Turski i hrvatski jezik u usporedbi i kontrastiranju, Ibis grafika, Zagreb, 2018 (358 str.)

Suvremena Lingvistika, 2018

exaly  

Informacija, simbolika i semantika

1997
-
openaire  

Keele mõistmise modelleerimine arvutil : semantika, ontoloogia ja sündmuste esitus kahe valdkonna näitel

Keel Ja Kirjandus, 2020
exaly  

Review of: О. Ю. Инькова (ред.). Семантика коннекторов: контрастивное исследование. М.: ТОРУС ПРЕСС, 2018. 368 с. [O. Yu. Inkova (ed.). Semantika konnektorov: kontrastivnoe issledovanie [Semantics of connectives: A contrastive study]. Moscow: TORUS PRESS, 2018. 368 p.]. ISBN 978-5-94588-233-1

Voprosy Yazykoznaniya, 2019
exaly  

MORSEMIK: Paglinang sa pang-unawang Morpoponemiko at Semantika

International Journal of Research Studies in Education
Felisa D Marbella
exaly  

Semantika

2011
openaire   +1 more source

Inta Freimane un semantika, sintakse, valodas kultūra

Res Latvienses, 2017
exaly