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-disabled vector-feature-custom-font-size-clientpref--excluded vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-not-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-disabled vector-feature-custom-font-size-clientpref--excluded vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-not-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":"8e5cd45c-df70-4a40-9293-ae4a1ea8e91f","wgCanonicalNamespace":"Category","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":14,"wgPageName":"رده:علوم_صوری","wgTitle":"علوم صوری","wgCurRevisionId":31991063,"wgRevisionId":31991063,"wgArticleId":265289,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["شاخه‌های علم","رشته‌های آکادمیک"],"wgPageViewLanguage":"fa","wgPageContentLanguage":"fa","wgPageContentModel":"wikitext","wgRelevantPageName":"رده:علوم_صوری","wgRelevantArticleId":265289,"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":100,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q7469326","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","mediawiki.action.styles":"ready","ext.categoryTree.styles":"ready","mediawiki.helplink":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","ext.tmh.player.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.categoryTree","site","mediawiki.page.ready","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.tmh.player", "ext.urlShortener.toolbar","ext.centralauth.centralautologin","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","wikibase.client.vector-2022","ext.checkUser.clientHints","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.categoryTree.styles%7Cext.tmh.player.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cmediawiki.action.styles%7Cmediawiki.helplink%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="alternate" media="only screen and (max-width: 640px)" href="//fa.m.wikipedia.org/wiki/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C"> <link rel="alternate" type="application/x-wiki" title="ویرایش" href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C&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/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C"> <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-14 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=%D8%B1%D8%AF%D9%87%3A%D8%B9%D9%84%D9%88%D9%85+%D8%B5%D9%88%D8%B1%DB%8C" 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=%D8%B1%D8%AF%D9%87%3A%D8%B9%D9%84%D9%88%D9%85+%D8%B5%D9%88%D8%B1%DB%8C" 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=%D8%B1%D8%AF%D9%87%3A%D8%B9%D9%84%D9%88%D9%85+%D8%B5%D9%88%D8%B1%DB%8C" 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=%D8%B1%D8%AF%D9%87%3A%D8%B9%D9%84%D9%88%D9%85+%D8%B5%D9%88%D8%B1%DB%8C" 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"></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> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-namespace">رده</span><span class="mw-page-title-separator">:</span><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-83" 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-ab mw-list-item"><a href="https://ab.wikipedia.org/wiki/%D0%90%D0%BA%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D0%B0:%D0%90%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%82%D3%99_%D2%AD%D2%B5%D0%B0%D0%B0%D1%80%D0%B0%D0%B4%D1%8B%D1%80%D1%80%D0%B0%D2%9B%D3%99%D0%B0" title="Акатегориа:Аформалтә ҭҵаарадыррақәа–آبخازی" lang="ab" hreflang="ab" data-title="Акатегориа:Аформалтә ҭҵаарадыррақәа" data-language-autonym="Аԥсшәа" data-language-local-name="آبخازی" class="interlanguage-link-target"><span>Аԥсшәа</span></a></li><li class="interlanguage-link interwiki-af mw-list-item"><a href="https://af.wikipedia.org/wiki/Kategorie:Formele_wetenskappe" title="Kategorie:Formele wetenskappe–آفریکانس" lang="af" hreflang="af" data-title="Kategorie:Formele wetenskappe" data-language-autonym="Afrikaans" data-language-local-name="آفریکانس" class="interlanguage-link-target"><span>Afrikaans</span></a></li><li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D8%B9%D9%84%D9%88%D9%85_%D8%B4%D9%83%D9%84%D9%8A%D8%A9" 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-ary mw-list-item"><a href="https://ary.wikipedia.org/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D8%B5%D9%8A%D9%88%D9%86%D8%B5_%D8%B4%D9%83%D9%84%D9%8A%D8%A9" title="تصنيف:صيونص شكلية–عربی مراکشی" lang="ary" hreflang="ary" data-title="تصنيف:صيونص شكلية" data-language-autonym="الدارجة" data-language-local-name="عربی مراکشی" class="interlanguage-link-target"><span>الدارجة</span></a></li><li class="interlanguage-link interwiki-arz mw-list-item"><a href="https://arz.wikipedia.org/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D8%B9%D9%84%D9%88%D9%85_%D8%B4%D9%83%D9%84%D9%89" title="تصنيف:علوم شكلى–عربی مصری" lang="arz" hreflang="arz" 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/Kateqoriya:Formal_elml%C9%99r" title="Kateqoriya:Formal elmlər–ترکی آذربایجانی" lang="az" hreflang="az" data-title="Kateqoriya:Formal elmlər" data-language-autonym="Azərbaycanca" data-language-local-name="ترکی آذربایجانی" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-ba mw-list-item"><a href="https://ba.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C_%D1%84%D3%99%D0%BD%D0%B4%D3%99%D1%80" title="Категория:Формаль фәндәр–باشقیری" lang="ba" hreflang="ba" data-title="Категория:Формаль фәндәр" data-language-autonym="Башҡортса" data-language-local-name="باشقیری" class="interlanguage-link-target"><span>Башҡортса</span></a></li><li class="interlanguage-link interwiki-be mw-list-item"><a href="https://be.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D1%8D%D0%B3%D0%BE%D1%80%D1%8B%D1%8F:%D0%A4%D0%B0%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D1%8F_%D0%BD%D0%B0%D0%B2%D1%83%D0%BA%D1%96" title="Катэгорыя:Фармальныя навукі–بلاروسی" lang="be" hreflang="be" data-title="Катэгорыя:Фармальныя навукі" data-language-autonym="Беларуская" data-language-local-name="بلاروسی" class="interlanguage-link-target"><span>Беларуская</span></a></li><li class="interlanguage-link interwiki-be-x-old mw-list-item"><a href="https://be-tarask.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D1%8D%D0%B3%D0%BE%D1%80%D1%8B%D1%8F:%D0%A4%D0%B0%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D1%8F_%D0%BD%D0%B0%D0%B2%D1%83%D0%BA%D1%96" title="Катэгорыя:Фармальныя навукі–بلاروسی (دستورخط کلاسیک)" lang="be-tarask" hreflang="be-tarask" data-title="Катэгорыя:Фармальныя навукі" data-language-autonym="Беларуская (тарашкевіца)" data-language-local-name="بلاروسی (دستورخط کلاسیک)" class="interlanguage-link-target"><span>Беларуская (тарашкевіца)</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D0%B8_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8" title="Категория:Формални науки–بلغاری" lang="bg" hreflang="bg" data-title="Категория:Формални науки" data-language-autonym="Български" data-language-local-name="بلغاری" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-bn mw-list-item"><a href="https://bn.wikipedia.org/wiki/%E0%A6%AC%E0%A6%BF%E0%A6%B7%E0%A6%AF%E0%A6%BC%E0%A6%B6%E0%A7%8D%E0%A6%B0%E0%A7%87%E0%A6%A3%E0%A7%80:%E0%A6%B0%E0%A7%8C%E0%A6%AA_%E0%A6%AC%E0%A6%BF%E0%A6%9C%E0%A7%8D%E0%A6%9E%E0%A6%BE%E0%A6%A8" title="বিষয়শ্রেণী:রৌপ বিজ্ঞান–بنگالی" lang="bn" hreflang="bn" data-title="বিষয়শ্রেণী:রৌপ বিজ্ঞান" data-language-autonym="বাংলা" data-language-local-name="بنگالی" class="interlanguage-link-target"><span>বাংলা</span></a></li><li class="interlanguage-link interwiki-bs mw-list-item"><a href="https://bs.wikipedia.org/wiki/Kategorija:Formalne_nauke" title="Kategorija:Formalne nauke–بوسنیایی" lang="bs" hreflang="bs" data-title="Kategorija:Formalne nauke" data-language-autonym="Bosanski" data-language-local-name="بوسنیایی" class="interlanguage-link-target"><span>Bosanski</span></a></li><li class="interlanguage-link interwiki-cbk-zam mw-list-item"><a href="https://cbk-zam.wikipedia.org/wiki/Categor%C3%ADa:Maga_Ciencia_Naturales_y_Formales" title="Categoría:Maga Ciencia Naturales y Formales–Chavacano" lang="cbk" hreflang="cbk" data-title="Categoría:Maga Ciencia Naturales y Formales" data-language-autonym="Chavacano de Zamboanga" data-language-local-name="Chavacano" class="interlanguage-link-target"><span>Chavacano de Zamboanga</span></a></li><li class="interlanguage-link interwiki-ce mw-list-item"><a href="https://ce.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%B0%D0%BD_%D3%80%D0%B8%D0%BB%D0%BC%D0%B0%D0%BD%D0%B0%D1%88" title="Категори:Формалан Ӏилманаш–چچنی" lang="ce" hreflang="ce" data-title="Категори:Формалан Ӏилманаш" data-language-autonym="Нохчийн" data-language-local-name="چچنی" class="interlanguage-link-target"><span>Нохчийн</span></a></li><li class="interlanguage-link interwiki-ckb mw-list-item"><a href="https://ckb.wikipedia.org/wiki/%D9%BE%DB%86%D9%84:%D8%B2%D8%A7%D9%86%D8%B3%D8%AA%DB%8C_%D8%B4%DB%8E%D9%88%DB%95%DB%8C%DB%8C" title="پۆل:زانستی شێوەیی–کردی مرکزی" lang="ckb" hreflang="ckb" data-title="پۆل:زانستی شێوەیی" data-language-autonym="کوردی" data-language-local-name="کردی مرکزی" class="interlanguage-link-target"><span>کوردی</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Kategorie:Form%C3%A1ln%C3%AD_v%C4%9Bdy" title="Kategorie:Formální vědy–چکی" lang="cs" hreflang="cs" data-title="Kategorie:Formální vědy" 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%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8:%D0%AF%D1%87%C4%95%D1%88%C4%95%D0%BD_%C4%83%D1%81%D0%BB%C4%83%D1%85%D1%81%D0%B5%D0%BC" 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-da mw-list-item"><a href="https://da.wikipedia.org/wiki/Kategori:Formelle_videnskaber" title="Kategori:Formelle videnskaber–دانمارکی" lang="da" hreflang="da" data-title="Kategori:Formelle videnskaber" data-language-autonym="Dansk" data-language-local-name="دانمارکی" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/%CE%9A%CE%B1%CF%84%CE%B7%CE%B3%CE%BF%CF%81%CE%AF%CE%B1:%CE%98%CE%B5%CF%84%CE%B9%CE%BA%CE%AD%CF%82_%CE%B5%CF%80%CE%B9%CF%83%CF%84%CE%AE%CE%BC%CE%B5%CF%82" 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/Category:Formal_sciences" title="Category:Formal sciences–انگلیسی" lang="en" hreflang="en" data-title="Category:Formal sciences" data-language-autonym="English" data-language-local-name="انگلیسی" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Kategorio:Formalaj_sciencoj" title="Kategorio:Formalaj sciencoj–اسپرانتو" lang="eo" hreflang="eo" data-title="Kategorio:Formalaj sciencoj" data-language-autonym="Esperanto" data-language-local-name="اسپرانتو" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Categor%C3%ADa:Ciencias_formales" title="Categoría:Ciencias formales–اسپانیایی" lang="es" hreflang="es" data-title="Categoría:Ciencias formales" data-language-autonym="Español" data-language-local-name="اسپانیایی" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Kategoria:Zientzia_formalak" title="Kategoria:Zientzia formalak–باسکی" lang="eu" hreflang="eu" data-title="Kategoria:Zientzia formalak" data-language-autonym="Euskara" data-language-local-name="باسکی" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Cat%C3%A9gorie:Sciences_formelles" title="Catégorie:Sciences formelles–فرانسوی" lang="fr" hreflang="fr" data-title="Catégorie:Sciences formelles" data-language-autonym="Français" data-language-local-name="فرانسوی" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-frp mw-list-item"><a href="https://frp.wikipedia.org/wiki/Cat%C3%A8gorie:Sciences_form%C3%A8les" title="Catègorie:Sciences formèles–آرپیتان" lang="frp" hreflang="frp" data-title="Catègorie:Sciences formèles" data-language-autonym="Arpetan" data-language-local-name="آرپیتان" class="interlanguage-link-target"><span>Arpetan</span></a></li><li class="interlanguage-link interwiki-fy mw-list-item"><a href="https://fy.wikipedia.org/wiki/Kategory:Formele_wittenskip" title="Kategory:Formele wittenskip–فریسی غربی" lang="fy" hreflang="fy" data-title="Kategory:Formele wittenskip" data-language-autonym="Frysk" data-language-local-name="فریسی غربی" class="interlanguage-link-target"><span>Frysk</span></a></li><li class="interlanguage-link interwiki-gv mw-list-item"><a href="https://gv.wikipedia.org/wiki/Ronney:Oaylleeaghtyn_formoil" title="Ronney:Oaylleeaghtyn formoil–مانی" lang="gv" hreflang="gv" data-title="Ronney:Oaylleeaghtyn formoil" data-language-autonym="Gaelg" data-language-local-name="مانی" class="interlanguage-link-target"><span>Gaelg</span></a></li><li class="interlanguage-link interwiki-hi mw-list-item"><a href="https://hi.wikipedia.org/wiki/%E0%A4%B6%E0%A5%8D%E0%A4%B0%E0%A5%87%E0%A4%A3%E0%A5%80:%E0%A4%94%E0%A4%AA%E0%A4%9A%E0%A4%BE%E0%A4%B0%E0%A4%BF%E0%A4%95_%E0%A4%B5%E0%A4%BF%E0%A4%9C%E0%A5%8D%E0%A4%9E%E0%A4%BE%E0%A4%A8" title="श्रेणी:औपचारिक विज्ञान–هندی" lang="hi" hreflang="hi" data-title="श्रेणी:औपचारिक विज्ञान" data-language-autonym="हिन्दी" data-language-local-name="هندی" class="interlanguage-link-target"><span>हिन्दी</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Kategorija:Formalne_znanosti" title="Kategorija:Formalne znanosti–کروات" lang="hr" hreflang="hr" data-title="Kategorija:Formalne znanosti" data-language-autonym="Hrvatski" data-language-local-name="کروات" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D4%BF%D5%A1%D5%BF%D5%A5%D5%A3%D5%B8%D6%80%D5%AB%D5%A1:%D5%96%D5%B8%D6%80%D5%B4%D5%A1%D5%AC_%D5%A3%D5%AB%D5%BF%D5%B8%D6%82%D5%A9%D5%B5%D5%B8%D6%82%D5%B6%D5%B6%D5%A5%D6%80" title="Կատեգորիա:Ֆորմալ գիտություններ–ارمنی" lang="hy" hreflang="hy" data-title="Կատեգորիա:Ֆորմալ գիտություններ" data-language-autonym="Հայերեն" data-language-local-name="ارمنی" class="interlanguage-link-target"><span>Հայերեն</span></a></li><li class="interlanguage-link interwiki-ia mw-list-item"><a href="https://ia.wikipedia.org/wiki/Categoria:Scientias_formal" title="Categoria:Scientias formal–اینترلینگوا" lang="ia" hreflang="ia" data-title="Categoria:Scientias formal" data-language-autonym="Interlingua" data-language-local-name="اینترلینگوا" class="interlanguage-link-target"><span>Interlingua</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Kategori:Ilmu_formal" title="Kategori:Ilmu formal–اندونزیایی" lang="id" hreflang="id" data-title="Kategori:Ilmu formal" data-language-autonym="Bahasa Indonesia" data-language-local-name="اندونزیایی" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-ilo mw-list-item"><a href="https://ilo.wikipedia.org/wiki/Kategoria:Dagiti_pormal_a_siensia" title="Kategoria:Dagiti pormal a siensia–ایلوکویی" lang="ilo" hreflang="ilo" data-title="Kategoria:Dagiti pormal a siensia" data-language-autonym="Ilokano" data-language-local-name="ایلوکویی" class="interlanguage-link-target"><span>Ilokano</span></a></li><li class="interlanguage-link interwiki-inh mw-list-item"><a href="https://inh.wikipedia.org/wiki/%D0%9E%D0%B0%D0%B3%D3%80%D0%B0%D1%82:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B8_%D3%80%D0%B8%D0%BB%D0%BC%D0%B0%D1%88" title="ОагӀат:Формальни Ӏилмаш–اینگوشی" lang="inh" hreflang="inh" data-title="ОагӀат:Формальни Ӏилмаш" data-language-autonym="ГӀалгӀай" data-language-local-name="اینگوشی" class="interlanguage-link-target"><span>ГӀалгӀай</span></a></li><li class="interlanguage-link interwiki-io mw-list-item"><a href="https://io.wikipedia.org/wiki/Kategorio:Formala_cienci" title="Kategorio:Formala cienci–ایدو" lang="io" hreflang="io" data-title="Kategorio:Formala cienci" data-language-autonym="Ido" data-language-local-name="ایدو" class="interlanguage-link-target"><span>Ido</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Categoria:Scienze_formali" title="Categoria:Scienze formali–ایتالیایی" lang="it" hreflang="it" data-title="Categoria:Scienze formali" 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/Category:%E5%BD%A2%E5%BC%8F%E7%A7%91%E5%AD%A6" title="Category:形式科学–ژاپنی" lang="ja" hreflang="ja" data-title="Category:形式科学" data-language-autonym="日本語" data-language-local-name="ژاپنی" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-ka mw-list-item"><a href="https://ka.wikipedia.org/wiki/%E1%83%99%E1%83%90%E1%83%A2%E1%83%94%E1%83%92%E1%83%9D%E1%83%A0%E1%83%98%E1%83%90:%E1%83%A4%E1%83%9D%E1%83%A0%E1%83%9B%E1%83%90%E1%83%9A%E1%83%A3%E1%83%A0%E1%83%98_%E1%83%9B%E1%83%94%E1%83%AA%E1%83%9C%E1%83%98%E1%83%94%E1%83%A0%E1%83%94%E1%83%91%E1%83%94%E1%83%91%E1%83%98" title="კატეგორია:ფორმალური მეცნიერებები–گرجی" lang="ka" hreflang="ka" data-title="კატეგორია:ფორმალური მეცნიერებები" data-language-autonym="ქართული" data-language-local-name="گرجی" class="interlanguage-link-target"><span>ქართული</span></a></li><li class="interlanguage-link interwiki-kk mw-list-item"><a href="https://kk.wikipedia.org/wiki/%D0%A1%D0%B0%D0%BD%D0%B0%D1%82:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%B4%D1%8B_%D2%93%D1%8B%D0%BB%D1%8B%D0%BC%D0%B4%D0%B0%D1%80" title="Санат:Формалды ғылымдар–قزاقی" lang="kk" hreflang="kk" 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/%EB%B6%84%EB%A5%98:%ED%98%95%EC%8B%9D%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-ku mw-list-item"><a href="https://ku.wikipedia.org/wiki/Kategor%C3%AE:Zanist%C3%AAn_formal" title="Kategorî:Zanistên formal–کردی" lang="ku" hreflang="ku" data-title="Kategorî:Zanistên formal" data-language-autonym="Kurdî" data-language-local-name="کردی" class="interlanguage-link-target"><span>Kurdî</span></a></li><li class="interlanguage-link interwiki-ky mw-list-item"><a href="https://ky.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%B4%D1%8B%D0%BA_%D0%B8%D0%BB%D0%B8%D0%BC%D0%B4%D0%B5%D1%80" title="Категория:Формалдык илимдер–قرقیزی" lang="ky" hreflang="ky" data-title="Категория:Формалдык илимдер" data-language-autonym="Кыргызча" data-language-local-name="قرقیزی" class="interlanguage-link-target"><span>Кыргызча</span></a></li><li class="interlanguage-link interwiki-lv mw-list-item"><a href="https://lv.wikipedia.org/wiki/Kategorija:Form%C4%81l%C4%81s_zin%C4%81tnes" title="Kategorija:Formālās zinātnes–لتونیایی" lang="lv" hreflang="lv" data-title="Kategorija:Formālās zinātnes" data-language-autonym="Latviešu" data-language-local-name="لتونیایی" class="interlanguage-link-target"><span>Latviešu</span></a></li><li class="interlanguage-link interwiki-mdf mw-list-item"><a href="https://mdf.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D0%B5:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BE%D0%BD%D1%8C_%D1%82%D0%BE%D0%BD%D0%B0%D0%B4%D0%BE%D0%BC%D0%B0%D1%82%D0%BD%D0%B5" title="Категорие:Формалонь тонадоматне–مکشایی" lang="mdf" hreflang="mdf" 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%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%98%D0%B0:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D0%B8_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8" 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-mn mw-list-item"><a href="https://mn.wikipedia.org/wiki/%D0%90%D0%BD%D0%B3%D0%B8%D0%BB%D0%B0%D0%BB:%D0%A5%D0%B8%D0%B9%D1%81%D0%B2%D1%8D%D1%80_%D1%88%D0%B8%D0%BD%D0%B6%D0%BB%D1%8D%D1%85_%D1%83%D1%85%D0%B0%D0%B0%D0%BD" title="Ангилал:Хийсвэр шинжлэх ухаан–مغولی" lang="mn" hreflang="mn" data-title="Ангилал:Хийсвэр шинжлэх ухаан" data-language-autonym="Монгол" data-language-local-name="مغولی" class="interlanguage-link-target"><span>Монгол</span></a></li><li class="interlanguage-link interwiki-ms mw-list-item"><a href="https://ms.wikipedia.org/wiki/Kategori:Sains_formal" title="Kategori:Sains formal–مالایی" lang="ms" hreflang="ms" data-title="Kategori:Sains formal" data-language-autonym="Bahasa Melayu" data-language-local-name="مالایی" class="interlanguage-link-target"><span>Bahasa Melayu</span></a></li><li class="interlanguage-link interwiki-mwl mw-list-item"><a href="https://mwl.wikipedia.org/wiki/Catadorie:Ci%C3%A9ncias_formales" title="Catadorie:Ciéncias formales–میراندی" lang="mwl" hreflang="mwl" data-title="Catadorie:Ciéncias formales" data-language-autonym="Mirandés" data-language-local-name="میراندی" class="interlanguage-link-target"><span>Mirandés</span></a></li><li class="interlanguage-link interwiki-myv mw-list-item"><a href="https://myv.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B9_%D1%82%D0%BE%D0%BD%D0%B0%D1%82" title="Категория:Формальной тонат–ارزیایی" lang="myv" hreflang="myv" 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/Categorie:Formele_wetenschap" title="Categorie:Formele wetenschap–هلندی" lang="nl" hreflang="nl" data-title="Categorie:Formele wetenschap" data-language-autonym="Nederlands" data-language-local-name="هلندی" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-nn mw-list-item"><a href="https://nn.wikipedia.org/wiki/Kategori:Formelle_vitskapar" title="Kategori:Formelle vitskapar–نروژی نی‌نُشک" lang="nn" hreflang="nn" data-title="Kategori:Formelle vitskapar" data-language-autonym="Norsk nynorsk" data-language-local-name="نروژی نی‌نُشک" class="interlanguage-link-target"><span>Norsk nynorsk</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Kategori:Formalvitenskaper" title="Kategori:Formalvitenskaper–نروژی بوک‌مُل" lang="nb" hreflang="nb" data-title="Kategori:Formalvitenskaper" data-language-autonym="Norsk bokmål" data-language-local-name="نروژی بوک‌مُل" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-oc mw-list-item"><a href="https://oc.wikipedia.org/wiki/Categoria:Sci%C3%A9ncias_formalas" title="Categoria:Sciéncias formalas–اکسیتان" lang="oc" hreflang="oc" data-title="Categoria:Sciéncias formalas" data-language-autonym="Occitan" data-language-local-name="اکسیتان" class="interlanguage-link-target"><span>Occitan</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Categoria:Ci%C3%AAncias_formais" title="Categoria:Ciências formais–پرتغالی" lang="pt" hreflang="pt" data-title="Categoria:Ciências formais" data-language-autonym="Português" data-language-local-name="پرتغالی" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Categorie:%C8%98tiin%C8%9Be_formale" title="Categorie:Științe formale–رومانیایی" lang="ro" hreflang="ro" data-title="Categorie:Științe formale" data-language-autonym="Română" data-language-local-name="رومانیایی" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8" 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-rue mw-list-item"><a href="https://rue.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D2%91%D0%BE%D1%80%D1%96%D1%8F:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D1%8B_%D0%BD%D0%B0%D1%83%D0%BA%D1%8B" title="Катеґорія:Формалны наукы–Rusyn" lang="rue" hreflang="rue" data-title="Катеґорія:Формалны наукы" data-language-autonym="Русиньскый" data-language-local-name="Rusyn" class="interlanguage-link-target"><span>Русиньскый</span></a></li><li class="interlanguage-link interwiki-sco mw-list-item"><a href="https://sco.wikipedia.org/wiki/Category:Formal_sciences" title="Category:Formal sciences–اسکاتلندی" lang="sco" hreflang="sco" data-title="Category:Formal sciences" data-language-autonym="Scots" data-language-local-name="اسکاتلندی" class="interlanguage-link-target"><span>Scots</span></a></li><li class="interlanguage-link interwiki-sd mw-list-item"><a href="https://sd.wikipedia.org/wiki/%D8%B2%D9%85%D8%B1%D9%88:%D8%B1%D8%B3%D9%85%D9%8A_%D8%B3%D8%A7%D8%A6%D9%86%D8%B3" title="زمرو:رسمي سائنس–سندی" lang="sd" hreflang="sd" data-title="زمرو:رسمي سائنس" data-language-autonym="سنڌي" data-language-local-name="سندی" class="interlanguage-link-target"><span>سنڌي</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Kategorija:Formalne_nauke" title="Kategorija:Formalne nauke–صرب و کرواتی" lang="sh" hreflang="sh" data-title="Kategorija:Formalne nauke" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="صرب و کرواتی" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-si mw-list-item"><a href="https://si.wikipedia.org/wiki/%E0%B6%B4%E0%B7%8A%E2%80%8D%E0%B6%BB%E0%B7%80%E0%B6%BB%E0%B7%8A%E0%B6%9C%E0%B6%BA:Formal_sciences" title="ප්‍රවර්ගය:Formal sciences–سینهالی" lang="si" hreflang="si" data-title="ප්‍රවර්ගය:Formal sciences" data-language-autonym="සිංහල" data-language-local-name="سینهالی" class="interlanguage-link-target"><span>සිංහල</span></a></li><li class="interlanguage-link interwiki-sl mw-list-item"><a href="https://sl.wikipedia.org/wiki/Kategorija:Formalne_vede" title="Kategorija:Formalne vede–اسلوونیایی" lang="sl" hreflang="sl" data-title="Kategorija:Formalne vede" data-language-autonym="Slovenščina" data-language-local-name="اسلوونیایی" class="interlanguage-link-target"><span>Slovenščina</span></a></li><li class="interlanguage-link interwiki-smn mw-list-item"><a href="https://smn.wikipedia.org/wiki/Luokka:Formaalliih_tiettuuh" title="Luokka:Formaalliih tiettuuh–ایناری سامی" lang="smn" hreflang="smn" data-title="Luokka:Formaalliih tiettuuh" data-language-autonym="Anarâškielâ" data-language-local-name="ایناری سامی" class="interlanguage-link-target"><span>Anarâškielâ</span></a></li><li class="interlanguage-link interwiki-sq mw-list-item"><a href="https://sq.wikipedia.org/wiki/Kategoria:Shkenca_formale" title="Kategoria:Shkenca formale–آلبانیایی" lang="sq" hreflang="sq" data-title="Kategoria:Shkenca formale" data-language-autonym="Shqip" data-language-local-name="آلبانیایی" class="interlanguage-link-target"><span>Shqip</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%98%D0%B0:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D0%B5_%D0%BD%D0%B0%D1%83%D0%BA%D0%B5" 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-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Kategori:Formalvetenskap" title="Kategori:Formalvetenskap–سوئدی" lang="sv" hreflang="sv" data-title="Kategori:Formalvetenskap" data-language-autonym="Svenska" data-language-local-name="سوئدی" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-ta mw-list-item"><a href="https://ta.wikipedia.org/wiki/%E0%AE%AA%E0%AE%95%E0%AF%81%E0%AE%AA%E0%AF%8D%E0%AE%AA%E0%AF%81:%E0%AE%AE%E0%AF%81%E0%AE%B1%E0%AF%88%E0%AE%9A%E0%AE%BE%E0%AE%B0%E0%AF%8D_%E0%AE%85%E0%AE%B1%E0%AE%BF%E0%AE%B5%E0%AE%BF%E0%AE%AF%E0%AE%B2%E0%AF%8D%E0%AE%95%E0%AE%B3%E0%AF%8D" title="பகுப்பு:முறைசார் அறிவியல்கள்–تامیلی" lang="ta" hreflang="ta" data-title="பகுப்பு:முறைசார் அறிவியல்கள்" data-language-autonym="தமிழ்" data-language-local-name="تامیلی" class="interlanguage-link-target"><span>தமிழ்</span></a></li><li class="interlanguage-link interwiki-tg mw-list-item"><a href="https://tg.wikipedia.org/wiki/%D0%93%D1%83%D1%80%D3%AF%D2%B3:%D0%A3%D0%BB%D1%83%D0%BC%D0%B8_%D1%80%D0%B0%D1%81%D0%BC%D3%A3" title="Гурӯҳ:Улуми расмӣ–تاجیکی" lang="tg" hreflang="tg" data-title="Гурӯҳ:Улуми расмӣ" data-language-autonym="Тоҷикӣ" data-language-local-name="تاجیکی" class="interlanguage-link-target"><span>Тоҷикӣ</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%AB%E0%B8%A1%E0%B8%A7%E0%B8%94%E0%B8%AB%E0%B8%A1%E0%B8%B9%E0%B9%88:%E0%B8%A7%E0%B8%B4%E0%B8%97%E0%B8%A2%E0%B8%B2%E0%B8%A8%E0%B8%B2%E0%B8%AA%E0%B8%95%E0%B8%A3%E0%B9%8C%E0%B8%A3%E0%B8%B9%E0%B8%9B%E0%B8%99%E0%B8%B1%E0%B8%A2" title="หมวดหมู่:วิทยาศาสตร์รูปนัย–تایلندی" lang="th" hreflang="th" data-title="หมวดหมู่:วิทยาศาสตร์รูปนัย" data-language-autonym="ไทย" data-language-local-name="تایلندی" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tk mw-list-item"><a href="https://tk.wikipedia.org/wiki/Kategori%C3%BDa:Formal_ylymlar" title="Kategoriýa:Formal ylymlar–ترکمنی" lang="tk" hreflang="tk" data-title="Kategoriýa:Formal ylymlar" data-language-autonym="Türkmençe" data-language-local-name="ترکمنی" class="interlanguage-link-target"><span>Türkmençe</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Kategorya:Mga_agham_na_pormal" title="Kategorya:Mga agham na pormal–تاگالوگی" lang="tl" hreflang="tl" data-title="Kategorya:Mga agham na pormal" data-language-autonym="Tagalog" data-language-local-name="تاگالوگی" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Kategori:Formal_bilimler" title="Kategori:Formal bilimler–ترکی استانبولی" lang="tr" hreflang="tr" data-title="Kategori:Formal bilimler" data-language-autonym="Türkçe" data-language-local-name="ترکی استانبولی" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-tt mw-list-item"><a href="https://tt.wikipedia.org/wiki/%D0%A2%D3%A9%D1%80%D0%BA%D0%B5%D0%BC:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C_%D1%84%D3%99%D0%BD%D0%BD%D3%99%D1%80" title="Төркем:Формаль фәннәр–تاتاری" lang="tt" hreflang="tt" data-title="Төркем:Формаль фәннәр" data-language-autonym="Татарча / tatarça" data-language-local-name="تاتاری" class="interlanguage-link-target"><span>Татарча / tatarça</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D1%96%D1%8F:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8" 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-ur mw-list-item"><a href="https://ur.wikipedia.org/wiki/%D8%B2%D9%85%D8%B1%DB%81:%D8%AA%D8%B4%DA%A9%DB%8C%D9%84%DB%8C_%D8%B9%D9%84%D9%88%D9%85" title="زمرہ:تشکیلی علوم–اردو" lang="ur" hreflang="ur" data-title="زمرہ:تشکیلی علوم" data-language-autonym="اردو" data-language-local-name="اردو" class="interlanguage-link-target"><span>اردو</span></a></li><li class="interlanguage-link interwiki-uz mw-list-item"><a href="https://uz.wikipedia.org/wiki/Turkum:Rasmiy_fanlar" title="Turkum:Rasmiy fanlar–ازبکی" lang="uz" hreflang="uz" data-title="Turkum:Rasmiy fanlar" data-language-autonym="Oʻzbekcha / ўзбекча" data-language-local-name="ازبکی" class="interlanguage-link-target"><span>Oʻzbekcha / ўзбекча</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/Th%E1%BB%83_lo%E1%BA%A1i:Khoa_h%E1%BB%8Dc_h%C3%ACnh_th%E1%BB%A9c" title="Thể loại:Khoa học hình thức–ویتنامی" lang="vi" hreflang="vi" data-title="Thể loại:Khoa học hình thức" data-language-autonym="Tiếng Việt" data-language-local-name="ویتنامی" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-war mw-list-item"><a href="https://war.wikipedia.org/wiki/Kaarangay:Mga_syensya_nga_pormal" title="Kaarangay:Mga syensya nga pormal–وارایی" lang="war" hreflang="war" data-title="Kaarangay:Mga syensya nga pormal" data-language-autonym="Winaray" data-language-local-name="وارایی" class="interlanguage-link-target"><span>Winaray</span></a></li><li class="interlanguage-link interwiki-wuu mw-list-item"><a href="https://wuu.wikipedia.org/wiki/Category:%E5%BD%A2%E5%BC%8F%E7%A7%91%E5%AD%A6" title="Category:形式科学–وو" lang="wuu" hreflang="wuu" data-title="Category:形式科学" data-language-autonym="吴语" data-language-local-name="وو" class="interlanguage-link-target"><span>吴语</span></a></li><li class="interlanguage-link interwiki-yo mw-list-item"><a href="https://yo.wikipedia.org/wiki/%E1%BA%B8%CC%80ka:%C3%80w%E1%BB%8Dn_s%C3%A1y%E1%BA%B9%CC%81ns%C3%AC_al%C3%A1d%C3%A0l%C3%B3j%C3%BA" title="Ẹ̀ka:Àwọn sáyẹ́nsì aládàlójú–یوروبایی" lang="yo" hreflang="yo" data-title="Ẹ̀ka:Àwọn sáyẹ́nsì aládàlójú" data-language-autonym="Yorùbá" data-language-local-name="یوروبایی" class="interlanguage-link-target"><span>Yorùbá</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/Category:%E5%BD%A2%E5%BC%8F%E7%A7%91%E5%AD%B8" title="Category:形式科學–چینی" lang="zh" hreflang="zh" data-title="Category:形式科學" data-language-autonym="中文" data-language-local-name="چینی" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-min-nan mw-list-item"><a href="https://zh-min-nan.wikipedia.org/wiki/L%C5%ABi-pia%CC%8Dt:H%C3%AAng-sek_kho-ha%CC%8Dk" title="Lūi-pia̍t:Hêng-sek kho-ha̍k–مین نان" lang="nan" hreflang="nan" data-title="Lūi-pia̍t:Hêng-sek kho-ha̍k" data-language-autonym="閩南語 / Bân-lâm-gú" data-language-local-name="مین نان" class="interlanguage-link-target"><span>閩南語 / Bân-lâm-gú</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/Category:%E5%BD%A2%E5%BC%8F%E7%A7%91%E5%AD%B8" title="Category:形式科學–کانتونی" lang="yue" hreflang="yue" data-title="Category:形式科學" 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/Q7469326#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-category" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C" title="دیدن صفحهٔ رده [c]" accesskey="c"><span>رده</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/%D8%A8%D8%AD%D8%AB_%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C" rel="discussion" title="گفتگو پیرامون محتوای صفحه [t]" accesskey="t"><span>بحث</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="تغییر گونهٔ زبان" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">فارسی</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="بازدیدها"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C"><span>خواندن</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C&action=edit" title="ویرایش کد مبدأ این صفحه [e]" accesskey="e"><span>ویرایش</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C&action=history" title="نسخه‌های پیشین این صفحه [h]" accesskey="h"><span>نمایش تاریخچه</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="ابزارهای صفحه"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="ابزارها" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">ابزارها</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">ابزارها</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">انتقال به نوار کناری</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">نهفتن</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="گزینه‌های بیشتر" > <div class="vector-menu-heading"> عمل‌ها </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C"><span>خواندن</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C&action=edit" title="ویرایش کد مبدأ این صفحه [e]" accesskey="e"><span>ویرایش</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C&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/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C" 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/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C" 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=%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C&oldid=31991063" title="پیوند پایدار به این نسخه از این صفحه"><span>پیوند پایدار</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C&action=info" 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%25D8%25B1%25D8%25AF%25D9%2587%3A%25D8%25B9%25D9%2584%25D9%2588%25D9%2585_%25D8%25B5%25D9%2588%25D8%25B1%25DB%258C"><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%25D8%25B1%25D8%25AF%25D9%2587%3A%25D8%25B9%25D9%2584%25D9%2588%25D9%2585_%25D8%25B5%25D9%2588%25D8%25B1%25DB%258C"><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=%D8%B1%D8%AF%D9%87%3A%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C&action=show-download-screen"><span>بارگیری به‌صورت PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C&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 class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Formal_sciences" hreflang="en"><span>ویکی‌انبار</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q7469326" title="پیوند به آیتم متصل‌شدۀ مخزن داده‌ها [g]" accesskey="g"><span>آیتم ویکی‌داده</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="ابزارهای صفحه"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="ظاهر"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">ظاهر</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">انتقال به نوار کناری</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">نهفتن</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> <div id="mw-indicator-mw-helplink" class="mw-indicator"><a href="https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Categories" target="_blank" class="mw-helplink"><span class="mw-helplink-icon"></span>راهنما</a></div> </div> <div id="siteSub" class="noprint">از ویکی‌پدیا، دانشنامهٔ آزاد</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-rtl mw-parser-output" lang="fa" dir="rtl"><style data-mw-deduplicate="TemplateStyles:r35841839">.mw-parser-output .hatnote{font-style:italic}.mw-parser-output div.hatnote{padding-right:1.6em;margin-bottom:0.5em}.mw-parser-output .hatnote i{font-style:normal}.mw-parser-output .hatnote+link+.hatnote{margin-top:-0.5em}</style><div role="note" class="hatnote navigation-not-searchable">مقالهٔ اصلی این <a href="/wiki/%D8%B1%D8%A7%D9%87%D9%86%D9%85%D8%A7:%D8%B1%D8%AF%D9%87" title="راهنما:رده">رده</a>، <b><a href="/wiki/%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C" title="علوم صوری">علوم صوری</a></b> است.</div>    </div><div class="mw-category-generated" lang="fa" dir="rtl"><div id="mw-subcategories"> <h2>زیررده‌ها</h2> <p>این رده ۱۷ زیرردۀ زیر را دارد، این رده در کل ۱۷ زیررده دارد. </p><div lang="fa" dir="rtl" class="mw-content-rtl"><div class="mw-category mw-category-columns"><div class="mw-category-group"><h3>ا</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="استانداردها" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%A7%D8%B3%D8%AA%D8%A7%D9%86%D8%AF%D8%A7%D8%B1%D8%AF%D9%87%D8%A7" title="رده:استانداردها">استانداردها</a></bdi> <span title="شامل ۲۷ زیررده، ۴۴ صفحه و یک پرونده است" dir="rtl">(۲۷ ر، ۴۴ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="اقتصادسنجی" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%A7%D9%82%D8%AA%D8%B5%D8%A7%D8%AF%D8%B3%D9%86%D8%AC%DB%8C" title="رده:اقتصادسنجی">اقتصادسنجی</a></bdi> <span title="شامل ۱۰ زیررده، ۳۲ صفحه و یک پرونده است" dir="rtl">(۱۰ ر، ۳۲ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>ب</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="بیوانفورماتیک" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%A8%DB%8C%D9%88%D8%A7%D9%86%D9%81%D9%88%D8%B1%D9%85%D8%A7%D8%AA%DB%8C%DA%A9" title="رده:بیوانفورماتیک">بیوانفورماتیک</a></bdi> <span title="شامل ۱۳ زیررده، ۱۴۱ صفحه و یک پرونده است" dir="rtl">(۱۳ ر، ۱۴۱ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>د</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="دانش_سامانه" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%AF%D8%A7%D9%86%D8%B4_%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87" title="رده:دانش سامانه">دانش سامانه</a></bdi> <span title="شامل ۱۳ زیررده، ۱۵ صفحه و یک پرونده است" dir="rtl">(۱۳ ر، ۱۵ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>ر</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="روش‌شناسی" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B1%D9%88%D8%B4%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C" title="رده:روش‌شناسی">روش‌شناسی</a></bdi> <span title="شامل ۱۰ زیررده، ۱۸ صفحه و یک پرونده است" dir="rtl">(۱۰ ر، ۱۸ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="روش‌های_صوری" aria-expanded="false"></a> </span> <bdi dir="rtl"><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></bdi> <span title="شامل ۱۳ زیررده، ۲۷ صفحه و یک پرونده است" dir="rtl">(۱۳ ر، ۲۷ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="ریاضیات" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA" title="رده:ریاضیات">ریاضیات</a></bdi> <span title="شامل ۴۹ زیررده، ۲۰۳ صفحه و یک پرونده است" dir="rtl">(۴۹ ر، ۲۰۳ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>ز</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="زبان‌های_صوری" aria-expanded="false"></a> </span> <bdi dir="rtl"><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%B5%D9%88%D8%B1%DB%8C" title="رده:زبان‌های صوری">زبان‌های صوری</a></bdi> <span title="شامل ۷ زیررده، ۸۲ صفحه و یک پرونده است" dir="rtl">(۷ ر، ۸۲ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>س</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="سامانه‌های_رده‌بندی" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B1%D8%AF%D9%87%E2%80%8C%D8%A8%D9%86%D8%AF%DB%8C" title="رده:سامانه‌های رده‌بندی">سامانه‌های رده‌بندی</a></bdi> <span title="شامل ۱۷ زیررده، ۱۵ صفحه و یک پرونده است" dir="rtl">(۱۷ ر، ۱۵ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="سامانه‌های_طبقه‌بندی" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B7%D8%A8%D9%82%D9%87%E2%80%8C%D8%A8%D9%86%D8%AF%DB%8C" title="رده:سامانه‌های طبقه‌بندی">سامانه‌های طبقه‌بندی</a></bdi> <span title="شامل ۲۰ زیررده، ۲۴ صفحه و یک پرونده است" dir="rtl">(۲۰ ر، ۲۴ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>ع</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="علوم_رایانه" aria-expanded="false"></a> </span> <bdi dir="rtl"><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></bdi> <span title="شامل ۳۹ زیررده، ۸۲ صفحه و یک پرونده است" dir="rtl">(۳۹ ر، ۸۲ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="علوم_ریاضی" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C" title="رده:علوم ریاضی">علوم ریاضی</a></bdi> <span title="شامل ۲ زیررده، ۴ صفحه و یک پرونده است" dir="rtl">(۲ ر، ۴ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="علوم_نظری_رایانه" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D9%86%D8%B8%D8%B1%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="رده:علوم نظری رایانه">علوم نظری رایانه</a></bdi> <span title="شامل ۲۴ زیررده، ۴۵ صفحه و یک پرونده است" dir="rtl">(۲۴ ر، ۴۵ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>م</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="مدل‌سازی_علمی" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%85%D8%AF%D9%84%E2%80%8C%D8%B3%D8%A7%D8%B2%DB%8C_%D8%B9%D9%84%D9%85%DB%8C" title="رده:مدل‌سازی علمی">مدل‌سازی علمی</a></bdi> <span title="شامل ۲۴ زیررده، ۴۰ صفحه و یک پرونده است" dir="rtl">(۲۴ ر، ۴۰ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="منطق" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%85%D9%86%D8%B7%D9%82" title="رده:منطق">منطق</a></bdi> <span title="شامل ۲۴ زیررده، ۱۳۰ صفحه و یک پرونده است" dir="rtl">(۲۴ ر، ۱۳۰ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>ن</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="نظریه_آشوب" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%A2%D8%B4%D9%88%D8%A8" title="رده:نظریه آشوب">نظریه آشوب</a></bdi> <span title="شامل ۶ زیررده، ۱۷ صفحه و یک پرونده است" dir="rtl">(۶ ر، ۱۷ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="نظریه_تصمیم" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%AA%D8%B5%D9%85%DB%8C%D9%85" title="رده:نظریه تصمیم">نظریه تصمیم</a></bdi> <span title="شامل ۱۱ زیررده، ۴۵ صفحه و یک پرونده است" dir="rtl">(۱۱ ر، ۴۵ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div></div></div> </div><div id="mw-pages"> <h2>صفحه‌ها</h2> <p>۳۶ صفحۀ زیر در این رده هستند؛ این رده در کل ۳۶ صفحه دارد. </p><div lang="fa" dir="rtl" class="mw-content-rtl"><div class="mw-category mw-category-columns"><div class="mw-category-group"><h3> </h3> <ul><li><a href="/wiki/%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C" title="علوم صوری">علوم صوری</a></li></ul></div><div class="mw-category-group"><h3>آ</h3> <ul><li><a href="/wiki/%D8%A2%D9%86%D8%A7%D9%84%DB%8C%D8%B2_%D8%AA%D8%B5%D9%88%DB%8C%D8%B1" title="آنالیز تصویر">آنالیز تصویر</a></li></ul></div><div class="mw-category-group"><h3>ا</h3> <ul><li><a href="/wiki/%D8%A7%D9%82%D8%AA%D8%B5%D8%A7%D8%AF%D8%B3%D9%86%D8%AC%DB%8C" title="اقتصادسنجی">اقتصادسنجی</a></li> <li><a href="/wiki/%D8%A7%D9%85%D8%B6%D8%A7%DB%8C_%D8%A7%D9%84%DA%A9%D8%AA%D8%B1%D9%88%D9%86%DB%8C%DA%A9" title="امضای الکترونیک">امضای الکترونیک</a></li></ul></div><div class="mw-category-group"><h3>ب</h3> <ul><li><a href="/wiki/%D8%A8%D8%A7%D8%B2%D8%B4%D9%86%D8%A7%D8%AE%D8%AA_%D8%A7%D9%84%DA%AF%D9%88" title="بازشناخت الگو">بازشناخت الگو</a></li> <li><a href="/wiki/%D8%A8%D9%88%D9%85%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C_%D8%B3%DB%8C%D8%B3%D8%AA%D9%85%E2%80%8C%D9%87%D8%A7" title="بوم‌شناسی سیستم‌ها">بوم‌شناسی سیستم‌ها</a></li> <li><a href="/wiki/%D8%A8%DB%8C%D9%85%E2%80%8C%D8%B3%D9%86%D8%AC%DB%8C" title="بیم‌سنجی">بیم‌سنجی</a></li></ul></div><div class="mw-category-group"><h3>ت</h3> <ul><li><a href="/wiki/%D8%AA%D8%AC%D8%B2%DB%8C%D9%87_%D9%88_%D8%AA%D8%AD%D9%84%DB%8C%D9%84" 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%BE%DB%8C%D8%B4%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3:%D8%AA%D8%B4%D8%AE%DB%8C%D8%B5_%D9%85%D8%AD%D8%AA%D9%88%D8%A7%DB%8C_%D8%AA%D9%88%D9%84%DB%8C%D8%AF_%D8%B4%D8%AF%D9%87_%D8%AA%D9%88%D8%B3%D8%B7_%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/%D8%AA%D8%B4%D8%AE%DB%8C%D8%B5_%D9%85%D8%AD%D8%AA%D9%88%D8%A7%DB%8C_%D8%AA%D9%88%D9%84%DB%8C%D8%AF_%D8%B4%D8%AF%D9%87_%D8%AA%D9%88%D8%B3%D8%B7_%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%BE%DB%8C%D8%B4%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3:%D8%AA%D8%B4%D8%AE%DB%8C%D8%B5_%D9%85%D8%AD%D8%AA%D9%88%D8%A7%DB%8C_%D9%87%D9%88%D8%B4_%D9%85%D8%B5%D9%86%D9%88%D8%B9%DB%8C" title="پیش‌نویس:تشخیص محتوای هوش مصنوعی">پیش‌نویس:تشخیص محتوای هوش مصنوعی</a></li></ul></div><div class="mw-category-group"><h3>د</h3> <ul><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></ul></div><div class="mw-category-group"><h3>ر</h3> <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%85%D8%B2%D9%86%DA%AF%D8%A7%D8%B1%DB%8C_%D8%A7%D9%84%D8%AC%D9%85%D9%84" 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%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA" title="ریاضیات">ریاضیات</a></li></ul></div><div class="mw-category-group"><h3>ز</h3> <ul><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/%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C_%D9%86%D8%B8%D8%B1%DB%8C" title="زبان‌شناسی نظری">زبان‌شناسی نظری</a></li></ul></div><div class="mw-category-group"><h3>س</h3> <ul><li><a href="/wiki/%D8%B3%D8%A7%DB%8C%D8%A8%D8%B1%D9%86%D8%AA%DB%8C%DA%A9" title="سایبرنتیک">سایبرنتیک</a></li> <li><a href="/wiki/%D8%B3%D8%B1%DB%8C_%D8%B2%D9%85%D8%A7%D9%86%DB%8C" title="سری زمانی">سری زمانی</a></li></ul></div><div class="mw-category-group"><h3>ع</h3> <ul><li><a href="/wiki/%D8%B9%D9%84%D9%88%D9%85_%D8%AF%D9%82%DB%8C%D9%82%D9%87" title="علوم دقیقه">علوم دقیقه</a></li> <li><a href="/wiki/%D8%B9%D9%84%D9%88%D9%85_%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87%E2%80%8C%D9%87%D8%A7" title="علوم سامانه‌ها">علوم سامانه‌ها</a></li> <li><a href="/wiki/%D8%B9%D9%84%D9%88%D9%85_%D9%86%D8%B8%D8%B1%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="علوم نظری رایانه">علوم نظری رایانه</a></li></ul></div><div class="mw-category-group"><h3>ف</h3> <ul><li><a href="/wiki/%D9%81%D8%B1%D9%85%D9%88%D9%84" 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%AF%D8%A7%D8%AF%D9%87%E2%80%8C%D9%87%D8%A7" 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%AF%D8%A7%D8%AF%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%AA%DB%8C" title="فشرده‌سازی داده‌های صوتی">فشرده‌سازی داده‌های صوتی</a></li> <li><a href="/wiki/%D9%81%DB%8C%D8%B2%DB%8C%DA%A9_%D8%A2%D9%85%D8%A7%D8%B1%DB%8C" title="فیزیک آماری">فیزیک آماری</a></li></ul></div><div class="mw-category-group"><h3>ل</h3> <ul><li><a href="/wiki/%D9%84%D9%85_%D8%AA%D8%B2%D8%B1%DB%8C%D9%82" title="لم تزریق">لم تزریق</a></li></ul></div><div class="mw-category-group"><h3>ن</h3> <ul><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/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%A8%D8%A7%D8%B2%DB%8C" title="نظریه بازی">نظریه بازی</a></li> <li><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%AA%D8%B5%D9%85%DB%8C%D9%85" title="نظریه تصمیم">نظریه تصمیم</a></li> <li><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%B5%D9%81" 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></ul></div><div class="mw-category-group"><h3>ه</h3> <ul><li><a href="/wiki/%D9%87%D9%85%D8%AF%D9%84%DB%8C_%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" title="هوش مصنوعی">هوش مصنوعی</a></li></ul></div></div></div> </div></div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">برگرفته از «<a dir="ltr" href="https://fa.wikipedia.org/w/index.php?title=رده:علوم_صوری&oldid=31991063">https://fa.wikipedia.org/w/index.php?title=رده:علوم_صوری&oldid=31991063</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%B4%D8%A7%D8%AE%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B9%D9%84%D9%85" title="رده:شاخه‌های علم">شاخه‌های علم</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B1%D8%B4%D8%AA%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%A2%DA%A9%D8%A7%D8%AF%D9%85%DB%8C%DA%A9" 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=%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C&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-f69cdc8f6-gjvwm","wgBackendResponseTime":174,"wgPageParseReport":{"limitreport":{"cputime":"0.033","walltime":"0.045","ppvisitednodes":{"value":10,"limit":1000000},"postexpandincludesize":{"value":410,"limit":2097152},"templateargumentsize":{"value":0,"limit":2097152},"expansiondepth":{"value":3,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":325,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 39.687 1 الگو:اصلی_رده","100.00% 39.687 1 -total"]},"scribunto":{"limitreport-timeusage":{"value":"0.017","limit":"10.000"},"limitreport-memusage":{"value":640267,"limit":52428800}},"cachereport":{"origin":"mw-web.eqiad.main-6fcbf9d8c6-v2jqp","timestamp":"20241031124311","ttl":2592000,"transientcontent":false}}});});</script> </body> </html>