Results 101 to 110 of about 9,226 (169)

ТЕРМІНОЛОГІЧНА ДЕРИВАЦІЯ В НАУКОВО-ТЕХНІЧНІЙ СФЕРІ АНГЛІЙСЬКОЇ МОВИ [PDF]

, 2013
Статтю присвячено аналізу специфіки функціональної організації конкретної галузевої термінології для подальшого розвитку теоретичного і прикладного термінознавства. Розглянуто семантично-порівняльний аналіз, зіставлення функцій термінів та їх значення.
Помігуєва, Л. П.
core  

Denotacijska semantika PCF

, 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

The interpretability logic ILF [PDF]

, 1998
In this paper we determine a characteristic class of IL_{set} frames for the principle F. Then we prove that the principle P is not provable in the system ILF.
M. Vuković
core   +1 more source

Ojkonimi gospićkog područja

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ć, Sanja Vrcić-Mataija   +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  

Semantika i dizajn

, 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

Vloga izvirnika pri pomenoslovnih vprašanjih v svetopisemskem gradivu za slovar slovenskih protestantskih piscev 16. stoletja

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  

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