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-enabled skin-theme-clientpref-day vector-toc-available" lang="fa" 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-enabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )fawikimwclientpreferences=([^;]+)/);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۸\t۹\t٪"],"wgDefaultDateFormat":"dmy","wgMonthNames":["","ژانویه","فوریه","مارس","آوریل","مه","ژوئن","ژوئیه","اوت","سپتامبر","اکتبر","نوامبر","دسامبر"],"wgRequestId":"30453634-4402-42cc-ad73-2b9e61d394fe","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"معنی‌شناسی_(علوم_رایانه)","wgTitle":"معنی‌شناسی (علوم رایانه)","wgCurRevisionId":37796804,"wgRevisionId":37796804,"wgArticleId":5184741,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["یادکردهای دارای منبع به زبان انگلیسی","مقاله‌های دارای واژگان به زبان انگلیسی","همه مقاله‌های خرد","مقاله‌های خرد علوم رایانه","روش‌های صوری", "زبان‌های توصیف صوری","معنی‌شناسی زبان‌های برنامه‌نویسی","منطق در علوم کامپیوتر"],"wgPageViewLanguage":"fa","wgPageContentLanguage":"fa","wgPageContentModel":"wikitext","wgRelevantPageName":"معنی‌شناسی_(علوم_رایانه)","wgRelevantArticleId":5184741,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgFlaggedRevsParams":{"tags":{"status":{"levels":1}}},"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"fa","pageLanguageDir":"rtl","pageVariantFallbacks":"fa"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":4000,"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};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","ext.pygments":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","jquery.makeCollapsible.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready", "wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","ext.pygments.view","site","mediawiki.page.ready","jquery.makeCollapsible","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.Edittools","ext.gadget.EasyNewSection","ext.gadget.signit","ext.gadget.decodesummary","ext.gadget.Watchlist","ext.gadget.switcher","ext.gadget.refToolbar","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"];</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=fa&modules=ext.cite.styles%7Cext.pygments%2CwikimediaBadges%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediamessages.styles%7Cjquery.makeCollapsible.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=fa&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=fa&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="//fa.m.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)"> <link rel="alternate" type="application/x-wiki" title="ویرایش" href="/w/index.php?title=%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)&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="ویکی‌پدیا (fa)"> <link rel="EditURI" type="application/rsd+xml" href="//fa.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" 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)"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fa"> <link rel="alternate" type="application/atom+xml" title="خوراک اتم برای ویکی‌پدیا" href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:%D8%AA%D8%BA%DB%8C%DB%8C%D8%B1%D8%A7%D8%AA_%D8%A7%D8%AE%DB%8C%D8%B1&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-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-mainpage" class="mw-list-item"><a href="/wiki/%D8%B5%D9%81%D8%AD%D9%87%D9%94_%D8%A7%D8%B5%D9%84%DB%8C" title="مشاهدهٔ صفحهٔ اصلی [z]" accesskey="z"><span>صفحهٔ اصلی</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/%D8%AF%D8%B1%DA%AF%D8%A7%D9%87:%D8%B1%D9%88%DB%8C%D8%AF%D8%A7%D8%AF%D9%87%D8%A7%DB%8C_%DA%A9%D9%86%D9%88%D9%86%DB%8C" title="یافتن اطلاعات پس‌زمینه پیرامون رویدادهای کنونی"><span>رویدادهای کنونی</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%B5%D9%81%D8%AD%D9%87%D9%94_%D8%AA%D8%B5%D8%A7%D8%AF%D9%81%DB%8C" title="آوردن یک صفحهٔ تصادفی [x]" accesskey="x"><span>مقالهٔ تصادفی</span></a></li> </ul> </div> </div> <div id="p-collaboration" class="vector-menu mw-portlet mw-portlet-collaboration" > <div class="vector-menu-heading"> همکاری </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-recentchanges" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%AA%D8%BA%DB%8C%DB%8C%D8%B1%D8%A7%D8%AA_%D8%A7%D8%AE%DB%8C%D8%B1" title="فهرستی از تغییرات اخیر ویکی [r]" accesskey="r"><span>تغییرات اخیر</span></a></li><li id="n-cooperateing" class="mw-list-item"><a href="/wiki/%D8%B1%D8%A7%D9%87%D9%86%D9%85%D8%A7:%D9%87%D9%85%DA%A9%D8%A7%D8%B1%DB%8C"><span>ویکی‌نویس شوید!</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/%D8%B1%D8%A7%D9%87%D9%86%D9%85%D8%A7:%D9%81%D9%87%D8%B1%D8%B3%D8%AA" title="مکانی برای دریافتن"><span>راهنما</span></a></li><li id="n-contact" class="mw-list-item"><a href="//fa.wikipedia.org/wiki/%D9%88%DB%8C%DA%A9%DB%8C%E2%80%8C%D9%BE%D8%AF%DB%8C%D8%A7:%D8%AA%D9%85%D8%A7%D8%B3_%D8%A8%D8%A7_%D9%85%D8%A7"><span>تماس با ویکی‌پدیا</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/%D8%B5%D9%81%D8%AD%D9%87%D9%94_%D8%A7%D8%B5%D9%84%DB%8C" 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-fa.svg" style="width: 6em; height: 2em;"> <img class="mw-logo-tagline" alt="دانشنامهٔ آزاد" src="/static/images/mobile/copyright/wikipedia-tagline-fa.svg" width="72" height="18" style="width: 4.5em; height: 1.125em;"> </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/%D9%88%DB%8C%DA%98%D9%87:%D8%AC%D8%B3%D8%AA%D8%AC%D9%88" 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_fa.wikipedia.org&uselang=fa" 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=%D9%88%DB%8C%DA%98%D9%87:%D8%A7%DB%8C%D8%AC%D8%A7%D8%AF_%D8%AD%D8%B3%D8%A7%D8%A8_%DA%A9%D8%A7%D8%B1%D8%A8%D8%B1%DB%8C&returnto=%D9%85%D8%B9%D9%86%DB%8C%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C+%28%D8%B9%D9%84%D9%88%D9%85+%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%29" 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=%D9%88%DB%8C%DA%98%D9%87:%D9%88%D8%B1%D9%88%D8%AF_%D8%A8%D9%87_%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87&returnto=%D9%85%D8%B9%D9%86%DB%8C%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C+%28%D8%B9%D9%84%D9%88%D9%85+%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%29" 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_fa.wikipedia.org&uselang=fa"><span>کمک مالی</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:%D8%A7%DB%8C%D8%AC%D8%A7%D8%AF_%D8%AD%D8%B3%D8%A7%D8%A8_%DA%A9%D8%A7%D8%B1%D8%A8%D8%B1%DB%8C&returnto=%D9%85%D8%B9%D9%86%DB%8C%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C+%28%D8%B9%D9%84%D9%88%D9%85+%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%29" 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=%D9%88%DB%8C%DA%98%D9%87:%D9%88%D8%B1%D9%88%D8%AF_%D8%A8%D9%87_%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87&returnto=%D9%85%D8%B9%D9%86%DB%8C%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C+%28%D8%B9%D9%84%D9%88%D9%85+%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%29" 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/%D8%B1%D8%A7%D9%87%D9%86%D9%85%D8%A7:%D9%85%D9%82%D8%AF%D9%85%D9%87" 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/%D9%88%DB%8C%DA%98%D9%87:%D9%85%D8%B4%D8%A7%D8%B1%DA%A9%D8%AA%E2%80%8C%D9%87%D8%A7%DB%8C_%D9%85%D9%86" title="فهرست ویرایش‌ها انجام شده از این نشانی آی‌پی [y]" accesskey="y"><span>مشارکت‌ها</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%A8%D8%AD%D8%AB_%D9%85%D9%86" 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"><!-- CentralNotice --></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">۱</span> <span>سازوکار معنی‌شناسی</span> </div> </a> <ul id="toc-سازوکار_معنی‌شناسی-sublist" class="vector-toc-list"> </ul> </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">۲</span> <span>مثال</span> </div> </a> <ul id="toc-مثال-sublist" class="vector-toc-list"> </ul> </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">۳</span> <span>بررسی اجمالی</span> </div> </a> <ul id="toc-بررسی_اجمالی-sublist" class="vector-toc-list"> </ul> </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">۴</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="به مقاله‌ای به یک زبان دیگر بروید. به ۲۲ زبان در دسترس است." > <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">۲۲ زبان</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-ar mw-list-item"><a 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" title="علم الدلالة الشكلي–عربی" lang="ar" hreflang="ar" data-title="علم الدلالة الشكلي" data-language-autonym="العربية" data-language-local-name="عربی" class="interlanguage-link-target"><span>العربية</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-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/%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="دیدن صفحهٔ محتویات [c]" accesskey="c"><span>مقاله</span></a></li><li id="ca-talk" class="new vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%D8%A8%D8%AD%D8%AB:%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)&action=edit&redlink=1" rel="discussion" class="new" 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/%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)"><span>خواندن</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%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)&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=%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)&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/%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)"><span>خواندن</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%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)&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=%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)&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/%D9%88%DB%8C%DA%98%D9%87:%D9%BE%DB%8C%D9%88%D9%86%D8%AF_%D8%A8%D9%87_%D8%A7%DB%8C%D9%86_%D8%B5%D9%81%D8%AD%D9%87/%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="فهرست همهٔ صفحه‌هایی که به این صفحه پیوند می‌دهند [j]" accesskey="j"><span>پیوندها به این صفحه</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%AA%D8%BA%DB%8C%DB%8C%D8%B1%D8%A7%D8%AA_%D9%85%D8%B1%D8%AA%D8%A8%D8%B7/%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)" 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/%D9%88%DB%8C%DA%98%D9%87:%D8%B5%D9%81%D8%AD%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D9%88%DB%8C%DA%98%D9%87" title="فهرستی از همهٔ صفحه‌های ویژه [q]" accesskey="q"><span>صفحه‌های ویژه</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=%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)&oldid=37796804" title="پیوند پایدار به این نسخه از این صفحه"><span>پیوند پایدار</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=%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)&action=info" title="اطلاعات بیشتر دربارهٔ این صفحه"><span>اطلاعات صفحه</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:%DB%8C%D8%A7%D8%AF%DA%A9%D8%B1%D8%AF&page=%D9%85%D8%B9%D9%86%DB%8C%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C_%28%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%29&id=37796804&wpFormIdentifier=titleform" title="اطلاعات در خصوص چگونگی یادکرد این صفحه"><span>یادکرد این صفحه</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:UrlShortener&url=https%3A%2F%2Ffa.wikipedia.org%2Fwiki%2F%25D9%2585%25D8%25B9%25D9%2586%25DB%258C%25E2%2580%258C%25D8%25B4%25D9%2586%25D8%25A7%25D8%25B3%25DB%258C_%28%25D8%25B9%25D9%2584%25D9%2588%25D9%2585_%25D8%25B1%25D8%25A7%25DB%258C%25D8%25A7%25D9%2586%25D9%2587%29"><span>دریافت نشانی کوتاه‌شده</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:QrCode&url=https%3A%2F%2Ffa.wikipedia.org%2Fwiki%2F%25D9%2585%25D8%25B9%25D9%2586%25DB%258C%25E2%2580%258C%25D8%25B4%25D9%2586%25D8%25A7%25D8%25B3%25DB%258C_%28%25D8%25B9%25D9%2584%25D9%2588%25D9%2585_%25D8%25B1%25D8%25A7%25DB%258C%25D8%25A7%25D9%2586%25D9%2587%29"><span>بارگیری کد QR</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-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:DownloadAsPdf&page=%D9%85%D8%B9%D9%86%DB%8C%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C_%28%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%29&action=show-download-screen"><span>بارگیری به‌صورت PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=%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)&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> <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="fa" dir="rtl"><p>در <a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C" title="نظریه زبان‌های برنامه‌نویسی">نظریه زبان‌های برنامه‌نویسی</a>، <b>معنی‌شناسی</b> (به <a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%A7%D9%86%DA%AF%D9%84%DB%8C%D8%B3%DB%8C" title="زبان انگلیسی">انگلیسی</a>: <span lang="en" title="متن به زبان انگلیسی"><bdi>semantics</bdi></span>) یک پهنه است که متوجه مطالعهٔ ریاضی‌وار دقیق معنی <a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C" title="زبان برنامه‌نویسی">زبان‌های برنامه‌نویسی</a> است. این کار با ارزیابی معنی <a href="/wiki/%D8%B1%D8%B4%D8%AA%D9%87_(%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87)" title="رشته (علوم رایانه)">رشته‌های</a> مجاز <a href="/w/index.php?title=%D9%86%D8%AD%D9%88_(%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C)&action=edit&redlink=1" class="new" title="نحو (زبان‌های برنامه‌نویسی) (صفحه وجود ندارد)">نحو</a>ی، که توسط زبان برنامه‌نویسی خاص تعریف شده‌اند، انجام می‌شود، که در نهایت «محاسبات درگیر» را نمایش می‌دهد. اگر نتیجه ارزیابی، رشته‌های غیرمجاز نحوی باشد، نتیجه آن است که «بدون محاسبه» را در خروجی بدهد.<sup id="cite_ref-:0_1-0" class="reference"><a href="#cite_note-:0-1"><span class="cite-bracket">[</span>۱<span class="cite-bracket">]</span></a></sup> </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="سازوکار_معنی‌شناسی"><span id=".D8.B3.D8.A7.D8.B2.D9.88.DA.A9.D8.A7.D8.B1_.D9.85.D8.B9.D9.86.DB.8C.E2.80.8C.D8.B4.D9.86.D8.A7.D8.B3.DB.8C"></span>سازوکار معنی‌شناسی</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%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)&action=edit&section=1" title="ویرایش بخش: سازوکار معنی‌شناسی"><span>ویرایش</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>معنی‌شناسی فرایندهایی را که یک رایانه در هنگام اجرای یک برنامه، در آن زبان به‌خصوص، از آن پیروی می‌کند را توصیف می‌کند. این فرایندها می‌تواند توسط توصیف رابطهٔ بین ورودی و خروجی یک برنامه نشان داده شود، همچنین می‌توان توسط توضیح‌دادن آنکه چگونه یک برنامه در <a href="/wiki/%D8%B3%DA%A9%D9%88%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4" class="mw-redirect" title="سکوی رایانش">سکوی</a> مشخصی اجرا می‌شود نشان داده شود. از این رو معنی‌شناسی یک <a href="/wiki/%D9%85%D8%AF%D9%84_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D9%87" title="مدل محاسبه">مدل محاسباتی</a> می‌سازد.<sup id="cite_ref-:0_1-1" class="reference"><a href="#cite_note-:0-1"><span class="cite-bracket">[</span>۱<span class="cite-bracket">]</span></a></sup> </p><p>معنی‌شناسی قراردادی، برای مثال، در این موارد کاربرد دارد: کمک به نوشتن کامپایلرها، فهم بهتر آنکه برنامه چه کاری انجام می‌دهد، اثبات رفتار برنامه و غیره.<sup id="cite_ref-:0_1-2" class="reference"><a href="#cite_note-:0-1"><span class="cite-bracket">[</span>۱<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="مثال"><span id=".D9.85.D8.AB.D8.A7.D9.84"></span>مثال</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%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)&action=edit&section=2" title="ویرایش بخش: مثال"><span>ویرایش</span></a><span class="mw-editsection-bracket">]</span></span></div><p> عبارت if زیر</p><div class="mw-highlight mw-highlight-lang-text mw-content-ltr" dir="ltr"><pre><span></span>if 1 == 1 then S1 else S2 </pre></div><p>معنی‌شناسی در زبان برنامه‌نویسی (کامپایلر) تشخیص می‌دهد که تأثیر این عبارت همان S1 تنها می‌باشد.<sup id="cite_ref-:0_1-3" class="reference"><a href="#cite_note-:0-1"><span class="cite-bracket">[</span>۱<span class="cite-bracket">]</span></a></sup> </p><div class="mw-heading mw-heading2"><h2 id="بررسی_اجمالی"><span id=".D8.A8.D8.B1.D8.B1.D8.B3.DB.8C_.D8.A7.D8.AC.D9.85.D8.A7.D9.84.DB.8C"></span>بررسی اجمالی</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%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)&action=edit&section=3" title="ویرایش بخش: بررسی اجمالی"><span>ویرایش</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>پهنه معنی‌شناسی صوری شامل این موارد است: </p> <ul><li>تعریف مدل‌های معنایی</li> <li>ارتباط بین مدل‌های معنایی مختلف</li> <li>رابطه بین دیدگاه‌های مختلف برای معنا</li> <li>رابطه بین محاسبات و پهنه ساختارهای ریاضی اساسی مثل <a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA%DB%8C" class="mw-redirect" title="منطق ریاضیاتی">منطق</a>، <a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D9%85%D8%AC%D9%85%D9%88%D8%B9%D9%87%E2%80%8C%D9%87%D8%A7" title="نظریه مجموعه‌ها">نظریه مجموعه‌ها</a>، <a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D9%85%D8%AF%D9%84" title="نظریه مدل">نظریه مدل</a>، <a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%B1%D8%B3%D8%AA%D9%87%E2%80%8C%D9%87%D8%A7" title="نظریه رسته‌ها">نظریه رسته‌ها</a> و غیره.</li></ul> <p>معنی‌شناسی رابطه‌های نزدیکی با دیگر زمینه‌ها علوم رایانه مثل <a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C" title="زبان برنامه‌نویسی">طراحی زبان‌های برنامه‌نویسی</a>، <a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D9%86%D9%88%D8%B9%E2%80%8C%D9%87%D8%A7" title="نظریه نوع‌ها">نظریه نوع‌ها</a>، <a href="/wiki/%DA%A9%D8%A7%D9%85%D9%BE%D8%A7%DB%8C%D9%84%D8%B1" title="کامپایلر">کامپایلرها</a> و <a href="/wiki/%D9%85%D9%81%D8%B3%D8%B1_(%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87)" class="mw-redirect" title="مفسر (رایانه)">مفسرها</a>، <a href="/wiki/%D8%AF%D8%B1%D8%B3%D8%AA%DB%8C%E2%80%8C%DB%8C%D8%A7%D8%A8%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C" title="درستی‌یابی صوری">درستی‌یابی برنامه</a>، و <a href="/wiki/%D9%88%D8%A7%D8%B1%D8%B3%DB%8C_%D9%85%D8%AF%D9%84" title="وارسی مدل">وارسی مدل</a> دارد.<sup id="cite_ref-:0_1-4" class="reference"><a href="#cite_note-:0-1"><span class="cite-bracket">[</span>۱<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="منابع"><span id=".D9.85.D9.86.D8.A7.D8.A8.D8.B9"></span>منابع</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%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)&action=edit&section=4" title="ویرایش بخش: منابع"><span>ویرایش</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r37199623">.mw-parser-output .reflist{font-size:90%;margin-bottom:0.5em;list-style-type:decimal}.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}</style><div class="reflist"> <div class="mw-references-wrap"><ol class="references"> <li id="cite_note-:0-1"><span class="mw-cite-backlink">↑ <sup><a href="#cite_ref-:0_1-0">۱٫۰</a></sup> <sup><a href="#cite_ref-:0_1-1">۱٫۱</a></sup> <sup><a href="#cite_ref-:0_1-2">۱٫۲</a></sup> <sup><a href="#cite_ref-:0_1-3">۱٫۳</a></sup> <sup><a href="#cite_ref-:0_1-4">۱٫۴</a></sup></span> <span class="reference-text"><style data-mw-deduplicate="TemplateStyles:r39868036">.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 a,.mw-parser-output .citation .cs1-lock-free a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.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:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.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}</style><cite class="citation journal cs1 cs1-prop-foreign-lang-source"><a class="external text" href="https://en.wikipedia.org/w/index.php?title=Semantics_(computer_science)&oldid=926992593">"Semantics (computer science)"</a>. <i>Wikipedia</i> (به انگلیسی). 2019-11-19.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Wikipedia&rft.atitle=Semantics+%28computer+science%29&rft.date=2019-11-19&rft_id=https%3A%2F%2Fen.wikipedia.org%2Fw%2Findex.php%3Ftitle%3DSemantics_%28computer_science%29%26oldid%3D926992593&rfr_id=info%3Asid%2Ffa.wikipedia.org%3A%D9%85%D8%B9%D9%86%DB%8C%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C+%28%D8%B9%D9%84%D9%88%D9%85+%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%29" class="Z3988"></span></span> </li> </ol></div></div> <div class="navbox-styles"><style data-mw-deduplicate="TemplateStyles:r40355799">.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}</style><style data-mw-deduplicate="TemplateStyles:r39648996">.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#f8f9fa}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#f8f9fa}.mw-parser-output .navbox-list-with-group{text-align:right;border-left-width:2px;border-right-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #f8f9fa}.mw-parser-output .navbox-title{background-color:#b3ccff}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#dbe7ff}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e5edff}.mw-parser-output .navbox-even{background-color:#f8f9fa}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:right;text-align:right;margin-left:0.5em}.mw-parser-output .navbox-list li{unicode-bidi:isolate}</style></div><div role="navigation" class="navbox" aria-labelledby="علوم_رایانه" style="padding:3px"><table class="nowraplinks hlist mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r40355799"><style data-mw-deduplicate="TemplateStyles:r40261389">.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:right;text-align:right}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-left:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-right:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}html.skin-theme-clientpref-night .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}}@media print{.mw-parser-output .navbar{display:none!important}}</style><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-نمایش"><a href="/wiki/%D8%A7%D9%84%DA%AF%D9%88:%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="الگو:علوم رایانه"><abbr title="مشاهدهٔ این الگو">ن</abbr></a></li><li class="nv-بحث"><a href="/wiki/%D8%A8%D8%AD%D8%AB_%D8%A7%D9%84%DA%AF%D9%88:%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="بحث الگو:علوم رایانه"><abbr title="بحث پیرامون این الگو">ب</abbr></a></li><li class="nv-ویرایش"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D9%88%DB%8C%D8%B1%D8%A7%DB%8C%D8%B4_%D8%B5%D9%81%D8%AD%D9%87/%D8%A7%D9%84%DA%AF%D9%88:%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="ویژه:ویرایش صفحه/الگو:علوم رایانه"><abbr title="ویرایش کردن این الگو">و</abbr></a></li></ul></div><div id="علوم_رایانه" style="font-size:114%;margin:0 4em"><a href="/wiki/%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="علوم رایانه">علوم رایانه</a></div></th></tr><tr><td class="navbox-abovebelow" colspan="2"><div>Note: This template roughly follows the 2012 <a href="/w/index.php?title=ACM_Computing_Classification_System&action=edit&redlink=1" class="new" title="ACM Computing Classification System (صفحه وجود ندارد)">ACM Computing Classification System</a>.</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D8%B3%D8%AE%D8%AA%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="سخت‌افزار رایانه">سخت‌افزار</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D8%A8%D8%B1%D8%AF_%D9%85%D8%AF%D8%A7%D8%B1_%DA%86%D8%A7%D9%BE%DB%8C" title="برد مدار چاپی">برد مدار چاپی</a></li> <li><a href="/wiki/%D8%AF%D8%B3%D8%AA%DA%AF%D8%A7%D9%87_%D8%AC%D8%A7%D9%86%D8%A8%DB%8C" title="دستگاه جانبی">دستگاه جانبی</a></li> <li><a href="/wiki/%D9%85%D8%AF%D8%A7%D8%B1_%D9%85%D8%AC%D8%AA%D9%85%D8%B9" class="mw-redirect" title="مدار مجتمع">مدار مجتمع</a></li> <li><a href="/wiki/%DB%8C%DA%A9%D9%BE%D8%A7%D8%B1%DA%86%D9%87%E2%80%8C%D8%B3%D8%A7%D8%B2%DB%8C_%DA%A9%D9%84%D8%A7%D9%86%E2%80%8C%D9%85%D9%82%DB%8C%D8%A7%D8%B3" title="یکپارچه‌سازی کلان‌مقیاس">یکپارچه‌سازی کلان‌مقیاس</a></li> <li><a href="/wiki/%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87_%D8%B1%D9%88%DB%8C_%DB%8C%DA%A9_%D8%AA%D8%B1%D8%A7%D8%B4%D9%87" title="سامانه روی یک تراشه">سامانه روی یک تراشه</a></li> <li><a href="/wiki/%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4_%D8%B3%D8%A8%D8%B2" title="رایانش سبز">رایانش سبز</a></li> <li><a href="/wiki/%D8%AE%D9%88%D8%AF%DA%A9%D8%A7%D8%B1%D8%B3%D8%A7%D8%B2%DB%8C_%D8%B7%D8%B1%D8%A7%D8%AD%DB%8C_%D8%A7%D9%84%DA%A9%D8%AA%D8%B1%D9%88%D9%86%DB%8C%DA%A9%DB%8C" title="خودکارسازی طراحی الکترونیکی">خودکارسازی طراحی الکترونیکی</a></li> <li><a href="/wiki/%D8%B4%D8%AA%D8%A7%D8%A8%E2%80%8C%D8%AF%D9%87%D9%86%D8%AF%D9%87_%D8%B3%D8%AE%D8%AA%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1%DB%8C" title="شتاب‌دهنده سخت‌افزاری">شتاب‌دهنده سخت‌افزاری</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">سازمان<br />سامانه‌های رایانه</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D9%85%D8%B9%D9%85%D8%A7%D8%B1%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="معماری رایانه">معماری رایانه</a></li> <li><a href="/wiki/%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87_%D9%86%D9%87%D9%81%D8%AA%D9%87" class="mw-redirect" title="سامانه نهفته">سامانه نهفته</a></li> <li><a href="/wiki/%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4_%D8%A8%DB%8C%E2%80%8C%D8%AF%D8%B1%D9%86%DA%AF" title="رایانش بی‌درنگ">رایانش بی‌درنگ</a></li> <li><a href="/wiki/%D8%A7%D8%B7%D9%85%DB%8C%D9%86%D8%A7%D9%86%E2%80%8C%D9%BE%D8%B0%DB%8C%D8%B1%DB%8C" title="اطمینان‌پذیری">اطمینان‌پذیری</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D8%B4%D8%A8%DA%A9%D9%87_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%E2%80%8C%D8%A7%DB%8C" title="شبکه رایانه‌ای">شبکه رایانه‌ای</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D9%85%D8%B9%D9%85%D8%A7%D8%B1%DB%8C_%D8%B4%D8%A8%DA%A9%D9%87" title="معماری شبکه">معماری شبکه</a></li> <li><a href="/wiki/%D9%BE%D8%B1%D9%88%D8%AA%DA%A9%D9%84_%D8%A7%D8%B1%D8%AA%D8%A8%D8%A7%D8%B7%D8%A7%D8%AA" class="mw-redirect" title="پروتکل ارتباطات">پروتکل ارتباطات</a></li> <li><a href="/wiki/%D8%B3%D8%AE%D8%AA%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1_%D8%B4%D8%A8%DA%A9%D9%87" title="سخت‌افزار شبکه">سخت‌افزار شبکه</a></li> <li><a href="/wiki/%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D8%B1%DB%8C%D8%B2_%D8%B4%D8%A8%DA%A9%D9%87" title="برنامه‌ریز شبکه">برنامه‌ریز شبکه</a></li> <li><a href="/wiki/%DA%A9%D8%A7%D8%B1%D8%A7%DB%8C%DB%8C_%D8%B4%D8%A8%DA%A9%D9%87_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%E2%80%8C%D8%A7%DB%8C" class="mw-redirect" title="کارایی شبکه رایانه‌ای">کارایی شبکه رایانه‌ای</a></li> <li><a href="/wiki/%D8%B3%D8%B1%D9%88%DB%8C%D8%B3_%D8%B4%D8%A8%DA%A9%D9%87%E2%80%8C%D8%A7%DB%8C" class="mw-redirect" title="سرویس شبکه‌ای">سرویس شبکه‌ای</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">سازمان نرم‌افزار</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D9%85%D9%81%D8%B3%D8%B1_(%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87)" class="mw-redirect" title="مفسر (رایانه)">مفسر</a></li> <li><a href="/wiki/%D9%85%DB%8C%D8%A7%D9%86%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" title="میان‌افزار">میان‌افزار</a></li> <li><a href="/wiki/%D9%85%D8%A7%D8%B4%DB%8C%D9%86_%D9%85%D8%AC%D8%A7%D8%B2%DB%8C" title="ماشین مجازی">ماشین مجازی</a></li> <li><a href="/wiki/%D8%B3%DB%8C%D8%B3%D8%AA%D9%85%E2%80%8C%D8%B9%D8%A7%D9%85%D9%84" title="سیستم‌عامل">سیستم‌عامل</a></li> <li><a href="/wiki/%DA%A9%DB%8C%D9%81%DB%8C%D8%AA_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" title="کیفیت نرم‌افزار">کیفیت نرم‌افزار</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C" title="نظریه زبان‌های برنامه‌نویسی">نظریه زبان‌های برنامه‌نویسی</a><br />و <a href="/wiki/%D8%A7%D8%A8%D8%B2%D8%A7%D8%B1_%D8%AA%D9%88%D8%B3%D8%B9%D9%87_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" title="ابزار توسعه نرم‌افزار">ابزار توسعه نرم‌افزار</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D8%A7%D9%84%DA%AF%D9%88_%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C" class="mw-redirect" title="الگو برنامه‌نویسی">الگو برنامه‌نویسی</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C" title="زبان برنامه‌نویسی">زبان برنامه‌نویسی</a></li> <li><a href="/wiki/%DA%A9%D8%A7%D9%85%D9%BE%D8%A7%DB%8C%D9%84%D8%B1" title="کامپایلر">کامپایلر</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%AE%D8%A7%D8%B5_%D8%AF%D8%A7%D9%85%D9%86%D9%87" title="زبان خاص دامنه">زبان خاص دامنه</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D9%85%D8%AF%D9%84%E2%80%8C%D8%B3%D8%A7%D8%B2%DB%8C" title="زبان مدلسازی">زبان مدلسازی</a></li> <li><a href="/wiki/%DA%86%D8%A7%D8%B1%DA%86%D9%88%D8%A8_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1%DB%8C" title="چارچوب نرم‌افزاری">چارچوب نرم‌افزاری</a></li> <li><a href="/wiki/%D9%85%D8%AD%DB%8C%D8%B7_%DB%8C%DA%A9%D9%BE%D8%A7%D8%B1%DA%86%D9%87_%D8%AA%D9%88%D8%B3%D8%B9%D9%87_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" class="mw-redirect" title="محیط یکپارچه توسعه نرم‌افزار">محیط یکپارچه توسعه نرم‌افزار</a></li> <li><a href="/wiki/%D9%85%D8%AF%DB%8C%D8%B1%DB%8C%D8%AA_%D9%BE%DB%8C%DA%A9%D8%B1%D8%A8%D9%86%D8%AF%DB%8C_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" title="مدیریت پیکربندی نرم‌افزار">مدیریت پیکربندی نرم‌افزار</a></li> <li><a href="/wiki/%DA%A9%D8%AA%D8%A7%D8%A8%D8%AE%D8%A7%D9%86%D9%87_(%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87)" class="mw-redirect" title="کتابخانه (رایانه)">کتابخانه (رایانه)</a></li> <li><a href="/wiki/%D9%85%D8%AE%D8%B2%D9%86_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1%DB%8C" title="مخزن نرم‌افزاری">مخزن نرم‌افزاری</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D8%AA%D9%88%D8%B3%D8%B9%D9%87_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" title="توسعه نرم‌افزار">توسعه نرم‌افزار</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D9%81%D8%B1%D8%A7%DB%8C%D9%86%D8%AF_%D8%AA%D9%88%D8%B3%D8%B9%D9%87_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" title="فرایند توسعه نرم‌افزار">فرایند توسعه نرم‌افزار</a></li> <li><a href="/wiki/%D8%AA%D8%AD%D9%84%DB%8C%D9%84_%D9%86%DB%8C%D8%A7%D8%B2%D9%85%D9%86%D8%AF%DB%8C%E2%80%8C%D9%87%D8%A7" title="تحلیل نیازمندی‌ها">تحلیل نیازمندی‌ها</a></li> <li><a href="/wiki/%D8%B7%D8%B1%D8%A7%D8%AD%DB%8C_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" title="طراحی نرم‌افزار">طراحی نرم‌افزار</a></li> <li><a href="/wiki/%D8%B3%D8%A7%D8%AE%D8%AA_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" title="ساخت نرم‌افزار">ساخت نرم‌افزار</a></li> <li><a href="/wiki/%D8%A7%D8%B3%D8%AA%D9%82%D8%B1%D8%A7%D8%B1_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" class="mw-redirect" title="استقرار نرم‌افزار">استقرار نرم‌افزار</a></li> <li><a href="/wiki/%D8%AA%D8%B9%D9%85%DB%8C%D8%B1_%D9%88_%D9%86%DA%AF%D9%87%D8%AF%D8%A7%D8%B1%DB%8C_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" class="mw-redirect" title="تعمیر و نگهداری نرم‌افزار">تعمیر و نگهداری نرم‌افزار</a></li> <li><a href="/wiki/%D8%AA%DB%8C%D9%85_%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C" title="تیم برنامه‌نویسی">تیم برنامه‌نویسی</a></li> <li><a href="/wiki/%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1_%D9%85%D8%AA%D9%86%E2%80%8C%D8%A8%D8%A7%D8%B2" title="نرم‌افزار متن‌باز">نرم‌افزار متن‌باز</a></li> <li><a href="/wiki/%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C" class="mw-redirect" title="برنامه‌نویسی">برنامه‌نویسی</a></li> <li><a href="/wiki/%D8%A2%D8%B2%D9%85%D9%88%D9%86_%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" title="آزمون نرم‌افزار">آزمون نرم‌افزار</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D8%A7%D8%AA" title="نظریه محاسبات">نظریه محاسبات</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D9%85%D8%AF%D9%84_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D9%87" title="مدل محاسبه">مدل محاسبه</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%B5%D9%88%D8%B1%DB%8C" class="mw-redirect" title="زبان صوری">زبان صوری</a></li> <li><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%A7%D8%AA%D9%88%D9%85%D8%A7%D8%AA%D8%A7" class="mw-redirect" title="نظریه اتوماتا">نظریه اتوماتا</a></li> <li><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4%E2%80%8C%D9%BE%D8%B0%DB%8C%D8%B1%DB%8C" title="نظریه رایانش‌پذیری">نظریه رایانش‌پذیری</a></li> <li><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D9%BE%DB%8C%DA%86%DB%8C%D8%AF%DA%AF%DB%8C_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D8%A7%D8%AA%DB%8C" title="نظریه پیچیدگی محاسباتی">نظریه پیچیدگی محاسباتی</a></li> <li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%AF%D8%B1_%D8%B9%D9%84%D9%88%D9%85_%DA%A9%D8%A7%D9%85%D9%BE%DB%8C%D9%88%D8%AA%D8%B1" title="منطق در علوم کامپیوتر">منطق در علوم کامپیوتر</a></li> <li><a class="mw-selflink selflink">معنی‌شناسی (علوم رایانه)</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D8%A7%D9%84%DA%AF%D9%88%D8%B1%DB%8C%D8%AA%D9%85" title="الگوریتم">الگوریتمها</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D8%A7%D9%84%DA%AF%D9%88%D8%B1%DB%8C%D8%AA%D9%85" title="الگوریتم">الگوریتم</a></li> <li><a href="/wiki/%D8%AA%D8%AD%D9%84%DB%8C%D9%84_%D8%A7%D9%84%DA%AF%D9%88%D8%B1%DB%8C%D8%AA%D9%85%E2%80%8C%D9%87%D8%A7" title="تحلیل الگوریتمها">تحلیل الگوریتمها</a></li> <li><a href="/wiki/%DA%A9%D8%A7%D8%B1%D8%A7%DB%8C%DB%8C_%D8%A7%D9%84%DA%AF%D9%88%D8%B1%DB%8C%D8%AA%D9%85%DB%8C" class="mw-redirect" title="کارایی الگوریتمی">کارایی الگوریتمی</a></li> <li><a href="/wiki/%D8%A7%D9%84%DA%AF%D9%88%D8%B1%DB%8C%D8%AA%D9%85%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%AA%D8%B5%D8%A7%D8%AF%D9%81%DB%8C" class="mw-redirect" title="الگوریتم‌های تصادفی">الگوریتم‌های تصادفی</a></li> <li><a href="/wiki/%D9%87%D9%86%D8%AF%D8%B3%D9%87_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D8%A7%D8%AA%DB%8C" title="هندسه محاسباتی">هندسه محاسباتی</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">ریاضیات<br />رایانه</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA_%DA%AF%D8%B3%D8%B3%D8%AA%D9%87" title="ریاضیات گسسته">ریاضیات گسسته</a></li> <li><a href="/wiki/%D8%A7%D8%AD%D8%AA%D9%85%D8%A7%D9%84%D8%A7%D8%AA" title="احتمالات">احتمالات</a></li> <li><a href="/wiki/%D8%A2%D9%85%D8%A7%D8%B1" title="آمار">آمار</a></li> <li><a href="/wiki/%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1_%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C" title="نرم‌افزار ریاضی">نرم‌افزار ریاضی</a></li> <li><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%A7%D8%B7%D9%84%D8%A7%D8%B9%D8%A7%D8%AA" title="نظریه اطلاعات">نظریه اطلاعات</a></li> <li><a href="/wiki/%D8%A2%D9%86%D8%A7%D9%84%DB%8C%D8%B2_%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C" title="آنالیز ریاضی">آنالیز ریاضی</a></li> <li><a href="/wiki/%D8%A2%D9%86%D8%A7%D9%84%DB%8C%D8%B2_%D8%B9%D8%AF%D8%AF%DB%8C" title="آنالیز عددی">آنالیز عددی</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87_%D8%A7%D8%B7%D9%84%D8%A7%D8%B9%D8%A7%D8%AA%DB%8C" title="سامانه اطلاعاتی">سامانه اطلاعاتی</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D9%BE%D8%A7%DB%8C%DA%AF%D8%A7%D9%87_%D8%AF%D8%A7%D8%AF%D9%87" title="پایگاه داده">پایگاه داده</a></li> <li><a href="/wiki/%D8%B0%D8%AE%DB%8C%D8%B1%D9%87%E2%80%8C%D8%B3%D8%A7%D8%B2%DB%8C_%D8%AF%D8%A7%D8%AF%D9%87_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="ذخیره‌سازی داده رایانه">ذخیره‌سازی داده رایانه</a></li> <li><a href="/wiki/%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87_%D8%A7%D8%B7%D9%84%D8%A7%D8%B9%D8%A7%D8%AA_%D8%B3%D8%A7%D8%B2%D9%85%D8%A7%D9%86%DB%8C" title="سامانه اطلاعات سازمانی">سامانه اطلاعات سازمانی</a></li> <li><a href="/wiki/%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1%D9%87%D8%A7%DB%8C_%D8%A7%D8%AC%D8%AA%D9%85%D8%A7%D8%B9%DB%8C" title="نرم‌افزارهای اجتماعی">نرم‌افزار اجتماعی</a></li> <li><a href="/wiki/%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87_%D8%A7%D8%B7%D9%84%D8%A7%D8%B9%D8%A7%D8%AA_%D8%AC%D8%BA%D8%B1%D8%A7%D9%81%DB%8C%D8%A7%DB%8C%DB%8C" title="سامانه اطلاعات جغرافیایی">سامانه اطلاعات جغرافیایی</a></li> <li><a href="/wiki/%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87_%D9%BE%D8%B4%D8%AA%DB%8C%D8%A8%D8%A7%D9%86%DB%8C_%D8%AA%D8%B5%D9%85%DB%8C%D9%85" title="سامانه پشتیبانی تصمیم">سامانه پشتیبانی تصمیم</a></li> <li><a href="/wiki/%DA%A9%D9%86%D8%AA%D8%B1%D9%84_%D9%81%D8%B1%D8%A7%DB%8C%D9%86%D8%AF" title="کنترل فرایند">کنترل فرایند</a></li> <li><a href="/wiki/%D9%BE%D8%A7%DB%8C%DA%AF%D8%A7%D9%87_%D8%AF%D8%A7%D8%AF%D9%87_%DA%86%D9%86%D8%AF_%D8%B1%D8%B3%D8%A7%D9%86%D9%87%E2%80%8C%D8%A7%DB%8C" title="پایگاه داده چند رسانه‌ای">پایگاه داده چند رسانه‌ای</a></li> <li><a href="/wiki/%D8%AF%D8%A7%D8%AF%D9%87%E2%80%8C%DA%A9%D8%A7%D9%88%DB%8C" title="داده‌کاوی">داده‌کاوی</a></li> <li><a href="/wiki/%DA%A9%D8%AA%D8%A7%D8%A8%D8%AE%D8%A7%D9%86%D9%87_%D8%AF%DB%8C%D8%AC%DB%8C%D8%AA%D8%A7%D9%84" title="کتابخانه دیجیتال">کتابخانه دیجیتال</a></li> <li><a href="/wiki/%D8%B3%DA%A9%D9%88%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4" class="mw-redirect" title="سکوی رایانش">سکوی رایانش</a></li> <li><a href="/wiki/%D8%A8%D8%A7%D8%B2%D8%A7%D8%B1%DB%8C%D8%A7%D8%A8%DB%8C_%D8%A7%DB%8C%D9%86%D8%AA%D8%B1%D9%86%D8%AA%DB%8C" title="بازاریابی اینترنتی">بازاریابی اینترنتی</a></li> <li><a href="/wiki/%D9%88%D8%A8_%D8%AC%D9%87%D8%A7%D9%86%E2%80%8C%DA%AF%D8%B3%D8%AA%D8%B1" title="وب جهان‌گستر">وب جهان‌گستر</a></li> <li><a href="/wiki/%D8%A8%D8%A7%D8%B2%DB%8C%D8%A7%D8%A8%DB%8C_%D8%A7%D8%B7%D9%84%D8%A7%D8%B9%D8%A7%D8%AA" title="بازیابی اطلاعات">بازیابی اطلاعات</a></li> <li><a href="/wiki/%D9%85%D8%B3%D8%AA%D9%86%D8%AF%D8%B3%D8%A7%D8%B2%DB%8C_%D9%81%D9%86%DB%8C" title="مستندسازی فنی">مستندسازی فنی</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D8%A7%D9%85%D9%86%DB%8C%D8%AA_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="امنیت رایانه">امنیت رایانه</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D8%B1%D9%85%D8%B2%D9%86%DA%AF%D8%A7%D8%B1%DB%8C" title="رمزنگاری">رمزنگاری</a></li> <li><a href="/wiki/%D8%B1%D9%88%D8%B4%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C" title="روش‌های صوری">روش‌های صوری</a></li> <li><a href="/wiki/%D8%B3%D8%B1%D9%88%DB%8C%D8%B3_%D8%A7%D9%85%D9%86%DB%8C%D8%AA%DB%8C_(%D8%A7%D8%B1%D8%AA%D8%A8%D8%A7%D8%B7%D8%A7%D8%AA_%D8%AF%D9%88%D8%B1_%D8%A8%D8%B1%D8%AF)" title="سرویس امنیتی (ارتباطات دور برد)">خدمات امنیتی</a></li> <li><a href="/wiki/%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87_%D8%AA%D8%B4%D8%AE%DB%8C%D8%B5_%D9%86%D9%81%D9%88%D8%B0" title="سامانه تشخیص نفوذ">سامانه تشخیص نفوذ</a></li> <li><a href="/wiki/%D8%A8%D9%87_%D8%AE%D8%B7%D8%B1_%D8%A7%D9%81%D8%AA%D8%A7%D8%AF%D9%86_%D8%A7%D9%85%D9%86%DB%8C%D8%AA_%DA%A9%D8%A7%D9%85%D9%BE%DB%8C%D9%88%D8%AA%D8%B1_%D8%AF%D8%B1_%D8%A7%D8%AB%D8%B1_%D8%AE%D8%B1%D8%A7%D8%A8%DB%8C_%D8%B3%D8%AE%D8%AA%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1" title="به خطر افتادن امنیت کامپیوتر در اثر خرابی سخت‌افزار">خرابی سخت‌افزار</a></li> <li><a href="/wiki/%D8%A7%D9%85%D9%86%DB%8C%D8%AA_%D8%B4%D8%A8%DA%A9%D9%87" title="امنیت شبکه">امنیت شبکه</a></li> <li><a href="/wiki/%D8%A7%D9%85%D9%86%DB%8C%D8%AA_%D8%A7%D8%B7%D9%84%D8%A7%D8%B9%D8%A7%D8%AA" title="امنیت اطلاعات">امنیت اطلاعات</a></li> <li><a href="/wiki/%D8%A7%D9%85%D9%86%DB%8C%D8%AA_%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87" title="امنیت برنامه">امنیت برنامه</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D8%AA%D8%B9%D8%A7%D9%85%D9%84_%D8%A7%D9%86%D8%B3%D8%A7%D9%86_%D9%88_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="تعامل انسان و رایانه">تعامل انسان و رایانه</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D8%B7%D8%B1%D8%A7%D8%AD%DB%8C_%D8%AA%D8%B9%D8%A7%D9%85%D9%84%DB%8C" title="طراحی تعاملی">طراحی تعاملی</a></li> <li><a href="/wiki/%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4_%D8%A7%D8%AC%D8%AA%D9%85%D8%A7%D8%B9%DB%8C" title="رایانش اجتماعی">رایانش اجتماعی</a></li> <li><a href="/wiki/%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4_%D9%81%D8%B1%D8%A7%DA%AF%DB%8C%D8%B1" title="رایانش فراگیر">رایانش فراگیر</a></li> <li><a href="/wiki/%D9%85%D8%B5%D9%88%D8%B1%D8%B3%D8%A7%D8%B2%DB%8C_(%DA%AF%D8%B1%D8%A7%D9%81%DB%8C%DA%A9_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%E2%80%8C%D8%A7%DB%8C)" title="مصورسازی (گرافیک رایانه‌ای)">مصورسازی</a></li> <li><a href="/wiki/%D8%AF%D8%B3%D8%AA%D8%B1%D8%B3%E2%80%8C%D9%BE%D8%B0%DB%8C%D8%B1%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="دسترس‌پذیری رایانه">دسترس‌پذیری رایانه</a></li> <li><a href="/wiki/%D9%88%D8%A7%D8%B3%D8%B7_%DA%A9%D8%A7%D8%B1%D8%A8%D8%B1" class="mw-redirect" title="واسط کاربر">واسط‌های کاربر</a></li> <li><a href="/wiki/%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87_%D9%BE%D9%88%D8%B4%DB%8C%D8%AF%D9%86%DB%8C" title="رایانه پوشیدنی">رایانش پوشیدنی</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D9%87%D9%85%D8%B1%D9%88%D9%86%D8%AF%DB%8C" class="mw-redirect" title="همروندی">همروندی</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4_%D9%87%D9%85%D8%B2%D9%85%D8%A7%D9%86" title="رایانش همزمان">رایانش همزمان</a></li> <li><a href="/wiki/%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4_%D9%85%D9%88%D8%A7%D8%B2%DB%8C" title="رایانش موازی">رایانش موازی</a></li> <li><a href="/wiki/%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4_%D8%AA%D9%88%D8%B2%DB%8C%D8%B9%E2%80%8C%D8%B4%D8%AF%D9%87" title="رایانش توزیع‌شده">رایانش توزیع‌شده</a></li> <li><a href="/wiki/%DA%86%D9%86%D8%AF%D8%B1%DB%8C%D8%B3%D9%85%D8%A7%D9%86%DB%8C" title="چندریسمانی">چندریسمانی</a></li> <li><a href="/wiki/%DA%86%D9%86%D8%AF%D9%BE%D8%B1%D8%AF%D8%A7%D8%B2%D8%B4%DB%8C" title="چندپردازشی">چندپردازشی</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D9%87%D9%88%D8%B4_%D9%85%D8%B5%D9%86%D9%88%D8%B9%DB%8C" title="هوش مصنوعی">هوش مصنوعی</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D9%BE%D8%B1%D8%AF%D8%A7%D8%B2%D8%B4_%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B7%D8%A8%DB%8C%D8%B9%DB%8C" title="پردازش زبان‌های طبیعی">پردازش زبان‌های طبیعی</a></li> <li><a href="/wiki/%D8%A8%D8%A7%D8%B2%D9%86%D9%85%D9%88%D8%AF_%D8%AF%D8%A7%D9%86%D8%B4" title="بازنمود دانش">بازنمود دانش</a></li> <li><a href="/wiki/%D8%A8%DB%8C%D9%86%D8%A7%DB%8C%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%E2%80%8C%D8%A7%DB%8C" title="بینایی رایانه‌ای">بینایی رایانه‌ای</a></li> <li><a href="/wiki/%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D8%B1%DB%8C%D8%B2%DB%8C_%D8%AE%D9%88%D8%AF%DA%A9%D8%A7%D8%B1" class="mw-redirect" title="برنامه‌ریزی خودکار">برنامه‌ریزی خودکار</a></li> <li><a href="/wiki/%D8%A8%D9%87%DB%8C%D9%86%D9%87%E2%80%8C%D8%B3%D8%A7%D8%B2%DB%8C" title="بهینه‌سازی">بهینه‌سازی</a></li> <li><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%DA%A9%D9%86%D8%AA%D8%B1%D9%84" title="نظریه کنترل">نظریه کنترل</a></li> <li><a href="/wiki/%D9%81%D9%84%D8%B3%D9%81%D9%87_%D9%87%D9%88%D8%B4_%D9%85%D8%B5%D9%86%D9%88%D8%B9%DB%8C" title="فلسفه هوش مصنوعی">فلسفه هوش مصنوعی</a></li> <li><a href="/wiki/%D9%87%D9%88%D8%B4_%D9%85%D8%B5%D9%86%D9%88%D8%B9%DB%8C_%D8%AA%D9%88%D8%B2%DB%8C%D8%B9_%D8%B4%D8%AF%D9%87" title="هوش مصنوعی توزیع شده">هوش مصنوعی توزیع شده</a></li> <li><a href="/wiki/%D8%A7%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84_%D8%AE%D9%88%D8%AF%DA%A9%D8%A7%D8%B1" title="استدلال خودکار">استدلال خودکار</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4%DB%8C" title="زبان‌شناسی رایانشی">زبان‌شناسی رایانشی</a></li> <li><a href="/wiki/%DB%8C%D8%A7%D8%AF%DA%AF%DB%8C%D8%B1%DB%8C_%D9%85%D8%A7%D8%B4%DB%8C%D9%86" title="یادگیری ماشین">یادگیری ماشین</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%DB%8C%D8%A7%D8%AF%DA%AF%DB%8C%D8%B1%DB%8C_%D9%85%D8%A7%D8%B4%DB%8C%D9%86" title="یادگیری ماشین">یادگیری ماشین</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%DB%8C%D8%A7%D8%AF%DA%AF%DB%8C%D8%B1%DB%8C_%D8%A8%D8%A7_%D9%86%D8%B8%D8%A7%D8%B1%D8%AA" title="یادگیری با نظارت">یادگیری با نظارت</a></li> <li><a href="/wiki/%DB%8C%D8%A7%D8%AF%DA%AF%DB%8C%D8%B1%DB%8C_%D8%A8%DB%8C%E2%80%8C%D9%86%D8%B8%D8%A7%D8%B1%D8%AA" title="یادگیری بی‌نظارت">یادگیری بی‌نظارت</a></li> <li><a href="/wiki/%DB%8C%D8%A7%D8%AF%DA%AF%DB%8C%D8%B1%DB%8C_%D8%AA%D9%82%D9%88%DB%8C%D8%AA%DB%8C" title="یادگیری تقویتی">یادگیری تقویتی</a></li> <li><a href="/wiki/%DB%8C%D8%A7%D8%AF%DA%AF%DB%8C%D8%B1%DB%8C_%DA%86%D9%86%D8%AF-%D9%88%D8%B8%DB%8C%D9%81%D9%87%E2%80%8C%D8%A7%DB%8C" class="mw-redirect" title="یادگیری چند-وظیفه‌ای">یادگیری چند-وظیفه‌ای</a></li> <li><a href="/wiki/%D8%B1%D9%88%D8%B4_%D8%A7%D8%B9%D8%AA%D8%A8%D8%A7%D8%B1%D8%B3%D9%86%D8%AC%DB%8C_%D9%85%D8%AA%D9%82%D8%A7%D8%A8%D9%84" title="روش اعتبارسنجی متقابل">روش اعتبارسنجی متقابل</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%81%DB%8C%DA%A9_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%E2%80%8C%D8%A7%DB%8C" title="گرافیک رایانه‌ای">گرافیک رایانه‌ای</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D9%BE%D9%88%DB%8C%D8%A7%D9%86%D9%85%D8%A7%DB%8C%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%E2%80%8C%D8%A7%DB%8C" title="پویانمایی رایانه‌ای">پویانمایی رایانه‌ای</a></li> <li><a href="/wiki/%D8%B1%D9%86%D8%AF%D8%B1%DB%8C%D9%86%DA%AF_(%DA%AF%D8%B1%D8%A7%D9%81%DB%8C%DA%A9_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%E2%80%8C%D8%A7%DB%8C)" title="رندرینگ (گرافیک رایانه‌ای)">رندرینگ (گرافیک رایانه‌ای)</a></li> <li><a href="/wiki/%D8%B1%D9%88%D8%AA%D9%88%D8%B4" class="mw-redirect" title="روتوش">روتوش</a></li> <li><a href="/wiki/%D9%88%D8%A7%D8%AD%D8%AF_%D9%BE%D8%B1%D8%AF%D8%A7%D8%B2%D8%B4_%DA%AF%D8%B1%D8%A7%D9%81%DB%8C%DA%A9%DB%8C" title="واحد پردازش گرافیکی">واحد پردازش گرافیکی</a></li> <li><a href="/wiki/%D9%88%D8%A7%D9%82%D8%B9%DB%8C%D8%AA_%D8%AA%D8%B1%DA%A9%DB%8C%D8%A8%DB%8C" title="واقعیت ترکیبی">واقعیت ترکیبی</a></li> <li><a href="/wiki/%D9%88%D8%A7%D9%82%D8%B9%DB%8C%D8%AA_%D9%85%D8%AC%D8%A7%D8%B2%DB%8C" title="واقعیت مجازی">واقعیت مجازی</a></li> <li><a href="/wiki/%D9%81%D8%B4%D8%B1%D8%AF%D9%87%E2%80%8C%D8%B3%D8%A7%D8%B2%DB%8C_%D8%AA%D8%B5%D9%88%DB%8C%D8%B1" title="فشرده‌سازی تصویر">فشرده‌سازی تصویر</a></li> <li><a href="/wiki/%D9%85%D8%AF%D9%84%D8%B3%D8%A7%D8%B2%DB%8C_%D8%AC%D8%A7%D9%85%D8%AF" class="mw-redirect" title="مدلسازی جامد">مدلسازی جامد</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">رایانش<br />کاربردی</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D8%AA%D8%AC%D8%A7%D8%B1%D8%AA_%D8%A7%D9%84%DA%A9%D8%AA%D8%B1%D9%88%D9%86%DB%8C%DA%A9" title="تجارت الکترونیک">تجارت الکترونیک</a></li> <li><a href="/wiki/%D9%86%D8%B1%D9%85%E2%80%8C%D8%A7%D9%81%D8%B2%D8%A7%D8%B1_%D8%B3%D8%A7%D8%B2%D9%85%D8%A7%D9%86%DB%8C" title="نرم‌افزار سازمانی">نرم‌افزار سازمانی</a></li> <li><a href="/wiki/%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D8%A7%D8%AA%DB%8C" title="ریاضیات محاسباتی">ریاضیات محاسباتی</a></li> <li><a href="/wiki/%D9%81%DB%8C%D8%B2%DB%8C%DA%A9_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D8%A7%D8%AA%DB%8C" title="فیزیک محاسباتی">فیزیک محاسباتی</a></li> <li><a href="/wiki/%D8%B4%DB%8C%D9%85%DB%8C_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D8%A7%D8%AA%DB%8C" title="شیمی محاسباتی">شیمی محاسباتی</a></li> <li><a href="/wiki/%D8%B2%DB%8C%D8%B3%D8%AA%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D8%A7%D8%AA%DB%8C" title="زیست‌شناسی محاسباتی">زیست‌شناسی محاسباتی</a></li> <li><a href="/wiki/%D8%B9%D9%84%D9%88%D9%85_%D8%A7%D8%AC%D8%AA%D9%85%D8%A7%D8%B9%DB%8C_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D8%A7%D8%AA%DB%8C" title="علوم اجتماعی محاسباتی">علوم اجتماعی محاسباتی</a></li> <li><a href="/wiki/%D9%85%D9%87%D9%86%D8%AF%D8%B3%DB%8C_%D9%88_%D8%B9%D9%84%D9%85_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D9%87" title="مهندسی و علم محاسبه">مهندسی و علم محاسبه</a></li> <li><a href="/wiki/%D8%A7%D9%86%D9%81%D9%88%D8%B1%D9%85%D8%A7%D8%AA%DB%8C%DA%A9_%D9%BE%D8%B2%D8%B4%DA%A9%DB%8C" title="انفورماتیک پزشکی">انفورماتیک پزشکی</a></li> <li><a href="/wiki/%D9%87%D9%86%D8%B1_%D8%AF%DB%8C%D8%AC%DB%8C%D8%AA%D8%A7%D9%84" title="هنر دیجیتال">هنر دیجیتال</a></li> <li><a href="/wiki/%D9%86%D8%B4%D8%B1_%D8%A7%D9%84%DA%A9%D8%AA%D8%B1%D9%88%D9%86%DB%8C%DA%A9" title="نشر الکترونیک">نشر الکترونیک</a></li> <li><a href="/wiki/%D8%AC%D9%86%DA%AF_%D9%85%D8%AC%D8%A7%D8%B2%DB%8C" title="جنگ مجازی">جنگ مجازی</a></li> <li><a href="/wiki/%D8%B1%D8%A3%DB%8C%E2%80%8C%DA%AF%DB%8C%D8%B1%DB%8C_%D8%A7%D9%84%DA%A9%D8%AA%D8%B1%D9%88%D9%86%DB%8C%DA%A9%DB%8C" title="رأی‌گیری الکترونیکی">رأی‌گیری الکترونیکی</a></li> <li><a href="/wiki/%D8%A8%D8%A7%D8%B2%DB%8C_%D9%88%DB%8C%D8%AF%D8%A6%D9%88%DB%8C%DB%8C" title="بازی ویدئویی">بازی ویدئویی</a></li> <li><a href="/wiki/%D9%88%D8%A7%DA%98%D9%87%E2%80%8C%D9%BE%D8%B1%D8%AF%D8%A7%D8%B2" title="واژه‌پرداز">واژه‌پرداز</a></li> <li><a href="/wiki/%D8%AA%D8%AD%D9%82%DB%8C%D9%82_%D8%AF%D8%B1_%D8%B9%D9%85%D9%84%DB%8C%D8%A7%D8%AA" title="تحقیق در عملیات">تحقیق در عملیات</a></li> <li><a href="/wiki/%D9%81%D9%86%D8%A7%D9%88%D8%B1%DB%8C_%D8%A2%D9%85%D9%88%D8%B2%D8%B4%DB%8C" title="فناوری آموزشی">فناوری آموزشی</a></li> <li><a href="/wiki/%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87_%D9%85%D8%AF%DB%8C%D8%B1%DB%8C%D8%AA_%D8%A7%D8%B3%D9%86%D8%A7%D8%AF" title="سامانه مدیریت اسناد">سامانه مدیریت اسناد</a></li></ul> </div></td></tr><tr><td class="navbox-abovebelow" colspan="2"><div>توجه: بنا بر <a href="/w/index.php?title=%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87_%D8%B1%D8%AF%D9%87%E2%80%8C%D8%A8%D9%86%D8%AF%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4_%D8%A7%DB%8C%E2%80%8C%D8%B3%DB%8C%E2%80%8C%D8%A7%D9%85&action=edit&redlink=1" class="new" title="سامانه رده‌بندی رایانش ای‌سی‌ام (صفحه وجود ندارد)">سامانه رده‌بندی رایانش ای‌سی‌ام</a> علم رایانه همچنین می‌تواند به موضوع‌ها یا زمینه‌های گوناگون تقسیم شود. <ul><li><span class="noviewer" typeof="mw:File"><a href="/wiki/%D9%BE%D8%B1%D9%88%D9%86%D8%AF%D9%87:Emoji_u1f4d6.svg" class="mw-file-description" title="کتاب ویکی‌پدیا"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/8/8c/Emoji_u1f4d6.svg/16px-Emoji_u1f4d6.svg.png" decoding="async" width="16" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/8/8c/Emoji_u1f4d6.svg/24px-Emoji_u1f4d6.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/8/8c/Emoji_u1f4d6.svg/32px-Emoji_u1f4d6.svg.png 2x" data-file-width="128" data-file-height="128" /></a></span> <b><a href="/w/index.php?title=%DA%A9%D8%AA%D8%A7%D8%A8:%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87&action=edit&redlink=1" class="new" title="کتاب:علوم رایانه (صفحه وجود ندارد)">کتاب:علوم رایانه</a></b></li> <li><span class="noviewer" typeof="mw:File"><a href="/wiki/%D9%BE%D8%B1%D9%88%D9%86%D8%AF%D9%87:Symbol_category_class.svg" class="mw-file-description" title="رده"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/9/96/Symbol_category_class.svg/16px-Symbol_category_class.svg.png" decoding="async" width="16" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/9/96/Symbol_category_class.svg/23px-Symbol_category_class.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/9/96/Symbol_category_class.svg/31px-Symbol_category_class.svg.png 2x" data-file-width="180" data-file-height="185" /></a></span> <b><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="رده:علوم رایانه">رده:علوم رایانه</a></b></li> <li><span class="noviewer" typeof="mw:File"><a href="/wiki/%D9%BE%D8%B1%D9%88%D9%86%D8%AF%D9%87:Global_thinking.svg" class="mw-file-description" title="نمای کلی"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/4/41/Global_thinking.svg/10px-Global_thinking.svg.png" decoding="async" width="10" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/41/Global_thinking.svg/15px-Global_thinking.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/41/Global_thinking.svg/21px-Global_thinking.svg.png 2x" data-file-width="130" data-file-height="200" /></a></span> <b><a href="/wiki/%D8%B7%D8%B1%D8%AD_%DA%A9%D9%84%DB%8C_%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" class="mw-redirect" title="طرح کلی علوم رایانه">طرح کلی علوم رایانه</a></b></li> <li><span class="noviewer" typeof="mw:File"><a href="/wiki/%D9%BE%D8%B1%D9%88%D9%86%D8%AF%D9%87:People_icon.svg" class="mw-file-description" title="ویکی‌پروژه"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/3/37/People_icon.svg/16px-People_icon.svg.png" decoding="async" width="16" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/37/People_icon.svg/24px-People_icon.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/3/37/People_icon.svg/32px-People_icon.svg.png 2x" data-file-width="100" data-file-height="100" /></a></span><b><a href="/wiki/%D9%88%DB%8C%DA%A9%DB%8C%E2%80%8C%D9%BE%D8%AF%DB%8C%D8%A7:%D9%88%DB%8C%DA%A9%DB%8C%E2%80%8C%D9%BE%D8%B1%D9%88%DA%98%D9%87_%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="ویکی‌پدیا:ویکی‌پروژه علوم رایانه">ویکی‌پدیا:ویکی‌پروژه علوم رایانه</a></b></li> <li><span class="noviewer" typeof="mw:File"><a href="/wiki/%D9%BE%D8%B1%D9%88%D9%86%D8%AF%D9%87:Commons-logo.svg" class="mw-file-description" title="صفحهٔ ویکی‌انبار"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/12px-Commons-logo.svg.png" decoding="async" width="12" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/18px-Commons-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/24px-Commons-logo.svg.png 2x" data-file-width="1024" data-file-height="1376" /></a></span> <b><a href="https://commons.wikimedia.org/wiki/Category:Computer_science" class="extiw" title="commons:Category:Computer science">ویکی‌انبار</a></b></li></ul></div></td></tr></tbody></table></div> <style data-mw-deduplicate="TemplateStyles:r37527932">.mw-parser-output .asbox{position:relative;overflow:hidden}.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-style:italic}.mw-parser-output .asbox-note{font-size:smaller}.mw-parser-output .asbox .navbar{position:absolute;top:-0.75em;left:1em;display:none}</style><div role="note" class="metadata plainlinks asbox stub"><table role="presentation"><tbody><tr class="noresize"><td style="padding-left:0.4em"><span typeof="mw:File"><a href="/wiki/%D9%BE%D8%B1%D9%88%D9%86%D8%AF%D9%87:LampFlowchart.svg" class="mw-file-description"><img alt="آیکون خرد" src="//upload.wikimedia.org/wikipedia/commons/thumb/9/91/LampFlowchart.svg/22px-LampFlowchart.svg.png" decoding="async" width="22" height="30" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/9/91/LampFlowchart.svg/33px-LampFlowchart.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/9/91/LampFlowchart.svg/44px-LampFlowchart.svg.png 2x" data-file-width="324" data-file-height="442" /></a></span></td><td><p class="asbox-body">این یک <a href="/wiki/%D9%88%DB%8C%DA%A9%DB%8C%E2%80%8C%D9%BE%D8%AF%DB%8C%D8%A7:%D8%AE%D8%B1%D8%AF" class="mw-redirect" title="ویکی‌پدیا:خرد">مقالهٔ خرد</a> <a href="/wiki/%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="علوم رایانه">علوم رایانه</a> است. می‌توانید با <a class="external text" href="https://fa.wikipedia.org/w/index.php?title=%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)&action=edit">گسترش آن</a> به ویکی‌پدیا کمک کنید.</p></td></tr></tbody></table></div> <!-- NewPP limit report Parsed by mw‐web.codfw.main‐6b7f745dd4‐z527z Cached time: 20241125095454 Cache expiry: 2592000 Reduced expiry: false Complications: [vary‐revision‐sha1, show‐toc] CPU time usage: 0.404 seconds Real time usage: 0.549 seconds Preprocessor visited node count: 493/1000000 Post‐expand include size: 41018/2097152 bytes Template argument size: 231/2097152 bytes Highest expansion depth: 8/100 Expensive parser function count: 1/500 Unstrip recursion depth: 1/20 Unstrip post‐expand size: 13629/5000000 bytes Lua time usage: 0.289/10.000 seconds Lua memory usage: 18764540/52428800 bytes Number of Wikibase entities loaded: 0/400 --> <!-- Transclusion expansion time report (%,ms,calls,template) 100.00% 485.025 1 -total 35.38% 171.587 1 الگو:به_انگلیسی 34.90% 169.257 1 الگو:به_زبان_دیگر 34.25% 166.121 1 الگو:Lang 23.60% 114.459 1 الگو:علوم_رایانه 23.28% 112.928 1 الگو:پانویس 23.09% 111.990 1 الگو:Navbox 18.64% 90.396 1 الگو:Cite_journal 3.43% 16.647 1 الگو:علوم_رایانه-خرد 3.05% 14.787 1 الگو:الگوی_خرد --> <!-- Saved in parser cache with key fawiki:pcache:idhash:5184741-0!canonical and timestamp 20241125095454 and revision id 37796804. Rendering was triggered because: page-view --> </div><!--esi <esi:include src="/esitest-fa8a495983347898/content" /> --><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://fa.wikipedia.org/w/index.php?title=معنی‌شناسی_(علوم_رایانه)&oldid=37796804">https://fa.wikipedia.org/w/index.php?title=معنی‌شناسی_(علوم_رایانه)&oldid=37796804</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%DB%8C%DA%98%D9%87:%D8%B1%D8%AF%D9%87%E2%80%8C%D9%87%D8%A7" title="ویژه:رده‌ها">رده‌ها</a>: <ul><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B1%D9%88%D8%B4%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C" title="رده:روش‌های صوری">روش‌های صوری</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%AA%D9%88%D8%B5%DB%8C%D9%81_%D8%B5%D9%88%D8%B1%DB%8C" title="رده:زبان‌های توصیف صوری">زبان‌های توصیف صوری</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%85%D8%B9%D9%86%DB%8C%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C_%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C" title="رده:معنی‌شناسی زبان‌های برنامه‌نویسی">معنی‌شناسی زبان‌های برنامه‌نویسی</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%85%D9%86%D8%B7%D9%82_%D8%AF%D8%B1_%D8%B9%D9%84%D9%88%D9%85_%DA%A9%D8%A7%D9%85%D9%BE%DB%8C%D9%88%D8%AA%D8%B1" title="رده:منطق در علوم کامپیوتر">منطق در علوم کامپیوتر</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">رده‌های پنهان: <ul><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%DB%8C%D8%A7%D8%AF%DA%A9%D8%B1%D8%AF%D9%87%D8%A7%DB%8C_%D8%AF%D8%A7%D8%B1%D8%A7%DB%8C_%D9%85%D9%86%D8%A8%D8%B9_%D8%A8%D9%87_%D8%B2%D8%A8%D8%A7%D9%86_%D8%A7%D9%86%DA%AF%D9%84%DB%8C%D8%B3%DB%8C" title="رده:یادکردهای دارای منبع به زبان انگلیسی">یادکردهای دارای منبع به زبان انگلیسی</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%85%D9%82%D8%A7%D9%84%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%AF%D8%A7%D8%B1%D8%A7%DB%8C_%D9%88%D8%A7%DA%98%DA%AF%D8%A7%D9%86_%D8%A8%D9%87_%D8%B2%D8%A8%D8%A7%D9%86_%D8%A7%D9%86%DA%AF%D9%84%DB%8C%D8%B3%DB%8C" title="رده:مقاله‌های دارای واژگان به زبان انگلیسی">مقاله‌های دارای واژگان به زبان انگلیسی</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%87%D9%85%D9%87_%D9%85%D9%82%D8%A7%D9%84%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%AE%D8%B1%D8%AF" title="رده:همه مقاله‌های خرد">همه مقاله‌های خرد</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%85%D9%82%D8%A7%D9%84%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%AE%D8%B1%D8%AF_%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" 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"> این صفحه آخرین‌بار در ۲۵ اوت ۲۰۲۳ ساعت ۱۴:۳۱ ویرایش شده است.</li> <li id="footer-info-copyright">همهٔ نوشته‌ها تحت <a rel="nofollow" class="external text" href="//creativecommons.org/licenses/by-sa/4.0/deed.ar">مجوز Creative Commons Attribution/Share-Alike</a> در دسترس است؛ برای جزئیات بیشتر <a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use">شرایط استفاده</a> را بخوانید.<br /> ویکی‌پدیا® علامتی تجاری متعلق به سازمان غیرانتفاعی <a rel="nofollow" class="external text" href="https://www.wikimediafoundation.org/">بنیاد ویکی‌مدیا</a> است.<br /></li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">سیاست حفظ حریم خصوصی</a></li> <li id="footer-places-about"><a href="/wiki/%D9%88%DB%8C%DA%A9%DB%8C%E2%80%8C%D9%BE%D8%AF%DB%8C%D8%A7:%D8%AF%D8%B1%D8%A8%D8%A7%D8%B1%D9%87">دربارهٔ ویکی‌پدیا</a></li> <li id="footer-places-disclaimers"><a href="/wiki/%D9%88%DB%8C%DA%A9%DB%8C%E2%80%8C%D9%BE%D8%AF%DB%8C%D8%A7:%D8%AA%DA%A9%D8%B0%DB%8C%D8%A8%E2%80%8C%D9%86%D8%A7%D9%85%D9%87%D9%94_%D8%B9%D9%85%D9%88%D9%85%DB%8C">تکذیب‌نامه‌ها</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://www.mediawiki.org/wiki/How_to_contribute/fa?uselang=fa">توسعه‌دهندگان</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/fa.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="//fa.m.wikipedia.org/w/index.php?title=%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)&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-6bb4bcc5b5-cbj2d","wgBackendResponseTime":158,"wgPageParseReport":{"limitreport":{"cputime":"0.404","walltime":"0.549","ppvisitednodes":{"value":493,"limit":1000000},"postexpandincludesize":{"value":41018,"limit":2097152},"templateargumentsize":{"value":231,"limit":2097152},"expansiondepth":{"value":8,"limit":100},"expensivefunctioncount":{"value":1,"limit":500},"unstrip-depth":{"value":1,"limit":20},"unstrip-size":{"value":13629,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 485.025 1 -total"," 35.38% 171.587 1 الگو:به_انگلیسی"," 34.90% 169.257 1 الگو:به_زبان_دیگر"," 34.25% 166.121 1 الگو:Lang"," 23.60% 114.459 1 الگو:علوم_رایانه"," 23.28% 112.928 1 الگو:پانویس"," 23.09% 111.990 1 الگو:Navbox"," 18.64% 90.396 1 الگو:Cite_journal"," 3.43% 16.647 1 الگو:علوم_رایانه-خرد"," 3.05% 14.787 1 الگو:الگوی_خرد"]},"scribunto":{"limitreport-timeusage":{"value":"0.289","limit":"10.000"},"limitreport-memusage":{"value":18764540,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-6b7f745dd4-z527z","timestamp":"20241125095454","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"\u0645\u0639\u0646\u06cc\u200c\u0634\u0646\u0627\u0633\u06cc (\u0639\u0644\u0648\u0645 \u0631\u0627\u06cc\u0627\u0646\u0647)","url":"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)","sameAs":"http:\/\/www.wikidata.org\/entity\/Q1437428","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q1437428","author":{"@type":"Organization","name":"\u0645\u0634\u0627\u0631\u06a9\u062a\u200c\u06a9\u0646\u0646\u062f\u06af\u0627\u0646 \u067e\u0631\u0648\u0698\u0647\u0654 \u0648\u06cc\u06a9\u06cc\u200c\u0645\u062f\u06cc\u0627"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2020-03-01T08:16:19Z","dateModified":"2023-08-25T14:31:56Z"}</script> </body> </html>