CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-disabled skin-theme-clientpref-day vector-toc-available" lang="ar" dir="rtl"> <head> <meta charset="UTF-8"> <title>علم الدلالة الشكلي - ويكيبيديا</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-disabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )arwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[".\t,","٫\t٬"],"wgDigitTransformTable":[ "0\t1\t2\t3\t4\t5\t6\t7\t8\t9","٠\t١\t٢\t٣\t٤\t٥\t٦\t٧\t٨\t٩"],"wgDefaultDateFormat":"dmy","wgMonthNames":["","يناير","فبراير","مارس","أبريل","مايو","يونيو","يوليو","أغسطس","سبتمبر","أكتوبر","نوفمبر","ديسمبر"],"wgRequestId":"73357754-3a01-4530-aafe-c10d70e4f8bb","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"علم_الدلالة_الشكلي","wgTitle":"علم الدلالة الشكلي","wgCurRevisionId":65272633,"wgRevisionId":65272633,"wgArticleId":58886,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Pages using the JsonConfig extension","مقالات بحاجة لصندوق معلومات","جميع المقالات بدون صندوق معلومات","بوابة برمجة الحاسوب/مقالات متعلقة","بوابة رياضيات/مقالات متعلقة", "بوابة علم الحاسوب/مقالات متعلقة","جميع مقالات البذور","بذرة حاسوب","طرق شكلية","منطق في علم الحاسوب"],"wgPageViewLanguage":"ar","wgPageContentLanguage":"ar","wgPageContentModel":"wikitext","wgRelevantPageName":"علم_الدلالة_الشكلي","wgRelevantArticleId":58886,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgFlaggedRevsParams":{"tags":{"accuracy":{"levels":2}}},"wgStableRevisionId":65272633,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"ar","pageLanguageDir":"rtl","pageVariantFallbacks":"ar"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":1000,"wgRelatedArticlesCompat":[], "wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q1437428","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":true,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false,"wgSiteNoticeId":"2.73"};RLSTATE={"ext.gadget.Font-Amiri":"ready","ext.gadget.palestineTheme":"ready","ext.gadget.WMP-icons":"ready","ext.gadget.Font-Arial":"ready","ext.gadget.HideExLinkIcon":"ready","ext.gadget.Urgent-fixes":"ready","ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","skins.vector.search.codex.styles" :"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","ext.flaggedRevs.basic":"ready","mediawiki.codex.messagebox.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready","ext.dismissableSiteNotice.styles":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","site","mediawiki.page.ready","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.flaggedRevs.advanced","ext.gadget.events-loader","ext.gadget.ArabicAds","ext.gadget.Defaulteditnotices","ext.gadget.searchlang","ext.gadget.NoRefCopy","ext.gadget.exlinks","ext.gadget.content-support-loader","ext.gadget.charinsert","ext.gadget.TemplateParamWizard","ext.gadget.decodesummary","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader", "ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking","ext.dismissableSiteNotice"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=ar&modules=ext.cite.styles%7Cext.dismissableSiteNotice.styles%7Cext.flaggedRevs.basic%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cmediawiki.codex.messagebox.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=ar&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=ar&modules=ext.gadget.Font-Amiri%2CFont-Arial%2CHideExLinkIcon%2CUrgent-fixes%2CWMP-icons%2CpalestineTheme&only=styles&skin=vector-2022"> <link rel="stylesheet" href="/w/load.php?lang=ar&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="علم الدلالة الشكلي - ويكيبيديا"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//ar.m.wikipedia.org/wiki/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A"> <link rel="alternate" type="application/x-wiki" title="عدل" href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="ويكيبيديا (ar)"> <link rel="EditURI" type="application/rsd+xml" href="//ar.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://ar.wikipedia.org/wiki/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.ar"> <link rel="alternate" type="application/atom+xml" title="تلقيمة أتوم ويكيبيديا" href="/w/index.php?title=%D8%AE%D8%A7%D8%B5:%D8%A3%D8%AD%D8%AF%D8%AB_%D8%A7%D9%84%D8%AA%D8%BA%D9%8A%D9%8A%D8%B1%D8%A7%D8%AA&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki rtl sitedir-rtl mw-hide-empty-elt ns-0 ns-subject mw-editable page-علم_الدلالة_الشكلي rootpage-علم_الدلالة_الشكلي skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">انتقل إلى المحتوى</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="الموقع"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="القائمة الرئيسية" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">القائمة الرئيسية</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">القائمة الرئيسية</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">انقل للشريط الجانبي</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">أخف</button> </div> <div id="p-encyclopedia" class="vector-menu mw-portlet mw-portlet-encyclopedia" > <div class="vector-menu-heading"> الموسوعة </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/%D8%A7%D9%84%D8%B5%D9%81%D8%AD%D8%A9_%D8%A7%D9%84%D8%B1%D8%A6%D9%8A%D8%B3%D8%A9" title="زر الصفحة الرئيسية [z]" accesskey="z"><span>الصفحة الرئيسة</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D8%A3%D8%AD%D8%AF%D8%A7%D8%AB_%D8%AC%D8%A7%D8%B1%D9%8A%D8%A9" title="مطالعة سريعة لأهم الأحداث الجارية"><span>الأحداث الجارية</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D8%A3%D8%AD%D8%AF%D8%AB_%D8%A7%D9%84%D8%AA%D8%BA%D9%8A%D9%8A%D8%B1%D8%A7%D8%AA" title="قائمة أحدث التغييرات في الويكي. [r]" accesskey="r"><span>أحدث التغييرات</span></a></li><li id="n-wrecentchanges" class="mw-list-item"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D8%A3%D8%AD%D8%AF%D8%AB_%D8%A7%D9%84%D8%AA%D8%BA%D9%8A%D9%8A%D8%B1%D8%A7%D8%AA_%D8%A7%D9%84%D9%85%D9%88%D8%B5%D9%88%D9%84%D8%A9/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%B5%D9%81%D8%AD%D8%A7%D8%AA_%D9%85%D9%87%D9%85%D8%A9"><span>أحدث التغييرات الأساسية</span></a></li> </ul> </div> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> تصفح </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-subjects" class="mw-list-item"><a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%AA%D8%B5%D9%81%D8%AD"><span>المواضيع</span></a></li><li id="n-index" class="mw-list-item"><a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D9%81%D9%87%D8%B1%D8%B3_%D8%B3%D8%B1%D9%8A%D8%B9"><span>أبجدي</span></a></li><li id="n-portals" class="mw-list-item"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D8%AA%D8%B5%D9%81%D8%AD"><span>بوابات</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D8%B9%D8%B4%D9%88%D8%A7%D8%A6%D9%8A" title="حمل صفحة عشوائية [x]" accesskey="x"><span>مقالة عشوائية</span></a></li><li id="n-Kiwix" class="mw-list-item"><a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D9%83%D9%8A%D9%88%D9%8A%D9%83%D8%B3"><span>تصفح من غير إنترنت</span></a></li> </ul> </div> </div> <div id="p-contributing" class="vector-menu mw-portlet mw-portlet-contributing" > <div class="vector-menu-heading"> مشاركة </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-contact" class="mw-list-item"><a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%A7%D8%AA%D8%B5%D9%84_%D8%A8%D9%86%D8%A7"><span>تواصل مع ويكيبيديا</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/%D9%85%D8%B3%D8%A7%D8%B9%D8%AF%D8%A9:%D9%85%D8%AD%D8%AA%D9%88%D9%8A%D8%A7%D8%AA" title="حيث تجد المساعدة"><span>مساعدة</span></a></li><li id="n-villagepump" class="mw-list-item"><a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%A7%D9%84%D9%85%D9%8A%D8%AF%D8%A7%D9%86"><span>الميدان</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/%D8%A7%D9%84%D8%B5%D9%81%D8%AD%D8%A9_%D8%A7%D9%84%D8%B1%D8%A6%D9%8A%D8%B3%D8%A9" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="ويكيبيديا" src="/static/images/mobile/copyright/wikipedia-wordmark-ar.svg" style="width: 7em; height: 2.4375em;"> <img class="mw-logo-tagline" alt="" src="/static/images/mobile/copyright/wikipedia-tagline-ar.svg" width="105" height="22" style="width: 6.5625em; height: 1.375em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/%D8%AE%D8%A7%D8%B5:%D8%A8%D8%AD%D8%AB" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="ابحث في ويكيبيديا [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>بحث</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="ابحث في ويكيبيديا" aria-label="ابحث في ويكيبيديا" autocapitalize="sentences" title="ابحث في ويكيبيديا [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="خاص:بحث"> </div> <button class="cdx-button cdx-search-input__end-button">بحث</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="أدوات شخصية"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="المظهر"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="تغيير مظهر الصفحة، حجم الخط، العرض واللون" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="المظهر" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">المظهر</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_ar.wikipedia.org&uselang=ar" class=""><span>تبرع</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=%D8%AE%D8%A7%D8%B5:%D8%A5%D9%86%D8%B4%D8%A7%D8%A1_%D8%AD%D8%B3%D8%A7%D8%A8&returnto=%D8%B9%D9%84%D9%85+%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A" title="نشجعك على عمل حساب وتسجيل دخولك؛ لكنه غير ضروري على اي حال" class=""><span>إنشاء حساب</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=%D8%AE%D8%A7%D8%B5:%D8%AF%D8%AE%D9%88%D9%84_%D8%A7%D9%84%D9%85%D8%B3%D8%AA%D8%AE%D8%AF%D9%85&returnto=%D8%B9%D9%84%D9%85+%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A" title="يفضل أن تسجل الدخول، لكنه ليس إلزاميا. [o]" accesskey="o" class=""><span>دخول</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="المزيد من الخيارات" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="أدوات شخصية" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">أدوات شخصية</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="قائمة المستخدم" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_ar.wikipedia.org&uselang=ar"><span>تبرع</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=%D8%AE%D8%A7%D8%B5:%D8%A5%D9%86%D8%B4%D8%A7%D8%A1_%D8%AD%D8%B3%D8%A7%D8%A8&returnto=%D8%B9%D9%84%D9%85+%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A" title="نشجعك على عمل حساب وتسجيل دخولك؛ لكنه غير ضروري على اي حال"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>إنشاء حساب</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=%D8%AE%D8%A7%D8%B5:%D8%AF%D8%AE%D9%88%D9%84_%D8%A7%D9%84%D9%85%D8%B3%D8%AA%D8%AE%D8%AF%D9%85&returnto=%D8%B9%D9%84%D9%85+%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A" title="يفضل أن تسجل الدخول، لكنه ليس إلزاميا. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>دخول</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> صفحات للمحررين الذين سجَّلوا خروجهم <a href="/wiki/%D9%85%D8%B3%D8%A7%D8%B9%D8%AF%D8%A9:%D9%85%D9%82%D8%AF%D9%85%D8%A9" aria-label="تعلَّم المزيد بخصوص التحرير"><span>تعلَّم المزيد</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D9%85%D8%B3%D8%A7%D9%87%D9%85%D8%A7%D8%AA%D9%8A" title="قائمة بتعديلات قام بها عنوان الآي بي [y]" accesskey="y"><span>مساهمات</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D9%86%D9%82%D8%A7%D8%B4%D9%8A" title="نقاش حول التعديلات من عنوان الأيبي هذا [n]" accesskey="n"><span>نقاش</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"><div id="mw-dismissablenotice-anonplace"></div><script>(function(){var node=document.getElementById("mw-dismissablenotice-anonplace");if(node){node.outerHTML="\u003Cdiv class=\"mw-dismissable-notice\"\u003E\u003Cdiv class=\"mw-dismissable-notice-close\"\u003E\u003Ca tabindex=\"0\" role=\"button\"\u003E\u003C/a\u003E\u003C/div\u003E\u003Cdiv class=\"mw-dismissable-notice-body\"\u003E\u003C!-- CentralNotice --\u003E\u003Cdiv id=\"localNotice\" data-nosnippet=\"\"\u003E\u003Cdiv class=\"anonnotice\" lang=\"ar\" dir=\"rtl\"\u003E\u003Ctable style=\"border: 1px solid #a40007; padding: 10px; width:100%; background-image: linear-gradient(#000000,#000000)\"\u003E\n\u003Ctbody\u003E\u003Ctr\u003E\n\u003Ctd style=\"width:10%\"\u003E\u003Cspan typeof=\"mw:File\"\u003E\u003Ca href=\"/wiki/%D9%85%D9%84%D9%81:Arabic_Wikipedia_Logo_Gaza_(3).svg\" class=\"mw-file-description\"\u003E\u003Cimg src=\"//upload.wikimedia.org/wikipedia/commons/thumb/5/55/Arabic_Wikipedia_Logo_Gaza_%283%29.svg/70px-Arabic_Wikipedia_Logo_Gaza_%283%29.svg.png\" decoding=\"async\" width=\"70\" height=\"99\" class=\"mw-file-element\" srcset=\"//upload.wikimedia.org/wikipedia/commons/thumb/5/55/Arabic_Wikipedia_Logo_Gaza_%283%29.svg/105px-Arabic_Wikipedia_Logo_Gaza_%283%29.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/5/55/Arabic_Wikipedia_Logo_Gaza_%283%29.svg/140px-Arabic_Wikipedia_Logo_Gaza_%283%29.svg.png 2x\" data-file-width=\"241\" data-file-height=\"342\" /\u003E\u003C/a\u003E\u003C/span\u003E\n\u003C/td\u003E\n\u003Ctd style=\"width:80%; text-align:center ; color:white\"\u003E\u003Cspan style=\"font-size:100%\"\u003E\n\u003Cp\u003E\u003Cb\u003E\u003Ca href=\"/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%A3%D9%88%D9%82%D9%81%D9%88%D8%A7_%D8%A7%D9%84%D8%AD%D8%B1%D8%A8_%D9%88%D8%A7%D9%86%D8%B4%D8%B1%D9%88%D8%A7_%D8%A7%D9%84%D8%B3%D9%84%D8%A7%D9%85\" title=\"ويكيبيديا:أوقفوا الحرب وانشروا السلام\"\u003E\u003Cspan style=\"color:white\"\u003Eتضامنًا\u003C/span\u003E\u003C/a\u003E مع حق الشعب \u003Ca href=\"/wiki/%D9%81%D9%84%D8%B3%D8%B7%D9%8A%D9%86\" title=\"فلسطين\"\u003E\u003Cspan style=\"color:white\"\u003Eالفلسطيني\u003C/span\u003E\u003C/a\u003E\u003C/b\u003E\u003Cbr /\u003E\n\u003Cb\u003Eلا \u003Ca href=\"/wiki/%D8%A7%D9%84%D8%AD%D8%B1%D8%A8_%D8%A7%D9%84%D9%81%D9%84%D8%B3%D8%B7%D9%8A%D9%86%D9%8A%D8%A9_%D8%A7%D9%84%D8%A5%D8%B3%D8%B1%D8%A7%D8%A6%D9%8A%D9%84%D9%8A%D8%A9_2023\" class=\"mw-redirect\" title=\"الحرب الفلسطينية الإسرائيلية 2023\"\u003E\u003Cspan style=\"color:red\"\u003Eللإبادة الجماعية في غزة\u003C/span\u003E\u003C/a\u003E\u003C/b\u003E .... \u003Cb\u003Eلا \u003Ca href=\"/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D9%85%D8%B0%D8%A7%D8%A8%D8%AD_%D8%AE%D9%84%D8%A7%D9%84_%D8%A7%D9%84%D8%AD%D8%B1%D8%A8_%D8%A7%D9%84%D9%81%D9%84%D8%B3%D8%B7%D9%8A%D9%86%D9%8A%D8%A9_%D8%A7%D9%84%D8%A5%D8%B3%D8%B1%D8%A7%D8%A6%D9%8A%D9%84%D9%8A%D8%A9_2023\" title=\"تصنيف:مذابح خلال الحرب الفلسطينية الإسرائيلية 2023\"\u003E\u003Cspan style=\"color:red\"\u003Eلقتل المدنيين\u003C/span\u003E\u003C/a\u003E\u003C/b\u003E\u003Cbr /\u003E \n\u003Cb\u003Eلا \u003Ca href=\"/wiki/%D9%85%D8%AC%D8%B2%D8%B1%D8%A9_%D9%85%D8%B3%D8%AA%D8%B4%D9%81%D9%89_%D8%A7%D9%84%D9%85%D8%B9%D9%85%D8%AF%D8%A7%D9%86%D9%8A\" title=\"مجزرة مستشفى المعمداني\"\u003E\u003Cspan style=\"color:red\"\u003Eلاستهداف المستشفيات والمدارس\u003C/span\u003E\u003C/a\u003E\u003C/b\u003E .... \u003Cb\u003Eلا \u003Ca href=\"/wiki/%D8%B9%D9%85%D9%84%D9%8A%D8%A9_%D8%B7%D9%88%D9%81%D8%A7%D9%86_%D8%A7%D9%84%D8%A3%D9%82%D8%B5%D9%89#الدعاية_الإسرائيلية\" title=\"عملية طوفان الأقصى\"\u003E\u003Cspan style=\"color:red\"\u003Eللتضليل والكيل بمكيالين\u003C/span\u003E\u003C/a\u003E\u003C/b\u003E\u003Cbr /\u003E\n\u003Cb\u003E\u003Ca href=\"/wiki/%D9%88%D9%82%D9%81_%D8%A5%D8%B7%D9%84%D8%A7%D9%82_%D8%A7%D9%84%D9%86%D8%A7%D8%B1_%D9%81%D9%8A_%D8%BA%D8%B2%D8%A9_2023\" class=\"mw-redirect\" title=\"وقف إطلاق النار في غزة 2023\"\u003E\u003Cspan style=\"color:white\"\u003Eأوقفوا الحرب\u003C/span\u003E\u003C/a\u003E .... وانشروا السلام العادل والشامل\u003C/b\u003E\n\u003C/p\u003E\n\n\u003C/span\u003E\u003C/td\u003E\u003C/tr\u003E\u003C/tbody\u003E\u003C/table\u003E\u003C/div\u003E\u003C/div\u003E\u003C/div\u003E\u003C/div\u003E";}}());</script></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="الموقع"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="المحتويات" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">المحتويات</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">انقل للشريط الجانبي</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">أخف</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">المقدمة</div> </a> </li> <li id="toc-المراجع" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#المراجع"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>المراجع</span> </div> </a> <ul id="toc-المراجع-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="المحتويات" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="تبديل عرض جدول المحتويات" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">تبديل عرض جدول المحتويات</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">علم الدلالة الشكلي</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="اذهب إلى المقالة في لغةٍ أخرى. مُتاحة في 22 لغة" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-22" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">22 لغة</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-als mw-list-item"><a href="https://als.wikipedia.org/wiki/Formale_Semantik" title="Formale Semantik – الألمانية السويسرية" lang="gsw" hreflang="gsw" data-title="Formale Semantik" data-language-autonym="Alemannisch" data-language-local-name="الألمانية السويسرية" class="interlanguage-link-target"><span>Alemannisch</span></a></li><li class="interlanguage-link interwiki-az mw-list-item"><a href="https://az.wikipedia.org/wiki/Semantika_(informatika)" title="Semantika (informatika) – الأذربيجانية" lang="az" hreflang="az" data-title="Semantika (informatika)" data-language-autonym="Azərbaycanca" data-language-local-name="الأذربيجانية" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/S%C3%A9mantika_programovac%C3%ADch_jazyk%C5%AF" title="Sémantika programovacích jazyků – التشيكية" lang="cs" hreflang="cs" data-title="Sémantika programovacích jazyků" data-language-autonym="Čeština" data-language-local-name="التشيكية" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-cv mw-list-item"><a href="https://cv.wikipedia.org/wiki/%D0%A1%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%C4%83%D0%BB%D0%B0%D0%BD%D0%B8)" title="Семантика (программăлани) – التشوفاشي" lang="cv" hreflang="cv" data-title="Семантика (программăлани)" data-language-autonym="Чӑвашла" data-language-local-name="التشوفاشي" class="interlanguage-link-target"><span>Чӑвашла</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Formale_Semantik" title="Formale Semantik – الألمانية" lang="de" hreflang="de" data-title="Formale Semantik" data-language-autonym="Deutsch" data-language-local-name="الألمانية" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/%CE%A4%CF%85%CF%80%CE%B9%CE%BA%CE%AE_%CF%83%CE%B7%CE%BC%CE%B1%CF%83%CE%B9%CE%BF%CE%BB%CE%BF%CE%B3%CE%AF%CE%B1_%CF%84%CF%89%CE%BD_%CE%B3%CE%BB%CF%89%CF%83%CF%83%CF%8E%CE%BD_%CF%80%CF%81%CE%BF%CE%B3%CF%81%CE%B1%CE%BC%CE%BC%CE%B1%CF%84%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" title="Τυπική σημασιολογία των γλωσσών προγραμματισμού – اليونانية" lang="el" hreflang="el" data-title="Τυπική σημασιολογία των γλωσσών προγραμματισμού" data-language-autonym="Ελληνικά" data-language-local-name="اليونانية" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Semantics_(computer_science)" title="Semantics (computer science) – الإنجليزية" lang="en" hreflang="en" data-title="Semantics (computer science)" data-language-autonym="English" data-language-local-name="الإنجليزية" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Sem%C3%A1ntica_de_lenguajes_de_programaci%C3%B3n" title="Semántica de lenguajes de programación – الإسبانية" lang="es" hreflang="es" data-title="Semántica de lenguajes de programación" data-language-autonym="Español" data-language-local-name="الإسبانية" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D9%85%D8%B9%D9%86%DB%8C%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C_(%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87)" title="معنی‌شناسی (علوم رایانه) – الفارسية" lang="fa" hreflang="fa" data-title="معنی‌شناسی (علوم رایانه)" data-language-autonym="فارسی" data-language-local-name="الفارسية" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/S%C3%A9mantique_des_langages_de_programmation" title="Sémantique des langages de programmation – الفرنسية" lang="fr" hreflang="fr" data-title="Sémantique des langages de programmation" data-language-autonym="Français" data-language-local-name="الفرنسية" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Formalna_semantika_programskih_jezika" title="Formalna semantika programskih jezika – الكرواتية" lang="hr" hreflang="hr" data-title="Formalna semantika programskih jezika" data-language-autonym="Hrvatski" data-language-local-name="الكرواتية" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Semantica_formale" title="Semantica formale – الإيطالية" lang="it" hreflang="it" data-title="Semantica formale" data-language-autonym="Italiano" data-language-local-name="الإيطالية" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%E6%84%8F%E5%91%B3%E8%AB%96" title="プログラム意味論 – اليابانية" lang="ja" hreflang="ja" data-title="プログラム意味論" data-language-autonym="日本語" data-language-local-name="اليابانية" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EC%9D%98%EB%AF%B8%EB%A1%A0_(%EC%BB%B4%ED%93%A8%ED%84%B0_%EA%B3%BC%ED%95%99)" title="의미론 (컴퓨터 과학) – الكورية" lang="ko" hreflang="ko" data-title="의미론 (컴퓨터 과학)" data-language-autonym="한국어" data-language-local-name="الكورية" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%A1%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0_%D0%BD%D0%B0_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D1%81%D0%BA%D0%B8_%D1%98%D0%B0%D0%B7%D0%B8%D0%BA" title="Семантика на програмски јазик – المقدونية" lang="mk" hreflang="mk" data-title="Семантика на програмски јазик" data-language-autonym="Македонски" data-language-local-name="المقدونية" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Semantiek_(informatica)" title="Semantiek (informatica) – الهولندية" lang="nl" hreflang="nl" data-title="Semantiek (informatica)" data-language-autonym="Nederlands" data-language-local-name="الهولندية" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Sem%C3%A2ntica_formal" title="Semântica formal – البرتغالية" lang="pt" hreflang="pt" data-title="Semântica formal" data-language-autonym="Português" data-language-local-name="البرتغالية" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%A1%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5)" title="Семантика (программирование) – الروسية" lang="ru" hreflang="ru" data-title="Семантика (программирование)" data-language-autonym="Русский" data-language-local-name="الروسية" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%A1%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D1%81%D0%BA%D0%B8%D1%85_%D1%98%D0%B5%D0%B7%D0%B8%D0%BA%D0%B0" title="Семантика програмских језика – الصربية" lang="sr" hreflang="sr" data-title="Семантика програмских језика" data-language-autonym="Српски / srpski" data-language-local-name="الصربية" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%A1%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0_(%D1%96%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)" title="Семантика (інформатика) – الأوكرانية" lang="uk" hreflang="uk" data-title="Семантика (інформатика)" data-language-autonym="Українська" data-language-local-name="الأوكرانية" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E8%AF%AD%E4%B9%89%E5%AD%A6" title="形式语义学 – الصينية" lang="zh" hreflang="zh" data-title="形式语义学" data-language-autonym="中文" data-language-local-name="الصينية" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/%E8%AA%9E%E7%BE%A9_(%E7%A8%8B%E5%BC%8F%E8%AA%9E%E8%A8%80)" title="語義 (程式語言) – الكَنْتُونية" lang="yue" hreflang="yue" data-title="語義 (程式語言)" data-language-autonym="粵語" data-language-local-name="الكَنْتُونية" class="interlanguage-link-target"><span>粵語</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q1437428#sitelinks-wikipedia" title="تعديل وصلات اللغات" class="wbc-editpage">عدل الوصلات</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="نطاقات"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A" title="اعرض صفحة المحتوى [c]" accesskey="c"><span>مقالة</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/%D9%86%D9%82%D8%A7%D8%B4:%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A" rel="discussion" title="نقاش صفحة المحتوى [t]" accesskey="t"><span>نقاش</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="غيّر لهجة اللغة" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">العربية</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="معاينة"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A"><span>اقرأ</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&action=edit" title="عدل الكود المصدري لهذه الصفحة [e]" accesskey="e"><span>عدّل</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&action=history" title="النسخ السابقة لهذه الصفحة [h]" accesskey="h"><span>تاريخ</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="أدوات الصفحة"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="أدوات" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">أدوات</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">أدوات</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">انقل للشريط الجانبي</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">أخف</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="المزيد من الخيارات" > <div class="vector-menu-heading"> إجراءات </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A"><span>اقرأ</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&action=edit" title="عدل الكود المصدري لهذه الصفحة [e]" accesskey="e"><span>عدّل</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&action=history"><span>تاريخ</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> عام </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D9%85%D8%A7%D8%B0%D8%A7_%D9%8A%D8%B5%D9%84_%D9%87%D9%86%D8%A7/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A" title="قائمة بكل صفحات الويكي التي تصل هنا [j]" accesskey="j"><span>ماذا يصل هنا</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D8%A3%D8%AD%D8%AF%D8%AB_%D8%A7%D9%84%D8%AA%D8%BA%D9%8A%D9%8A%D8%B1%D8%A7%D8%AA_%D8%A7%D9%84%D9%85%D9%88%D8%B5%D9%88%D9%84%D8%A9/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A" rel="nofollow" title="أحدث التغييرات في الصفحات الموصولة من هذه الصفحة [k]" accesskey="k"><span>تغييرات ذات علاقة</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/ويكيبيديا:رفع" title="ارفع ملفات [u]" accesskey="u"><span>رفع ملف</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D8%B5%D9%81%D8%AD%D8%A7%D8%AA_%D8%AE%D8%A7%D8%B5%D8%A9" title="قائمة بكل الصفحات الخاصة [q]" accesskey="q"><span>الصفحات الخاصة</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&oldid=65272633" title="وصلة دائمة لهذه النسخة من الصفحة"><span>وصلة دائمة</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&action=info" title="المزيد من المعلومات عن هذه الصفحة"><span>معلومات الصفحة</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=%D8%AE%D8%A7%D8%B5:%D8%A7%D8%B3%D8%AA%D8%B4%D9%87%D8%A7%D8%AF&page=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&id=65272633&wpFormIdentifier=titleform" title="معلومات عن كيفية الاستشهاد بالصفحة"><span>استشهد بهذه الصفحة</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=%D8%AE%D8%A7%D8%B5:%D8%AA%D9%82%D8%B5%D9%8A%D8%B1_%D8%A7%D9%84%D9%85%D8%B3%D8%A7%D8%B1&url=https%3A%2F%2Far.wikipedia.org%2Fwiki%2F%25D8%25B9%25D9%2584%25D9%2585_%25D8%25A7%25D9%2584%25D8%25AF%25D9%2584%25D8%25A7%25D9%2584%25D8%25A9_%25D8%25A7%25D9%2584%25D8%25B4%25D9%2583%25D9%2584%25D9%258A"><span>احصل على مسار مختصر</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=%D8%AE%D8%A7%D8%B5:QrCode&url=https%3A%2F%2Far.wikipedia.org%2Fwiki%2F%25D8%25B9%25D9%2584%25D9%2585_%25D8%25A7%25D9%2584%25D8%25AF%25D9%2584%25D8%25A7%25D9%2584%25D8%25A9_%25D8%25A7%25D9%2584%25D8%25B4%25D9%2583%25D9%2584%25D9%258A"><span>تنزيل رمز الاستجابة السريعة</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> طباعة/تصدير </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=%D8%AE%D8%A7%D8%B5:%D9%83%D8%AA%D8%A7%D8%A8&bookcmd=book_creator&referer=%D8%B9%D9%84%D9%85+%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A"><span>إنشاء كتاب</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=%D8%AE%D8%A7%D8%B5:DownloadAsPdf&page=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&action=show-download-screen"><span>تحميل PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&printable=yes" title="نسخة للطباعة لهذه الصفحة [p]" accesskey="p"><span>نسخة للطباعة</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> في مشاريع أخرى </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q1437428" title="وصلة إلى المادة المرتبطة في مستودع البيانات المركزي [g]" accesskey="g"><span>عنصر ويكي بيانات</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="أدوات الصفحة"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="المظهر"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">المظهر</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">انقل للشريط الجانبي</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">أخف</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> <div id="mw-indicator-no_infobox" class="mw-indicator"><div class="mw-parser-output"><span class="noprint"><span typeof="mw:File"><a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%AF%D9%84%D9%8A%D9%84_%D8%A7%D9%84%D8%A3%D8%B3%D9%84%D9%88%D8%A8/%D8%B5%D9%86%D8%A7%D8%AF%D9%8A%D9%82_%D8%A7%D9%84%D9%85%D8%B9%D9%84%D9%88%D9%85%D8%A7%D8%AA" title="يرجى إضافة قالب معلومات متعلّقة بموضوع المقالة."><img alt="يرجى إضافة قالب معلومات متعلّقة بموضوع المقالة." src="//upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Template_icon.svg/20px-Template_icon.svg.png" decoding="async" width="20" height="20" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Template_icon.svg/30px-Template_icon.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Template_icon.svg/40px-Template_icon.svg.png 2x" data-file-width="128" data-file-height="128" /></a></span></span></div></div> </div> <div id="siteSub" class="noprint">من ويكيبيديا، الموسوعة الحرة</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-rtl mw-parser-output" lang="ar" dir="rtl"><style data-mw-deduplicate="TemplateStyles:r68107301">.mw-parser-output .ambox{margin:0;border:1px solid #a2a9b1;border-right:2px solid #36c;background-color:var(--background-color-neutral-subtle,#f8f9fa);box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-right{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border:1px solid #b32424;border-right:2px solid #b32424;background-color:var(--background-color-neutral-subtle,#fee7e6)}.mw-parser-output .ambox-delete{border:1px solid #b32424;border-right:2px solid #b32424}.mw-parser-output .ambox-content{border:1px solid #f28500;border-right:2px solid #f28500}.mw-parser-output .ambox-style{border:1px solid #fc3;border-right:2px solid #fc3}.mw-parser-output .ambox-move{border:1px solid #9932cc;border-right:2px solid #9932cc}.mw-parser-output .ambox-current{border:1px solid #A5D6A7;border-right:2px solid #A5D6A7}.mw-parser-output .ambox-featured{border:1px solid #C0C0C0}.mw-parser-output .ambox-protection{border-right:1px solid #a2a9b1;border-right:2px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:95%}.mw-parser-output .ambox .mbox-text .date-container{font-size:smaller}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0.9em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-imageleft{border:none;padding:2px 0 2px 0.9em;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:42px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-right:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0}}.mw-parser-output .ambox th.mbox-text,.mw-parser-output .ambox td.mbox-text{padding:0.25em 0.5em;font-size:95%}.mw-parser-output .ambox th.mbox-text .date-container,.mw-parser-output .ambox td.mbox-text .date-container{font-size:small}.mw-parser-output .ambox td.mbox-image{padding:2px 0.2em 2px 0}.mw-parser-output .ambox td.mbox-imageleft{padding:2px 0.2em 2px 0}.mw-parser-output .ambox-notice{border:1px solid #36c;border-right:2px solid #36c}.mw-parser-output .compact-ambox table .mbox-image,.mw-parser-output .compact-ambox table .mbox-imageleft,.mw-parser-output .compact-ambox table .mbox-empty-cell{display:none}.mw-parser-output .compact-ambox table.ambox{border:none;border-collapse:collapse;background-color:transparent;margin:0 1.6em 0 0!important;padding:0!important;width:auto;display:block}body.mediawiki .mw-parser-output .compact-ambox table.mbox-small-right{font-size:100%;width:auto;margin:0}.mw-parser-output .compact-ambox table .mbox-text{padding:0!important;margin:0!important}.mw-parser-output .compact-ambox table .mbox-text-span{display:list-item;line-height:1.5em;list-style-type:square}.mw-parser-output .compact-ambox .hide-when-compact{display:none}.mw-parser-output .compact-ambox .hide-when-compact{display:none}</style><table class="box-لا_صندوق_معلومات plainlinks metadata ambox ambox-content ambox-no_infobox" role="presentation" style="display:none;"><tbody><tr><td class="mbox-image"><div class="mbox-image-div"><span typeof="mw:File"><a href="/wiki/%D9%85%D9%84%D9%81:Template_icon.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Template_icon.svg/20px-Template_icon.svg.png" decoding="async" width="20" height="20" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Template_icon.svg/30px-Template_icon.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Template_icon.svg/40px-Template_icon.svg.png 2x" data-file-width="128" data-file-height="128" /></a></span></div></td><td class="mbox-text"><div class="mbox-text-span">هذه المقالة <b>بحاجة <a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%AF%D9%84%D9%8A%D9%84_%D8%A7%D9%84%D8%A3%D8%B3%D9%84%D9%88%D8%A8/%D8%B5%D9%86%D8%A7%D8%AF%D9%8A%D9%82_%D8%A7%D9%84%D9%85%D8%B9%D9%84%D9%88%D9%85%D8%A7%D8%AA" title="ويكيبيديا:دليل الأسلوب/صناديق المعلومات">لصندوق معلومات</a></b>.<span class="hide-when-compact"> فضلًا ساعد في <a class="external text" href="https://ar.wikipedia.org/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&action=edit">تحسين هذه المقالة</a> بإضافة <a href="/wiki/%D9%85%D8%B3%D8%A7%D8%B9%D8%AF%D8%A9:%D9%82%D8%A7%D8%A6%D9%85%D8%A9_%D8%B5%D9%86%D8%A7%D8%AF%D9%8A%D9%82_%D8%A7%D9%84%D9%85%D8%B9%D9%84%D9%88%D9%85%D8%A7%D8%AA" title="مساعدة:قائمة صناديق المعلومات">صندوق معلومات مخصص</a> إليها.</span><span class="hide-when-compact"><i><span style="float:left;"><span typeof="mw:File"><a href="/wiki/%D9%85%D8%B3%D8%A7%D8%B9%D8%AF%D8%A9:%D8%A5%D8%B2%D8%A7%D9%84%D8%A9_%D9%82%D9%88%D8%A7%D9%84%D8%A8_%D8%A7%D9%84%D8%B5%D9%8A%D8%A7%D9%86%D8%A9" title="تعرَّف على طريقة التعامل مع هذه المسألة من أجل إزالة هذا القالب."><img alt="تعرَّف على طريقة التعامل مع هذه المسألة من أجل إزالة هذا القالب." src="//upload.wikimedia.org/wikipedia/commons/thumb/e/e9/Breezeicons-actions-22-help-about.svg/20px-Breezeicons-actions-22-help-about.svg.png" decoding="async" width="20" height="20" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/e/e9/Breezeicons-actions-22-help-about.svg/30px-Breezeicons-actions-22-help-about.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/e/e9/Breezeicons-actions-22-help-about.svg/40px-Breezeicons-actions-22-help-about.svg.png 2x" data-file-width="512" data-file-height="512" /></a></span></span></i></span></div></td></tr></tbody></table> <p>في <a href="/wiki/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8_%D8%A7%D9%84%D9%86%D8%B8%D8%B1%D9%8A" title="علم الحاسوب النظري">المعلوماتية النظرية</a>، <b>علم الدلالة الشكلي</b> <b>formal semantics</b> هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى <a href="/wiki/%D9%84%D8%BA%D8%A9_%D8%A8%D8%B1%D9%85%D8%AC%D8%A9" title="لغة برمجة">لغات البرمجة</a> ونماذج <a href="/wiki/%D8%AD%D9%88%D8%B3%D8%A8%D8%A9_(%D8%B9%D8%A7%D9%85)" title="حوسبة (عام)">التحسيب</a>.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> </p><p>يعطى علم الدلالة الشكلي للغة ما عن طريق <a href="/wiki/%D9%86%D9%85%D9%88%D8%B0%D8%AC_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A" title="نموذج رياضي">نموذج رياضي</a> يصف طرق التحسيب الممكنة التي توصف بهذه اللغة. </p> <div class="mw-heading mw-heading2"><h2 id="المراجع"><span id=".D8.A7.D9.84.D9.85.D8.B1.D8.A7.D8.AC.D8.B9"></span>المراجع</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&action=edit&section=1" title="عدل القسم: المراجع"><span>عدل</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r64185426">.mw-parser-output .reflist{font-size:90%;margin-bottom:0.5em;list-style-type:decimal;overflow-y:auto;max-height:300px}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}@media print{.mw-parser-output .reflist{overflow-y:visible!important;max-height:none!important}}</style><div class="reflist"> <div class="mw-references-wrap"><ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink"><b><a href="#cite_ref-1">^</a></b></span> <span class="reference-text"><style data-mw-deduplicate="TemplateStyles:r67739214">.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")left 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")left 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")left 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")left 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}</style><cite id="CITEREFKnuth" class="citation web cs1">Knuth، Donald E. <a rel="nofollow" class="external text" href="https://web.archive.org/web/20120312235958/http://histsoc.stanford.edu/pdfmem/Floyd_Robert.pdf">"Memorial Resolution: Robert W. Floyd (1936-2001)"</a> <span class="cs1-format">(PDF)</span>. <i>Stanford University Faculty Memorials</i>. Stanford Historical Society. مؤرشف من <a rel="nofollow" class="external text" href="https://histsoc.stanford.edu/pdfmem/Floyd_Robert.pdf">الأصل</a> <span class="cs1-format">(PDF)</span> في 2012-03-12.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Stanford+University+Faculty+Memorials&rft.atitle=Memorial+Resolution%3A+Robert+W.+Floyd+%281936-2001%29&rft.aulast=Knuth&rft.aufirst=Donald+E.&rft_id=https%3A%2F%2Fhistsoc.stanford.edu%2Fpdfmem%2FFloyd_Robert.pdf&rfr_id=info%3Asid%2Far.wikipedia.org%3A%D8%B9%D9%84%D9%85+%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9+%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A" class="Z3988"></span></span> </li> </ol></div></div> <style data-mw-deduplicate="TemplateStyles:r68268331">.mw-parser-output .portalbox{padding:0;margin:0.5em 0;display:table;box-sizing:border-box;max-width:20ch;list-style:none}.mw-parser-output .portalborder{border:solid #aaa 1px;padding:0.1em;background:#f9f9f9}.mw-parser-output .portalbox-entry{display:table-row;font-size:85%;line-height:110%;height:1.9em;font-style:italic;font-weight:bold}.mw-parser-output .portalbox-image{display:table-cell;padding:0.2em;vertical-align:middle;text-align:center}.mw-parser-output .portalbox-link{display:table-cell;padding:0.2em 0.2em 0.2em 0.3em;vertical-align:middle}@media(min-width:720px){.mw-parser-output .portalleft{clear:left;float:left;margin:0.5em 1em 0.5em 0}.mw-parser-output .portalright{clear:right;float:right;margin:0.5em 0 0.5em 1em}}.mw-parser-output #bandeau-portail{clear:both;line-height:1.9em;padding:3px;margin:2px 0;background-color:var(--background-color-neutral-subtle,#f8f9fa);text-align:center;border:1px solid var(--border-color-base,#a2a9b1)}.mw-parser-output #liste-portail{padding:3px;text-align:center;margin-right:0;clear:both}.mw-parser-output #liste-portail li,.mw-parser-output #bandeau-portail li{display:inline}.mw-parser-output .bandeau-portail-element{white-space:nowrap;margin:auto 1.5em}.mw-parser-output .bandeau-portail-icone{margin-left:0.5em}.mw-parser-output .bandeau-portail-texte>a:nth-child(1){font-weight:700}.mw-parser-output .ns-14 #bandeau-portail{width:242px;float:left;font-size:96%;text-align:right;margin:0;clear:left}.mw-parser-output .ns-14 #bandeau-portail li{margin-right:-17px}@media screen{html.skin-theme-clientpref-night .mw-parser-output .portalbox{background:transparent}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .pane{background:transparent}}</style><ul role="navigation" aria-label="Portals" class="noprint bandeau-portail" id="bandeau-portail"> <li class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"><a href="/wiki/%D9%85%D9%84%D9%81:Octicons-terminal.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Octicons-terminal.svg/24px-Octicons-terminal.svg.png" decoding="async" width="24" height="28" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Octicons-terminal.svg/37px-Octicons-terminal.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Octicons-terminal.svg/49px-Octicons-terminal.svg.png 2x" data-file-width="896" data-file-height="1024" /></a></span></span><span class="bandeau-portail-texte"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D8%A8%D8%B1%D9%85%D8%AC%D8%A9_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8" title="بوابة:برمجة الحاسوب">بوابة برمجة الحاسوب</a></span></li> <li class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"><a href="/wiki/%D9%85%D9%84%D9%81:Nuvola_apps_edu_mathematics-ar.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/2/26/Nuvola_apps_edu_mathematics-ar.svg/32px-Nuvola_apps_edu_mathematics-ar.svg.png" decoding="async" width="32" height="21" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/2/26/Nuvola_apps_edu_mathematics-ar.svg/48px-Nuvola_apps_edu_mathematics-ar.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/2/26/Nuvola_apps_edu_mathematics-ar.svg/64px-Nuvola_apps_edu_mathematics-ar.svg.png 2x" data-file-width="190" data-file-height="124" /></a></span></span><span class="bandeau-portail-texte"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA" title="بوابة:رياضيات">بوابة رياضيات</a></span></li> <li class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"><a href="/wiki/%D9%85%D9%84%D9%81:Desktop_computer_clipart_-_Yellow_theme.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Desktop_computer_clipart_-_Yellow_theme.svg/32px-Desktop_computer_clipart_-_Yellow_theme.svg.png" decoding="async" width="32" height="23" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Desktop_computer_clipart_-_Yellow_theme.svg/48px-Desktop_computer_clipart_-_Yellow_theme.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Desktop_computer_clipart_-_Yellow_theme.svg/64px-Desktop_computer_clipart_-_Yellow_theme.svg.png 2x" data-file-width="281" data-file-height="203" /></a></span></span><span class="bandeau-portail-texte"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8" title="بوابة:علم الحاسوب">بوابة علم الحاسوب</a></span></li></ul> <style data-mw-deduplicate="TemplateStyles:r64185208">.mw-parser-output .asbox{position:relative;overflow:hidden;background-color:#f9f9f9;border:solid 1px #C0C0C0}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox-body{font-size:95%}.mw-parser-output .asbox-note{font-size:smaller}.mw-parser-output .asbox .navbar{position:absolute;top:-0.75em;right:1em;display:none}</style><div role="note" class="metadata plainlinks asbox stub"><table role="presentation"><tbody><tr class="noresize"><td><span typeof="mw:File"><a href="/wiki/%D9%85%D9%84%D9%81:Computer.svg" class="mw-file-description"><img alt="أيقونة بذرة" src="//upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Computer.svg/20px-Computer.svg.png" decoding="async" width="20" height="20" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Computer.svg/30px-Computer.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Computer.svg/40px-Computer.svg.png 2x" data-file-width="48" data-file-height="48" /></a></span></td><td><p class="asbox-body">هذه <a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%A8%D8%B0%D8%B1%D8%A9" title="ويكيبيديا:بذرة">بذرة</a> مقالة عن <a href="/wiki/%D8%AD%D8%A7%D8%B3%D9%88%D8%A8" title="حاسوب">الحاسوب</a> أو العاملين في هذا المجال، بحاجة للتوسيع. فضلًا <a class="external text" href="https://ar.wikipedia.org/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&action=edit">شارك</a> في تحريرها.</p></td></tr></tbody></table></div></div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">مجلوبة من «<a dir="ltr" href="https://ar.wikipedia.org/w/index.php?title=علم_الدلالة_الشكلي&oldid=65272633">https://ar.wikipedia.org/w/index.php?title=علم_الدلالة_الشكلي&oldid=65272633</a>»</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%AA%D8%B5%D9%81%D8%AD" title="ويكيبيديا:تصفح">تصنيفان</a>: <ul><li><a href="/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D8%B7%D8%B1%D9%82_%D8%B4%D9%83%D9%84%D9%8A%D8%A9" title="تصنيف:طرق شكلية">طرق شكلية</a></li><li><a href="/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D9%85%D9%86%D8%B7%D9%82_%D9%81%D9%8A_%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8" title="تصنيف:منطق في علم الحاسوب">منطق في علم الحاسوب</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">تصنيفات مخفية: <ul><li><a href="/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:Pages_using_the_JsonConfig_extension" title="تصنيف:Pages using the JsonConfig extension">Pages using the JsonConfig extension</a></li><li><a href="/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D9%85%D9%82%D8%A7%D9%84%D8%A7%D8%AA_%D8%A8%D8%AD%D8%A7%D8%AC%D8%A9_%D9%84%D8%B5%D9%86%D8%AF%D9%88%D9%82_%D9%85%D8%B9%D9%84%D9%88%D9%85%D8%A7%D8%AA" title="تصنيف:مقالات بحاجة لصندوق معلومات">مقالات بحاجة لصندوق معلومات</a></li><li><a href="/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D8%AC%D9%85%D9%8A%D8%B9_%D8%A7%D9%84%D9%85%D9%82%D8%A7%D9%84%D8%A7%D8%AA_%D8%A8%D8%AF%D9%88%D9%86_%D8%B5%D9%86%D8%AF%D9%88%D9%82_%D9%85%D8%B9%D9%84%D9%88%D9%85%D8%A7%D8%AA" title="تصنيف:جميع المقالات بدون صندوق معلومات">جميع المقالات بدون صندوق معلومات</a></li><li><a href="/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D8%A8%D9%88%D8%A7%D8%A8%D8%A9_%D8%A8%D8%B1%D9%85%D8%AC%D8%A9_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8/%D9%85%D9%82%D8%A7%D9%84%D8%A7%D8%AA_%D9%85%D8%AA%D8%B9%D9%84%D9%82%D8%A9" title="تصنيف:بوابة برمجة الحاسوب/مقالات متعلقة">بوابة برمجة الحاسوب/مقالات متعلقة</a></li><li><a href="/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D8%A8%D9%88%D8%A7%D8%A8%D8%A9_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA/%D9%85%D9%82%D8%A7%D9%84%D8%A7%D8%AA_%D9%85%D8%AA%D8%B9%D9%84%D9%82%D8%A9" title="تصنيف:بوابة رياضيات/مقالات متعلقة">بوابة رياضيات/مقالات متعلقة</a></li><li><a href="/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D8%A8%D9%88%D8%A7%D8%A8%D8%A9_%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8/%D9%85%D9%82%D8%A7%D9%84%D8%A7%D8%AA_%D9%85%D8%AA%D8%B9%D9%84%D9%82%D8%A9" title="تصنيف:بوابة علم الحاسوب/مقالات متعلقة">بوابة علم الحاسوب/مقالات متعلقة</a></li><li><a href="/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D8%AC%D9%85%D9%8A%D8%B9_%D9%85%D9%82%D8%A7%D9%84%D8%A7%D8%AA_%D8%A7%D9%84%D8%A8%D8%B0%D9%88%D8%B1" title="تصنيف:جميع مقالات البذور">جميع مقالات البذور</a></li><li><a href="/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D8%A8%D8%B0%D8%B1%D8%A9_%D8%AD%D8%A7%D8%B3%D9%88%D8%A8" title="تصنيف:بذرة حاسوب">بذرة حاسوب</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> آخر تعديل لهذه الصفحة كان يوم 18 نوفمبر 2023، الساعة 03:02.</li> <li id="footer-info-copyright">النصوص متاحة تحت <a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D9%86%D8%B5_%D8%B1%D8%AE%D8%B5%D8%A9_%D8%A7%D9%84%D9%85%D8%B4%D8%A7%D8%B9_%D8%A7%D9%84%D8%A5%D8%A8%D8%AF%D8%A7%D8%B9%D9%8A:_%D8%A7%D9%84%D9%86%D8%B3%D8%A8%D8%A9-%D8%A7%D9%84%D8%AA%D8%B1%D8%AE%D9%8A%D8%B5_%D8%A8%D8%A7%D9%84%D9%85%D8%AB%D9%84_4.0" title="ويكيبيديا:نص رخصة المشاع الإبداعي: النسبة-الترخيص بالمثل 4.0">رخصة المشاع الإبداعي الملزمة بنسبة العمل لمؤلفه وبترخيص الأعمال المشتقة بالمثل 4.0</a>؛ قد تُطبّق شروط إضافية. استخدامُك هذا الموقع هو موافقةٌ على <a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use" class="extiw" title="foundation:Special:MyLanguage/Policy:Terms of Use">شروط الاستخدام</a> <a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy" class="extiw" title="foundation:Special:MyLanguage/Policy:Privacy policy">وسياسة الخصوصية</a>. ويكيبيديا ® هي علامة تجارية مسجلة <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">لمؤسسة ويكيميديا</a>، وهي منظمة غير ربحية.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/ar">سياسة الخصوصية</a></li> <li id="footer-places-about"><a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%B9%D9%86">حول ويكيبيديا</a></li> <li id="footer-places-disclaimers"><a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%A5%D8%AE%D9%84%D8%A7%D8%A1_%D9%85%D8%B3%D8%A4%D9%88%D9%84%D9%8A%D8%A9_%D8%B9%D8%A7%D9%85">إخلاء مسؤولية</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">القواعد السلوكية</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">المطورون</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/ar.wikipedia.org">إحصائيات</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">بيان تعريف الارتباطات</a></li> <li id="footer-places-mobileview"><a href="//ar.m.wikipedia.org/w/index.php?title=%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">نسخة للأجهزة المحمولة</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-cc877b49b-j47d5","wgBackendResponseTime":512,"wgPageParseReport":{"limitreport":{"cputime":"0.229","walltime":"0.327","ppvisitednodes":{"value":447,"limit":1000000},"postexpandincludesize":{"value":13133,"limit":2097152},"templateargumentsize":{"value":1249,"limit":2097152},"expansiondepth":{"value":8,"limit":100},"expensivefunctioncount":{"value":4,"limit":500},"unstrip-depth":{"value":1,"limit":20},"unstrip-size":{"value":10476,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 308.285 1 -total"," 40.89% 126.059 1 قالب:لا_صندوق_معلومات"," 31.42% 96.869 1 قالب:مراجع"," 26.48% 81.636 1 قالب:استشهاد_ويب"," 23.45% 72.302 1 قالب:صندوق_رسالة_مقالة"," 20.91% 64.470 1 قالب:شريط_بوابات"," 10.05% 30.995 1 قالب:لا_صندوق_معلومات/تصنيف_ويكي_بيانات"," 6.31% 19.460 1 قالب:بذرة_حوسبة"," 5.78% 17.823 1 قالب:صندوق_رسالة_بذرة"," 0.71% 2.198 1 قالب:Noprint"]},"scribunto":{"limitreport-timeusage":{"value":"0.168","limit":"10.000"},"limitreport-memusage":{"value":5002019,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-cc877b49b-j47d5","timestamp":"20241127115055","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"\u0639\u0644\u0645 \u0627\u0644\u062f\u0644\u0627\u0644\u0629 \u0627\u0644\u0634\u0643\u0644\u064a","url":"https:\/\/ar.wikipedia.org\/wiki\/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84%D9%8A","sameAs":"http:\/\/www.wikidata.org\/entity\/Q1437428","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q1437428","author":{"@type":"Organization","name":"\u0627\u0644\u0645\u0633\u0627\u0647\u0645\u0648\u0646 \u0641\u064a \u0645\u0634\u0627\u0631\u064a\u0639 \u0648\u064a\u0643\u064a\u0645\u064a\u062f\u064a\u0627"},"publisher":{"@type":"Organization","name":"\u0645\u0624\u0633\u0633\u0629 \u0648\u064a\u0643\u064a\u0645\u064a\u062f\u064a\u0627","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2006-07-08T19:03:52Z"}</script> </body> </html>