Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

У Вікіпедії є статті про інші значення цього терміна Семантика значення Сема нтика мови давніше семасіологія розділ мово

Семантика

Семантика
У Вікіпедії є статті про інші значення цього терміна: Семантика (значення).

Сема́нтика мови (давніше семасіологія) — розділ мовознавства, пов'язаний з лексикологією; вивчає значення (теж у діахронному, історичному перекрої) слів і їхніх складових частин, словосполук і фразеологізмів.

Термін походить від грец. σημαντικός (семантікос), «значимий», утвореного з σημαίνω (семаіно) — «значити, вказувати» та також від σήμα (сема) — «знак», «позначка», «символ».

Походить від семантики пов'язаної з визначенням символізму знаків (символи, зображення, ієрогліфи, клинописні знаки, кодові знаки та символьні зображення в астрономії, правилах дорожнього руху, значки в інтернеті).

Мовознавство

Слова за звуковою формою і взаємопов'язанням значеннєвих полів поділяються на полісемні (наприклад, ручка, гатити) й моносемні (наприклад, кисень — в узагальненому чи словниковому й конкретному вживанні); виділяються гомоніми (омоніми) (пара), пароніми (рибалка, рибак), антоніми (білий, чорний) й синоніми (блакитний, голубий), за емоційним забарвленням на чуттєвонейтральні з номінативно-комунікативною функцією (назви конкретних речей: , технічні професіоналізми й наукові та абстрактизми — димар, шило, вуглець, доброта) й чуттєво-забарвлені, що виявляють ще й ставлення мовця до називаної речі чи дії (пейоративізми, в тому числі арґотизми й сленґізми — ножище, ходуля, куля, каліка 'нога', пестливі — ніж(еч)ка, евфемізми й табуїзми — нічний метелик, дівчина легких звичаїв 'повія', лихий 'чорт' урочисті й поетизми — правиця, десниця, рам'я 'рука', що за походженням можуть бути спершу історичними — архаїзми й неологізми — чи географічними  — , діалектизми). Їхнє функційне застосування вивчає стилістика. Систематичного викладу української семантики нема.

Питання семантики переважно висвітлювалися в працях нормативно-стилістичного характеру і в працях про мову окремих письменників або жанрів (М. Левицький, Іван Огієнко, В. Сімович, М. Сулима, М. Гладкий, І. Троян, Б. Ткаченко, В. Ващенко, І. Чередниченко, І. Білодід, Алла Коваль та ін.). Матеріали з семантики окремих слів і груп слів містили журнали, насамперед «Рідна мова» (ред. Іван Огієнко, 1933—1939) і (редактор М. Жовтобрюх, потім Й. Багмут, пізніше Віталій Русанівський, 1967 і далі; від 1971 п. н. «Рідне слово»).

У програмуванні

Докладніше: Семантика мов програмування

У комп'ютерних науках термін семантика означає значення конструкцій мови, на противагу їхній формі ([en]). Згідно з Еузенатом, семантика «надає правила для інтерпретації синтаксису, які не надають значення напряму, але обмежують можливі інтерпретації задекларованого.» В онтологічній інженерії термін семантика означає значення понять, властивостей і зв'язків, які формально визначають сутності та події реального світу на логічному фундаменті, як-от описова логіка, і зазвичай реалізовані мовою Web Ontology Language. Значення понять і ролей описової логіки визначається її теоретико-модельною семантикою, яка базується на інтерпертаціях. Поняття, властивості і зв'язки, описані онтологіями OWL, можуть міститися прямо в розмітці сторінок вебсайтів у форматах RDFa, HTML5 Microdata або JSON-LD, у графових базах даних як [en] або [en] і збиратися в наборах даних [en].

Мови програмування

Семантика мов програмування та інших мов є важливою проблемою і областю досліджень у комп'ютерних науках. Як і синтаксис мови, її семантику можна точно визначити.

Наприклад, наступні вирази використовують різні синтакси, але спричинюють виконання однієї і тієї ж інструкції, а саме обчислити суму x та y і записати результат у змінну x:

Вираз Мови програмування
x += y C, , C#, Java, JavaScript, Python, Ruby, і т. ін.
$x += $y Perl, PHP
x := x + y Ada, ALGOL, [en], BCPL, Dylan, Eiffel, [en], Oberon, OCaml, Object Pascal (Delphi), Pascal, [en], Simula, Smalltalk, Standard ML, VHDL, etc.
MOV EAX,[y]
ADD [x],EAX 		Мова асемблера: Intel 8086
LET X = X + Y BASIC: ранній
x = x + y BASIC: більшість діалектів; Fortran, MATLAB, Lua
ADD Y TO X. ABAP
ADD Y TO X GIVING X COBOL
set /a x=%x%+%y% Пакетний файл
(incf x y) Common Lisp
/x y x add def PostScript
y @ x +! Forth

Розроблено різні способи формального опису семантики мов програмування на основі математичної логіки:

  • Операційна семантика: Значення конструкції мови визначається обчисленнями, які вона провокує під час виконання на машині. Фокусом цієї семантики є як отримується результат обчислень.
  • Денотаційна семантика: Значення моделюються математичними об'єктами, які представляють ефекти обчислення конструкцій. Таким чином, у фокусі є лише результат, а не те, як його було отримано.
  • Аксіоматична семантика: Задає властивості ефекту виконання конструкцій у форматі припущень. Таким чином, деякими аспектами виконання може бути знехтувано.

Семантичні моделі

Семантичною павутиною називають розширення всесвітньої павутини через вставляння семантичних метаданих з використанням таких технологій моделювання семантичних даних, як Resource Description Framework (RDF) та Web Ontology Language (OWL). У семантичній павутині терміни семантична мережа та [en] використовуються для опису певних моделей даних, що характеризуються використанням орієнтованих графів, у яких вершини позначають поняття чи сутності світу та їхні властивості, а ребра — відношення між ними. Формально їх можна описати як концепти і ролі в описовій логіці, які відповідають класам і властивостям в OWL.

Див. також

Література

Посилання

Зноски

  1. Euzenat, Jerome. Ontology Matching. Springer-Verlag Berlin Heidelberg, 2007, p. 36
  2. Sikos, Leslie F. (2017). Description Logics in Multimedia Reasoning. Cham: Springer International Publishing. doi:10.1007/978-3-319-54066-5. ISBN .
  3. Nielson, Hanne Riis; Nielson, Flemming (1995). Semantics with Applications, A Formal Introduction (вид. 1st). Chicester, England: . ISBN .


image Це незавершена стаття з мовознавства.
Ви можете проєкту, виправивши або дописавши її.

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

U Vikipediyi ye statti pro inshi znachennya cogo termina Semantika znachennya Sema ntika movi davnishe semasiologiya rozdil movoznavstva pov yazanij z leksikologiyeyu vivchaye znachennya tezh u diahronnomu istorichnomu perekroyi sliv i yihnih skladovih chastin slovospoluk i frazeologizmiv Termin pohodit vid grec shmantikos semantikos znachimij utvorenogo z shmainw semaino znachiti vkazuvati ta takozh vid shma sema znak poznachka simvol Pohodit vid semantiki pov yazanoyi z viznachennyam simvolizmu znakiv simvoli zobrazhennya iyeroglifi klinopisni znaki kodovi znaki ta simvolni zobrazhennya v astronomiyi pravilah dorozhnogo ruhu znachki v interneti MovoznavstvoSlova za zvukovoyu formoyu i vzayemopov yazannyam znachennyevih poliv podilyayutsya na polisemni napriklad ruchka gatiti j monosemni napriklad kisen v uzagalnenomu chi slovnikovomu j konkretnomu vzhivanni vidilyayutsya gomonimi omonimi para paronimi ribalka ribak antonimi bilij chornij j sinonimi blakitnij golubij za emocijnim zabarvlennyam na chuttyevonejtralni z nominativno komunikativnoyu funkciyeyu nazvi konkretnih rechej tehnichni profesionalizmi j naukovi ta abstraktizmi dimar shilo vuglec dobrota j chuttyevo zabarvleni sho viyavlyayut she j stavlennya movcya do nazivanoyi rechi chi diyi pejorativizmi v tomu chisli argotizmi j slengizmi nozhishe hodulya kulya kalika noga pestlivi nizh ech ka evfemizmi j tabuyizmi nichnij metelik divchina legkih zvichayiv poviya lihij chort urochisti j poetizmi pravicya desnicya ram ya ruka sho za pohodzhennyam mozhut buti spershu istorichnimi arhayizmi j neologizmi chi geografichnimi dialektizmi Yihnye funkcijne zastosuvannya vivchaye stilistika Sistematichnogo vikladu ukrayinskoyi semantiki nema Pitannya semantiki perevazhno visvitlyuvalisya v pracyah normativno stilistichnogo harakteru i v pracyah pro movu okremih pismennikiv abo zhanriv M Levickij Ivan Ogiyenko V Simovich M Sulima M Gladkij I Troyan B Tkachenko V Vashenko I Cherednichenko I Bilodid Alla Koval ta in Materiali z semantiki okremih sliv i grup sliv mistili zhurnali nasampered Ridna mova red Ivan Ogiyenko 1933 1939 i redaktor M Zhovtobryuh potim J Bagmut piznishe Vitalij Rusanivskij 1967 i dali vid 1971 p n Ridne slovo U programuvanniDokladnishe Semantika mov programuvannya U komp yuternih naukah termin semantika oznachaye znachennya konstrukcij movi na protivagu yihnij formi en Zgidno z Euzenatom semantika nadaye pravila dlya interpretaciyi sintaksisu yaki ne nadayut znachennya napryamu ale obmezhuyut mozhlivi interpretaciyi zadeklarovanogo V ontologichnij inzheneriyi termin semantika oznachaye znachennya ponyat vlastivostej i zv yazkiv yaki formalno viznachayut sutnosti ta podiyi realnogo svitu na logichnomu fundamenti yak ot opisova logika i zazvichaj realizovani movoyu Web Ontology Language Znachennya ponyat i rolej opisovoyi logiki viznachayetsya yiyi teoretiko modelnoyu semantikoyu yaka bazuyetsya na interpertaciyah Ponyattya vlastivosti i zv yazki opisani ontologiyami OWL mozhut mistitisya pryamo v rozmitci storinok vebsajtiv u formatah RDFa HTML5 Microdata abo JSON LD u grafovih bazah danih yak en abo en i zbiratisya v naborah danih en Movi programuvannya Semantika mov programuvannya ta inshih mov ye vazhlivoyu problemoyu i oblastyu doslidzhen u komp yuternih naukah Yak i sintaksis movi yiyi semantiku mozhna tochno viznachiti Napriklad nastupni virazi vikoristovuyut rizni sintaksi ale sprichinyuyut vikonannya odniyeyi i tiyeyi zh instrukciyi a same obchisliti sumu x ta y i zapisati rezultat u zminnu x Viraz Movi programuvannyax y C C C Java JavaScript Python Ruby i t in x y Perl PHPx x y Ada ALGOL en BCPL Dylan Eiffel en Oberon OCaml Object Pascal Delphi Pascal en Simula Smalltalk Standard ML VHDL etc MOV EAX y ADD x EAX Mova asemblera Intel 8086LET X X Y BASIC rannijx x y BASIC bilshist dialektiv Fortran MATLAB LuaADD Y TO X ABAPADD Y TO X GIVING X COBOLset a x x y Paketnij fajl incf x y Common Lisp x y x add def PostScripty x Forth Rozrobleno rizni sposobi formalnogo opisu semantiki mov programuvannya na osnovi matematichnoyi logiki Operacijna semantika Znachennya konstrukciyi movi viznachayetsya obchislennyami yaki vona provokuye pid chas vikonannya na mashini Fokusom ciyeyi semantiki ye yak otrimuyetsya rezultat obchislen Denotacijna semantika Znachennya modelyuyutsya matematichnimi ob yektami yaki predstavlyayut efekti obchislennya konstrukcij Takim chinom u fokusi ye lishe rezultat a ne te yak jogo bulo otrimano Aksiomatichna semantika Zadaye vlastivosti efektu vikonannya konstrukcij u formati pripushen Takim chinom deyakimi aspektami vikonannya mozhe buti znehtuvano Semantichni modeli Semantichnoyu pavutinoyu nazivayut rozshirennya vsesvitnoyi pavutini cherez vstavlyannya semantichnih metadanih z vikoristannyam takih tehnologij modelyuvannya semantichnih danih yak Resource Description Framework RDF ta Web Ontology Language OWL U semantichnij pavutini termini semantichna merezha ta en vikoristovuyutsya dlya opisu pevnih modelej danih sho harakterizuyutsya vikoristannyam oriyentovanih grafiv u yakih vershini poznachayut ponyattya chi sutnosti svitu ta yihni vlastivosti a rebra vidnoshennya mizh nimi Formalno yih mozhna opisati yak koncepti i roli v opisovij logici yaki vidpovidayut klasam i vlastivostyam v OWL Div takozhEtimologiyaLiteraturaEnciklopediya ukrayinoznavstva Slovnikova chastina v 11 t Naukove tovaristvo imeni Shevchenka gol red prof d r Volodimir Kubijovich Parizh Nyu Jork Molode zhittya 1955 1995 ISBN 5 7707 4049 3 PosilannyaSemantika Literaturoznavcha enciklopediya u 2 t avt uklad Yu I Kovaliv Kiyiv VC Akademiya 2007 T 2 M Ya S 376 ZnoskiEuzenat Jerome Ontology Matching Springer Verlag Berlin Heidelberg 2007 p 36 Sikos Leslie F 2017 Description Logics in Multimedia Reasoning Cham Springer International Publishing doi 10 1007 978 3 319 54066 5 ISBN 978 3 319 54066 5 Nielson Hanne Riis Nielson Flemming 1995 Semantics with Applications A Formal Introduction vid 1st Chicester England John Wiley amp Sons ISBN 0 471 92980 8 Ce nezavershena stattya z movoznavstva Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi

Дата публікації:
Топ