Results 141 to 148 of about 9,129 (148)
Some of the next articles are maybe not open access.
2018
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
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
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
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
LEKSIK SEMANTIKA VA SO'Z MA'NOLARI
Mazkur maqolada so‘z ma’nosini o‘rganish bilan bog‘liq asosiy lingvistik tushunchalar yoritilgan. Unda so‘zning ma’nosi kontekstga bog‘liq ravishda o‘zgarishi, leksik birliklarning o‘zaro semantik munosabatlari, shuningdek, lemmatizatsiya jarayoni haqida so‘z yuritiladi.openaire +1 more source