Results 101 to 110 of about 9,107 (149)
, 2020 A typed functional programming language, called PCF, is presented in this thesis together with its type checking rules, substitution rules and its operational semantics. The safety theorem is proven. It is shown that recursion is a fixed point. Domains, which are motivated by an attempt of implementing naive semantics, are presented.
openaire +1 more source
Topološka semantika modalne logike
Math.e, 2019 Modalna logika prvenstveno je formalizacija relacijskih struktura, što se može reći i za logiku prvog reda, ali nasuprot njoj ima jednostavniju sintaksu koja omogućuje odlučivost, te specifični lokalni pogled iznutra na relacijske strukture. U ovom radu1 predstavit ćemo alternativnu, topološku semantiku modalne logike.
Perkov, Tin, Pažek, Bojan
openaire +4 more sources
Folia Onomastica Croatica, 2010 U radu se donosi uvid u problematiku imena pedeset gospićkih naselja od kojih jedno ima status grada. Uz povijesnu i geografsku kontekstualizaciju ojkonimi se analiziraju semantički i strukturno.
Vesna Grahovac-Pražić +1 more
doaj
Spol in besedni red v dvoimenskih prirednih zvezah
Slavistična Revija, 2019 Članek se osredotoča na dvoimenske priredne zveze z veznikom in, kjer se pojavljata samostalnika ženskega in moškega spola, ki označujeta osebe. V članku poskušamo osvetliti kompleksnost dejavnikov, ki vplivajo na besedni red v omenjenih zvezah.
Gregor Perko
doaj
Kolaborativni slovar Razvezani jezik
Slavistična Revija, 2014 V zadnjih petnajstih letih smo priča razcvetu t. i. kolaborativnih slovarjev, ki jih na spletu piše širše bralstvo. V naši študiji preučujemo delovanje, obliko in posebnosti kolaborativnih slovarjev, ki sodijo na področje participativne leksikografije ...
Kaja Dolar
doaj
Slavistična Revija, 2009 Po teoriji prevajanja Erazma Rotterdamskega je izvirnik, določanje pomena ob preverjanju izvirnika, temeljni pomenoslovni prevajalski in s tem tudi leksikološki kriterij tako v 16. stoletju kot danes. Zato je avtorica uvrstila vzporejanje geselske besede
Francka Premk
doaj
, 2007 Dizajn vizualnih komunikacija je djelatnost koja se ne bavi isključivo produkcijom slika, već analizom, organizacijom i metodama prezentiranja vizualnih rješenja problema komuniciranja, bilo da se radi o gospodarskoj, kulturnoj ili društvenoj sferi. Zadatak je dizajnera vizualnih komunikacija, prema tome, da pronalazi primjerena i ispravna rješenja za ...
openaire +1 more source
Corpus Linguistics and Lexical Descriptions of the Slovenian Language
Slavistična Revija, 2006 In the last decade, corpus linguistics has finally established itself as a separate research starting point, strictly empirical in nature; in the last few years its status of a separate research starting point has emerged in Slovenia as well. Corpora are,
Vojko GORJANC
doaj
Fraseologismide semantika uurimisvõimalused
, 2011 Doktoritöö põhieesmärgiks on eesti fraseoloogilise ainese analüüsi suhestamine viimaste aastate uurimissuundadega fraseoloogiauurimises. Töö sissejuhatavas teoreetilises ülevaates pürin uute lähenemiste toel fraseoloogia olulisemate mõistete avamisele. Keskendun eelkõige fraseologismidega seotud motivatsiooni-probleemistikule ning toon välja põhilised ...
openaire +1 more source
Ida Raffaelli: Značenje kroz vrijeme. Poglavlja iz dijakronijske semantike. Zagreb, Naklada Disput, 2009., 315 str. [PDF]
, 2010 August Kovačec
core +1 more source