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="fr" dir="ltr"> <head> <meta charset="UTF-8"> <title>Catégorie:Informatique théorique — Wikipédia</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(/(?:^|; )frwikimwclientpreferences=([^;]+)/);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":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","janvier","février","mars","avril","mai","juin","juillet","août","septembre","octobre","novembre","décembre"],"wgRequestId":"841268c6-e5b5-48f6-9529-c3d73707aaf9","wgCanonicalNamespace":"Category","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":14,"wgPageName":"Catégorie:Informatique_théorique","wgTitle":"Informatique théorique","wgCurRevisionId":119830780,"wgRevisionId":119830780,"wgArticleId":94409,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Projet:Technologies/Catégories liées","Informatique","Science théorique"],"wgPageViewLanguage":"fr","wgPageContentLanguage":"fr","wgPageContentModel":"wikitext","wgRelevantPageName":"Catégorie:Informatique_théorique","wgRelevantArticleId":94409,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia", "wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"fr","pageLanguageDir":"ltr","pageVariantFallbacks":"fr"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":400,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q7153055","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"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.ArchiveLinks","ext.gadget.Wdsearch","ext.tmh.player","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","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=fr&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=fr&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=fr&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="Catégorie:Informatique théorique — Wikipédia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//fr.m.wikipedia.org/wiki/Cat%C3%A9gorie:Informatique_th%C3%A9orique"> <link rel="alternate" type="application/x-wiki" title="Modifier" href="/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&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="Wikipédia (fr)"> <link rel="EditURI" type="application/rsd+xml" href="//fr.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://fr.wikipedia.org/wiki/Cat%C3%A9gorie:Informatique_th%C3%A9orique"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr"> <link rel="alternate" type="application/atom+xml" title="Flux Atom de Wikipédia" href="/w/index.php?title=Sp%C3%A9cial:Modifications_r%C3%A9centes&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 ltr sitedir-ltr mw-hide-empty-elt ns-14 ns-subject mw-editable page-Catégorie_Informatique_théorique rootpage-Catégorie_Informatique_théorique skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Aller au contenu</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="Site"> <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="Menu principal" > <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">Menu principal</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">Menu principal</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">masquer</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigation </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Accueil_principal" title="Accueil général [z]" accesskey="z"><span>Accueil</span></a></li><li id="n-thema" class="mw-list-item"><a href="/wiki/Portail:Accueil"><span>Portails thématiques</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Page_au_hasard" title="Affiche un article au hasard [x]" accesskey="x"><span>Article au hasard</span></a></li><li id="n-contact" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Contact"><span>Contact</span></a></li> </ul> </div> </div> <div id="p-Contribuer" class="vector-menu mw-portlet mw-portlet-Contribuer" > <div class="vector-menu-heading"> Contribuer </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-aboutwp" class="mw-list-item"><a href="/wiki/Aide:D%C3%A9buter"><span>Débuter sur Wikipédia</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Aide:Accueil" title="Accès à l’aide"><span>Aide</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Accueil_de_la_communaut%C3%A9" title="À propos du projet, ce que vous pouvez faire, où trouver les informations"><span>Communauté</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Modifications_r%C3%A9centes" title="Liste des modifications récentes sur le wiki [r]" accesskey="r"><span>Modifications récentes</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Wikip%C3%A9dia:Accueil_principal" 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="Wikipédia" src="/static/images/mobile/copyright/wikipedia-wordmark-fr.svg" style="width: 7.4375em; height: 1.125em;"> <img class="mw-logo-tagline" alt="l'encyclopédie libre" src="/static/images/mobile/copyright/wikipedia-tagline-fr.svg" width="120" height="13" style="width: 7.5em; height: 0.8125em;"> </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/Sp%C3%A9cial:Recherche" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Rechercher sur Wikipédia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Rechercher</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="Rechercher sur Wikipédia" aria-label="Rechercher sur Wikipédia" autocapitalize="sentences" title="Rechercher sur Wikipédia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Spécial:Recherche"> </div> <button class="cdx-button cdx-search-input__end-button">Rechercher</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Outils personnels"> <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="Apparence"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Modifier l'apparence de la taille, de la largeur et de la couleur de la police de la page" > <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="Apparence" > <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">Apparence</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_fr.wikipedia.org&uselang=fr" class=""><span>Faire un don</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=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=Cat%C3%A9gorie%3AInformatique+th%C3%A9orique" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire." class=""><span>Créer un compte</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=Sp%C3%A9cial:Connexion&returnto=Cat%C3%A9gorie%3AInformatique+th%C3%A9orique" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o" class=""><span>Se connecter</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="Plus d’options" > <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="Outils personnels" > <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">Outils personnels</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Menu utilisateur" > <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_fr.wikipedia.org&uselang=fr"><span>Faire un don</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=Cat%C3%A9gorie%3AInformatique+th%C3%A9orique" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire."><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Créer un compte</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Connexion&returnto=Cat%C3%A9gorie%3AInformatique+th%C3%A9orique" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Se connecter</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"> Pages pour les contributeurs déconnectés <a href="/wiki/Aide:Premiers_pas" aria-label="En savoir plus sur la contribution"><span>en savoir plus</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/Sp%C3%A9cial:Mes_contributions" title="Une liste des modifications effectuées depuis cette adresse IP [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Mes_discussions" title="La page de discussion pour les contributions depuis cette adresse IP [n]" accesskey="n"><span>Discussion</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="Site"> <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">Catégorie</span><span class="mw-page-title-separator">:</span><span class="mw-page-title-main">Informatique théorique</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="Aller à un article dans une autre langue. Disponible en 55 langues." > <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-55" 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">55 langues</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <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%85_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8_%D8%A7%D9%84%D9%86%D8%B8%D8%B1%D9%8A" title="تصنيف:علم الحاسوب النظري – arabe" lang="ar" hreflang="ar" data-title="تصنيف:علم الحاسوب النظري" data-language-autonym="العربية" data-language-local-name="arabe" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-azb mw-list-item"><a href="https://azb.wikipedia.org/wiki/%D8%A8%D8%A4%D9%84%D9%85%D9%87:%D8%AA%D8%A6%D9%88%D8%B1%DB%8C%DA%A9_%D8%A8%DB%8C%D9%84%DA%AF%DB%8C_%D8%B3%D8%A7%DB%8C%D8%A7%D8%B1_%D8%A8%DB%8C%D9%84%DB%8C%D9%85%DB%8C" title="بؤلمه:تئوریک بیلگی سایار بیلیمی – South Azerbaijani" lang="azb" hreflang="azb" data-title="بؤلمه:تئوریک بیلگی سایار بیلیمی" data-language-autonym="تۆرکجه" data-language-local-name="South Azerbaijani" class="interlanguage-link-target"><span>تۆرکجه</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%A2%D0%B5%D0%BE%D1%80%D0%B5%D1%82%D0%B8%D0%BA_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Категория:Теоретик информатика – bachkir" lang="ba" hreflang="ba" data-title="Категория:Теоретик информатика" data-language-autonym="Башҡортса" data-language-local-name="bachkir" class="interlanguage-link-target"><span>Башҡортса</span></a></li><li class="interlanguage-link interwiki-bar mw-list-item"><a href="https://bar.wikipedia.org/wiki/Kategorie:Theoretische_Informatik" title="Kategorie:Theoretische Informatik – bavarois" lang="bar" hreflang="bar" data-title="Kategorie:Theoretische Informatik" data-language-autonym="Boarisch" data-language-local-name="bavarois" class="interlanguage-link-target"><span>Boarisch</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%A2%D1%8D%D0%B0%D1%80%D1%8D%D1%82%D1%8B%D1%87%D0%BD%D0%B0%D1%8F_%D1%96%D0%BD%D1%84%D0%B0%D1%80%D0%BC%D0%B0%D1%82%D1%8B%D0%BA%D0%B0" title="Катэгорыя:Тэарэтычная інфарматыка – Belarusian (Taraškievica orthography)" lang="be-tarask" hreflang="be-tarask" data-title="Катэгорыя:Тэарэтычная інфарматыка" data-language-autonym="Беларуская (тарашкевіца)" data-language-local-name="Belarusian (Taraškievica orthography)" 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%A2%D0%B5%D0%BE%D1%80%D0%B5%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Категория:Теоретична информатика – bulgare" lang="bg" hreflang="bg" data-title="Категория:Теоретична информатика" data-language-autonym="Български" data-language-local-name="bulgare" 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%A4%E0%A6%BE%E0%A6%A4%E0%A7%8D%E0%A6%A4%E0%A7%8D%E0%A6%AC%E0%A6%BF%E0%A6%95_%E0%A6%95%E0%A6%AE%E0%A7%8D%E0%A6%AA%E0%A6%BF%E0%A6%89%E0%A6%9F%E0%A6%BE%E0%A6%B0_%E0%A6%AC%E0%A6%BF%E0%A6%9C%E0%A7%8D%E0%A6%9E%E0%A6%BE%E0%A6%A8" title="বিষয়শ্রেণী:তাত্ত্বিক কম্পিউটার বিজ্ঞান – bengali" lang="bn" hreflang="bn" data-title="বিষয়শ্রেণী:তাত্ত্বিক কম্পিউটার বিজ্ঞান" data-language-autonym="বাংলা" data-language-local-name="bengali" 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:Teorijsko_ra%C4%8Dunarstvo" title="Kategorija:Teorijsko računarstvo – bosniaque" lang="bs" hreflang="bs" data-title="Kategorija:Teorijsko računarstvo" data-language-autonym="Bosanski" data-language-local-name="bosniaque" class="interlanguage-link-target"><span>Bosanski</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Categoria:Inform%C3%A0tica_te%C3%B2rica" title="Categoria:Informàtica teòrica – catalan" lang="ca" hreflang="ca" data-title="Categoria:Informàtica teòrica" data-language-autonym="Català" data-language-local-name="catalan" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Kategorie:Teoretick%C3%A1_informatika" title="Kategorie:Teoretická informatika – tchèque" lang="cs" hreflang="cs" data-title="Kategorie:Teoretická informatika" data-language-autonym="Čeština" data-language-local-name="tchèque" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-cy mw-list-item"><a href="https://cy.wikipedia.org/wiki/Categori:Cyfrifiadureg_ddamcaniaethol" title="Categori:Cyfrifiadureg ddamcaniaethol – gallois" lang="cy" hreflang="cy" data-title="Categori:Cyfrifiadureg ddamcaniaethol" data-language-autonym="Cymraeg" data-language-local-name="gallois" class="interlanguage-link-target"><span>Cymraeg</span></a></li><li class="interlanguage-link interwiki-da mw-list-item"><a href="https://da.wikipedia.org/wiki/Kategori:Teoretisk_datalogi" title="Kategori:Teoretisk datalogi – danois" lang="da" hreflang="da" data-title="Kategori:Teoretisk datalogi" data-language-autonym="Dansk" data-language-local-name="danois" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Kategorie:Theoretische_Informatik" title="Kategorie:Theoretische Informatik – allemand" lang="de" hreflang="de" data-title="Kategorie:Theoretische Informatik" data-language-autonym="Deutsch" data-language-local-name="allemand" 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%9A%CE%B1%CF%84%CE%B7%CE%B3%CE%BF%CF%81%CE%AF%CE%B1:%CE%98%CE%B5%CF%89%CF%81%CE%B7%CF%84%CE%B9%CE%BA%CE%AE_%CF%80%CE%BB%CE%B7%CF%81%CE%BF%CF%86%CE%BF%CF%81%CE%B9%CE%BA%CE%AE" title="Κατηγορία:Θεωρητική πληροφορική – grec" lang="el" hreflang="el" data-title="Κατηγορία:Θεωρητική πληροφορική" data-language-autonym="Ελληνικά" data-language-local-name="grec" 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:Theoretical_computer_science" title="Category:Theoretical computer science – anglais" lang="en" hreflang="en" data-title="Category:Theoretical computer science" data-language-autonym="English" data-language-local-name="anglais" 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:Teoria_komputiko" title="Kategorio:Teoria komputiko – espéranto" lang="eo" hreflang="eo" data-title="Kategorio:Teoria komputiko" data-language-autonym="Esperanto" data-language-local-name="espéranto" 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:Inform%C3%A1tica_te%C3%B3rica" title="Categoría:Informática teórica – espagnol" lang="es" hreflang="es" data-title="Categoría:Informática teórica" data-language-autonym="Español" data-language-local-name="espagnol" 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:Informatika_teorikoa" title="Kategoria:Informatika teorikoa – basque" lang="eu" hreflang="eu" data-title="Kategoria:Informatika teorikoa" data-language-autonym="Euskara" data-language-local-name="basque" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/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="رده:علوم نظری رایانه – persan" lang="fa" hreflang="fa" data-title="رده:علوم نظری رایانه" data-language-autonym="فارسی" data-language-local-name="persan" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Luokka:Tietojenk%C3%A4sittelyteoria" title="Luokka:Tietojenkäsittelyteoria – finnois" lang="fi" hreflang="fi" data-title="Luokka:Tietojenkäsittelyteoria" data-language-autonym="Suomi" data-language-local-name="finnois" class="interlanguage-link-target"><span>Suomi</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%B8%E0%A5%88%E0%A4%A6%E0%A5%8D%E0%A4%A7%E0%A4%BE%E0%A4%82%E0%A4%A4%E0%A4%BF%E0%A4%95_%E0%A4%95%E0%A4%AE%E0%A5%8D%E0%A4%AA%E0%A5%8D%E0%A4%AF%E0%A5%82%E0%A4%9F%E0%A4%B0_%E0%A4%B5%E0%A4%BF%E0%A4%9C%E0%A5%8D%E0%A4%9E%E0%A4%BE%E0%A4%A8" title="श्रेणी:सैद्धांतिक कम्प्यूटर विज्ञान – hindi" lang="hi" hreflang="hi" data-title="श्रेणी:सैद्धांतिक कम्प्यूटर विज्ञान" data-language-autonym="हिन्दी" data-language-local-name="hindi" 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:Teoretsko_ra%C4%8Dunarstvo" title="Kategorija:Teoretsko računarstvo – croate" lang="hr" hreflang="hr" data-title="Kategorija:Teoretsko računarstvo" data-language-autonym="Hrvatski" data-language-local-name="croate" 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%8F%D5%A5%D5%BD%D5%A1%D5%AF%D5%A1%D5%B6_%D5%AB%D5%B6%D6%86%D5%B8%D6%80%D5%B4%D5%A1%D5%BF%D5%AB%D5%AF%D5%A1" title="Կատեգորիա:Տեսական ինֆորմատիկա – arménien" lang="hy" hreflang="hy" data-title="Կատեգորիա:Տեսական ինֆորմատիկա" data-language-autonym="Հայերեն" data-language-local-name="arménien" 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:Informatica_theoric" title="Categoria:Informatica theoric – interlingua" lang="ia" hreflang="ia" data-title="Categoria:Informatica theoric" data-language-autonym="Interlingua" data-language-local-name="interlingua" 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_komputer_teoretis" title="Kategori:Ilmu komputer teoretis – indonésien" lang="id" hreflang="id" data-title="Kategori:Ilmu komputer teoretis" data-language-autonym="Bahasa Indonesia" data-language-local-name="indonésien" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-is mw-list-item"><a href="https://is.wikipedia.org/wiki/Flokkur:Kennileg_t%C3%B6lvunarfr%C3%A6%C3%B0i" title="Flokkur:Kennileg tölvunarfræði – islandais" lang="is" hreflang="is" data-title="Flokkur:Kennileg tölvunarfræði" data-language-autonym="Íslenska" data-language-local-name="islandais" class="interlanguage-link-target"><span>Íslenska</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Categoria:Teorie_dell%27informatica" title="Categoria:Teorie dell'informatica – italien" lang="it" hreflang="it" data-title="Categoria:Teorie dell'informatica" data-language-autonym="Italiano" data-language-local-name="italien" 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:%E7%90%86%E8%AB%96%E8%A8%88%E7%AE%97%E6%A9%9F%E7%A7%91%E5%AD%A6" title="Category:理論計算機科学 – japonais" lang="ja" hreflang="ja" data-title="Category:理論計算機科学" data-language-autonym="日本語" data-language-local-name="japonais" 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%97%E1%83%94%E1%83%9D%E1%83%A0%E1%83%98%E1%83%A3%E1%83%9A%E1%83%98_%E1%83%98%E1%83%9C%E1%83%A4%E1%83%9D%E1%83%A0%E1%83%9B%E1%83%90%E1%83%A2%E1%83%98%E1%83%99%E1%83%90" title="კატეგორია:თეორიული ინფორმატიკა – géorgien" lang="ka" hreflang="ka" data-title="კატეგორია:თეორიული ინფორმატიკა" data-language-autonym="ქართული" data-language-local-name="géorgien" 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:%EC%9D%B4%EB%A1%A0_%EC%BB%B4%ED%93%A8%ED%84%B0_%EA%B3%BC%ED%95%99" title="분류:이론 컴퓨터 과학 – coréen" lang="ko" hreflang="ko" data-title="분류:이론 컴퓨터 과학" data-language-autonym="한국어" data-language-local-name="coréen" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-lb mw-list-item"><a href="https://lb.wikipedia.org/wiki/Kategorie:Theoreetesch_Informatik" title="Kategorie:Theoreetesch Informatik – luxembourgeois" lang="lb" hreflang="lb" data-title="Kategorie:Theoreetesch Informatik" data-language-autonym="Lëtzebuergesch" data-language-local-name="luxembourgeois" class="interlanguage-link-target"><span>Lëtzebuergesch</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%A2%D0%B5%D0%BE%D1%80%D0%B5%D1%82%D1%81%D0%BA%D0%B0_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Категорија:Теоретска информатика – macédonien" lang="mk" hreflang="mk" data-title="Категорија:Теоретска информатика" data-language-autonym="Македонски" data-language-local-name="macédonien" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-ml mw-list-item"><a href="https://ml.wikipedia.org/wiki/%E0%B4%B5%E0%B5%BC%E0%B4%97%E0%B5%8D%E0%B4%97%E0%B4%82:%E0%B4%A4%E0%B4%BF%E0%B4%AF%E0%B4%B1%E0%B4%B1%E0%B5%8D%E0%B4%B1%E0%B4%BF%E0%B4%95%E0%B5%8D%E0%B4%95%E0%B5%BD_%E0%B4%95%E0%B4%AE%E0%B5%8D%E0%B4%AA%E0%B5%8D%E0%B4%AF%E0%B5%82%E0%B4%9F%E0%B5%8D%E0%B4%9F%E0%B5%BC_%E0%B4%B8%E0%B4%AF%E0%B5%BB%E0%B4%B8%E0%B5%8D" title="വർഗ്ഗം:തിയററ്റിക്കൽ കമ്പ്യൂട്ടർ സയൻസ് – malayalam" lang="ml" hreflang="ml" data-title="വർഗ്ഗം:തിയററ്റിക്കൽ കമ്പ്യൂട്ടർ സയൻസ്" data-language-autonym="മലയാളം" data-language-local-name="malayalam" 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%9E%D0%BD%D0%BE%D0%BB%D1%8B%D0%BD_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA" title="Ангилал:Онолын информатик – mongol" lang="mn" hreflang="mn" data-title="Ангилал:Онолын информатик" data-language-autonym="Монгол" data-language-local-name="mongol" 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_komputer_teori" title="Kategori:Sains komputer teori – malais" lang="ms" hreflang="ms" data-title="Kategori:Sains komputer teori" data-language-autonym="Bahasa Melayu" data-language-local-name="malais" class="interlanguage-link-target"><span>Bahasa Melayu</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Categorie:Theoretische_informatica" title="Categorie:Theoretische informatica – néerlandais" lang="nl" hreflang="nl" data-title="Categorie:Theoretische informatica" data-language-autonym="Nederlands" data-language-local-name="néerlandais" 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:Teoretisk_informatikk" title="Kategori:Teoretisk informatikk – norvégien nynorsk" lang="nn" hreflang="nn" data-title="Kategori:Teoretisk informatikk" data-language-autonym="Norsk nynorsk" data-language-local-name="norvégien nynorsk" 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:Teoretisk_informatikk" title="Kategori:Teoretisk informatikk – norvégien bokmål" lang="nb" hreflang="nb" data-title="Kategori:Teoretisk informatikk" data-language-autonym="Norsk bokmål" data-language-local-name="norvégien bokmål" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Categoria:Ci%C3%AAncia_da_computa%C3%A7%C3%A3o_te%C3%B3rica" title="Categoria:Ciência da computação teórica – portugais" lang="pt" hreflang="pt" data-title="Categoria:Ciência da computação teórica" data-language-autonym="Português" data-language-local-name="portugais" 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:Informatic%C4%83_teoretic%C4%83" title="Categorie:Informatică teoretică – roumain" lang="ro" hreflang="ro" data-title="Categorie:Informatică teoretică" data-language-autonym="Română" data-language-local-name="roumain" 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%A2%D0%B5%D0%BE%D1%80%D0%B5%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Категория:Теоретическая информатика – russe" lang="ru" hreflang="ru" data-title="Категория:Теоретическая информатика" data-language-autonym="Русский" data-language-local-name="russe" 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:Theoretical_computer_science" title="Category:Theoretical computer science – écossais" lang="sco" hreflang="sco" data-title="Category:Theoretical computer science" data-language-autonym="Scots" data-language-local-name="écossais" class="interlanguage-link-target"><span>Scots</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Kategorija:Teorijsko_ra%C4%8Dunarstvo" title="Kategorija:Teorijsko računarstvo – serbo-croate" lang="sh" hreflang="sh" data-title="Kategorija:Teorijsko računarstvo" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="serbo-croate" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Category:Theoretical_computer_science" title="Category:Theoretical computer science – Simple English" lang="en-simple" hreflang="en-simple" data-title="Category:Theoretical computer science" data-language-autonym="Simple English" data-language-local-name="Simple English" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Kateg%C3%B3ria:Teoretick%C3%A1_po%C4%8D%C3%ADta%C4%8Dov%C3%A1_veda" title="Kategória:Teoretická počítačová veda – slovaque" lang="sk" hreflang="sk" data-title="Kategória:Teoretická počítačová veda" data-language-autonym="Slovenčina" data-language-local-name="slovaque" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sl mw-list-item"><a href="https://sl.wikipedia.org/wiki/Kategorija:Teoreti%C4%8Dno_ra%C4%8Dunalni%C5%A1tvo" title="Kategorija:Teoretično računalništvo – slovène" lang="sl" hreflang="sl" data-title="Kategorija:Teoretično računalništvo" data-language-autonym="Slovenščina" data-language-local-name="slovène" class="interlanguage-link-target"><span>Slovenščina</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%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%98%D1%81%D0%BA%D0%BE_%D1%80%D0%B0%D1%87%D1%83%D0%BD%D0%B0%D1%80%D1%81%D1%82%D0%B2%D0%BE" title="Категорија:Теоријско рачунарство – serbe" lang="sr" hreflang="sr" data-title="Категорија:Теоријско рачунарство" data-language-autonym="Српски / srpski" data-language-local-name="serbe" 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:Teoretisk_datalogi" title="Kategori:Teoretisk datalogi – suédois" lang="sv" hreflang="sv" data-title="Kategori:Teoretisk datalogi" data-language-autonym="Svenska" data-language-local-name="suédois" class="interlanguage-link-target"><span>Svenska</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%81%E0%B8%B2%E0%B8%A3%E0%B8%84%E0%B8%AD%E0%B8%A1%E0%B8%9E%E0%B8%B4%E0%B8%A7%E0%B9%80%E0%B8%95%E0%B8%AD%E0%B8%A3%E0%B9%8C%E0%B9%80%E0%B8%8A%E0%B8%B4%E0%B8%87%E0%B8%97%E0%B8%A4%E0%B8%A9%E0%B8%8E%E0%B8%B5" title="หมวดหมู่:วิทยาการคอมพิวเตอร์เชิงทฤษฎี – thaï" lang="th" hreflang="th" data-title="หมวดหมู่:วิทยาการคอมพิวเตอร์เชิงทฤษฎี" data-language-autonym="ไทย" data-language-local-name="thaï" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Kategorya:Teoretikal_na_agham_pangkompyuter" title="Kategorya:Teoretikal na agham pangkompyuter – tagalog" lang="tl" hreflang="tl" data-title="Kategorya:Teoretikal na agham pangkompyuter" data-language-autonym="Tagalog" data-language-local-name="tagalog" 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:Teorik_bilgisayar_bilimi" title="Kategori:Teorik bilgisayar bilimi – turc" lang="tr" hreflang="tr" data-title="Kategori:Teorik bilgisayar bilimi" data-language-autonym="Türkçe" data-language-local-name="turc" class="interlanguage-link-target"><span>Türkçe</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%A2%D0%B5%D0%BE%D1%80%D0%B5%D1%82%D0%B8%D1%87%D0%BD%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="Категорія:Теоретична інформатика – ukrainien" lang="uk" hreflang="uk" data-title="Категорія:Теоретична інформатика" data-language-autonym="Українська" data-language-local-name="ukrainien" 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:%D9%86%D8%B8%D8%B1%DB%8C%D8%A7%D8%AA%DB%8C_%DA%A9%D9%85%D9%BE%DB%8C%D9%88%D9%B9%D8%B1_%D8%B3%D8%A7%D8%A6%D9%86%D8%B3" title="زمرہ:نظریاتی کمپیوٹر سائنس – ourdou" lang="ur" hreflang="ur" data-title="زمرہ:نظریاتی کمپیوٹر سائنس" data-language-autonym="اردو" data-language-local-name="ourdou" class="interlanguage-link-target"><span>اردو</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_m%C3%A1y_t%C3%ADnh_l%C3%BD_thuy%E1%BA%BFt" title="Thể loại:Khoa học máy tính lý thuyết – vietnamien" lang="vi" hreflang="vi" data-title="Thể loại:Khoa học máy tính lý thuyết" data-language-autonym="Tiếng Việt" data-language-local-name="vietnamien" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/Category:%E7%90%86%E8%AE%BA%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%A7%91%E5%AD%A6" title="Category:理论计算机科学 – chinois" lang="zh" hreflang="zh" data-title="Category:理论计算机科学" data-language-autonym="中文" data-language-local-name="chinois" 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/Q7153055#sitelinks-wikipedia" title="Modifier les liens interlangues" class="wbc-editpage">Modifier les liens</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="Espaces de noms"> <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/Cat%C3%A9gorie:Informatique_th%C3%A9orique" title="Voir la page de la catégorie [c]" accesskey="c"><span>Catégorie</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Discussion_cat%C3%A9gorie:Informatique_th%C3%A9orique" rel="discussion" title="Discussion au sujet de cette page de contenu [t]" accesskey="t"><span>Discussion</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="Modifier la variante de langue" > <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">français</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="Affichages"> <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/Cat%C3%A9gorie:Informatique_th%C3%A9orique"><span>Lire</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&veaction=edit" title="Modifier cette page [v]" accesskey="v"><span>Modifier</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&action=history" title="Historique des versions de cette page [h]" accesskey="h"><span>Voir l’historique</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Outils de la page"> <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="Outils" > <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">Outils</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">Outils</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">masquer</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Plus d’options" > <div class="vector-menu-heading"> Actions </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/Cat%C3%A9gorie:Informatique_th%C3%A9orique"><span>Lire</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&veaction=edit" title="Modifier cette page [v]" accesskey="v"><span>Modifier</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&action=history"><span>Voir l’historique</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Général </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_li%C3%A9es/Cat%C3%A9gorie:Informatique_th%C3%A9orique" title="Liste des pages liées qui pointent sur celle-ci [j]" accesskey="j"><span>Pages liées</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Suivi_des_liens/Cat%C3%A9gorie:Informatique_th%C3%A9orique" rel="nofollow" title="Liste des modifications récentes des pages appelées par celle-ci [k]" accesskey="k"><span>Suivi des pages liées</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Aide:Importer_un_fichier" title="Téléverser des fichiers [u]" accesskey="u"><span>Téléverser un fichier</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_sp%C3%A9ciales" title="Liste de toutes les pages spéciales [q]" accesskey="q"><span>Pages spéciales</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&oldid=119830780" title="Adresse permanente de cette version de cette page"><span>Lien permanent</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&action=info" title="Davantage d’informations sur cette page"><span>Informations sur la page</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:UrlShortener&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FCat%25C3%25A9gorie%3AInformatique_th%25C3%25A9orique"><span>Obtenir l'URL raccourcie</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:QrCode&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FCat%25C3%25A9gorie%3AInformatique_th%25C3%25A9orique"><span>Télécharger le code 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"> Imprimer / exporter </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Livre&bookcmd=book_creator&referer=Cat%C3%A9gorie%3AInformatique+th%C3%A9orique"><span>Créer un livre</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:DownloadAsPdf&page=Cat%C3%A9gorie%3AInformatique_th%C3%A9orique&action=show-download-screen"><span>Télécharger comme PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&printable=yes" title="Version imprimable de cette page [p]" accesskey="p"><span>Version imprimable</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"> Dans d’autres projets </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:Theoretical_computer_science" hreflang="en"><span>Wikimedia Commons</span></a></li><li class="wb-otherproject-link wb-otherproject-wikiversity mw-list-item"><a href="https://fr.wikiversity.org/wiki/Cat%C3%A9gorie:Informatique_th%C3%A9orique" hreflang="fr"><span>Wikiversité</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/Q7153055" title="Lien vers l’élément dans le dépôt de données connecté [g]" accesskey="g"><span>Élément Wikidata</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="Outils de la page"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Apparence"> <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">Apparence</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">masquer</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="/wiki/Aide:Cat%C3%A9gorie" target="_blank" class="mw-helplink"><span class="mw-helplink-icon"></span>Aide</a></div> </div> <div id="siteSub" class="noprint">Une page de Wikipédia, l'encyclopédie libre.</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-ltr mw-parser-output" lang="fr" dir="ltr"><table class="bandeau-categorie" width="100%" border="0" cellspacing="0" cellpadding="0" style="clear:both; margin:-0.5em 0 -0.5em 0; border:none; background-color:transparent; color:inherit; padding:0"> <tbody><tr valign="top"> <td width="50%"> <div class="cadre_portail" style="clear: both; margin: 0.5em 0 0.5em 0; border-width: 1px; border-style: solid; border-color:#AAAAAA; background-color: var(--couleur-fond-boite-grise, #f9f9f9); color: var(--color-emphasized, #000000); line-height: 1.25"> <table width="100%" rules="none" border="0" cellspacing="0" cellpadding="2" style=""> <tbody><tr> <td style="padding-right:3px"><span class="skin-invert-image" typeof="mw:File"><a href="/wiki/Fichier:Max-cut.svg" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/30px-Max-cut.svg.png" decoding="async" width="30" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/45px-Max-cut.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/60px-Max-cut.svg.png 2x" data-file-width="200" data-file-height="160" /></a></span></td> <td width="100%"><b><a href="/wiki/Sp%C3%A9cial:ArbreCat%C3%A9gorie/Informatique_th%C3%A9orique" title="Spécial:ArbreCatégorie/Informatique théorique">Arborescence de l'informatique théorique</a></b> <span class="plainlinks"><small><a rel="nofollow" class="external text" href="http://toolserver.org/~dapete/catgraph/graph.php?wiki=wikipedia&lang=fr&d=10&format=png&links=wiki&sub=0&cat=Informatique_th%C3%A9orique">↑</a> · <a rel="nofollow" class="external text" href="http://toolserver.org/~dapete/catgraph/graph.php?wiki=wikipedia&lang=fr&d=10&format=png&links=wiki&sub=1&cat=Informatique_th%C3%A9orique">↓</a></small></span><br /><div class="liste-horizontale" style="font-size: 0.83em; line-height: 1.2em; font-weight:bold;"> <ul><li><a class="mw-selflink selflink">Catégorie mère</a></li> <li><a href="/wiki/Projet:Informatique" title="Projet:Informatique">Projet</a></li> <li><a href="/wiki/Portail:Informatique_th%C3%A9orique" title="Portail:Informatique théorique">Portail</a></li> <li><a href="/wiki/Discussion_Projet:Informatique" title="Discussion Projet:Informatique">Café</a></li></ul> </div></td> </tr></tbody></table></div></td> <td width="8" style="padding-left:8px"></td> <td width="50%"><div class="cadre_portail" style="clear: both; margin: 0.5em 0 0.5em 0; border-width: 1px; border-style: solid; border-color:#AAAAAA; background-color: var(--couleur-fond-boite-grise, #f9f9f9); color: var(--color-emphasized, #000000); line-height: 1.25"> <table width="100%" rules="none" border="0" cellspacing="0" cellpadding="2" style=""> <tbody><tr> <td style="padding-right:3px"><span typeof="mw:File"><a href="/wiki/Fichier:Circle-icons-computer.svg" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/24px-Circle-icons-computer.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/36px-Circle-icons-computer.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/48px-Circle-icons-computer.svg.png 2x" data-file-width="512" data-file-height="512" /></a></span></td> <td width="100%"><b><a href="/wiki/Portail:Informatique/Arborescence" title="Portail:Informatique/Arborescence">Arborescence de l'informatique</a></b> <span class="plainlinks"><small><a rel="nofollow" class="external text" href="http://toolserver.org/~dapete/catgraph/graph.php?wiki=wikipedia&lang=fr&d=10&format=png&links=wiki&sub=0&cat=Informatique_th%C3%A9orique">↑</a> · <a rel="nofollow" class="external text" href="http://toolserver.org/~dapete/catgraph/graph.php?wiki=wikipedia&lang=fr&d=10&format=png&links=wiki&sub=1&cat=Informatique_th%C3%A9orique">↓</a></small></span><br /><div class="liste-horizontale" style="font-size: 0.83em; line-height: 1.2em; font-weight:bold;"> <ul><li><a href="/wiki/Cat%C3%A9gorie:Informatique" title="Catégorie:Informatique">Catégorie mère</a></li> <li><a href="/wiki/Projet:Informatique" title="Projet:Informatique">Projet</a></li> <li><a href="/wiki/Portail:Informatique" title="Portail:Informatique">Portail</a></li> <li><a href="/wiki/Discussion_Projet:Informatique" title="Discussion Projet:Informatique">Café</a></li></ul> </div></td> </tr></tbody></table></div></td> </tr> </tbody></table> <p>L'informatique en tant que <a href="/wiki/Science" title="Science">science</a> est tributaire de nombreux développements théoriques, certains relèvent purement des <a href="/wiki/Math%C3%A9matiques" title="Mathématiques">mathématiques</a> ou de la <a href="/wiki/Logique" title="Logique">logique</a>, d'autres sont spécifiques à l'<a href="/wiki/Informatique" title="Informatique">informatique</a>, mais tout aussi formels et rigoureux. </p> <div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css general">Article principal : <a href="/wiki/Informatique_th%C3%A9orique" title="Informatique théorique">Informatique théorique</a>.</div></div>    </div><div class="mw-category-generated" lang="fr" dir="ltr"><div id="mw-subcategories"> <h2>Sous-catégories</h2> <p>Cette catégorie comprend les 26 sous-catégories suivantes. </p> <div class="bandeau-container metadata bandeau-simple bandeau-niveau-neutre mw-toolbox categoryarticlecount-box"><div class="bandeau-cell bandeau-icone-css grosse-icone maintenance" style="display:table-cell;padding-right:0.5em"> <div class="CategoryTools liste-horizontale"><b>Outils :</b> <ul><li><a href="/wiki/Sp%C3%A9cial:ArbreCat%C3%A9gorie/Informatique_th%C3%A9orique" title="Spécial:ArbreCatégorie/Informatique théorique">Arborescence</a></li> <li><a class="external text" href="//vcat.toolforge.org/render?wiki=frwiki&category=Informatique_th%C3%A9orique">Graphique</a></li> <li><a href="/wiki/Sp%C3%A9cial:Recherche/incategory:%22Informatique_th%C3%A9orique%22" title="Spécial:Recherche/incategory:"Informatique théorique"">Recherche interne</a></li> <li><a rel="nofollow" class="external text" href="//petscan.wmflabs.org/?language=fr&project=wikipedia&depth=3&categories=Informatique_th%C3%A9orique&interface_language=fr">PetScan</a></li> <li><a href="/wiki/Sp%C3%A9cial:Suivi_des_liens/Cat%C3%A9gorie:Informatique_th%C3%A9orique" title="Spécial:Suivi des liens/Catégorie:Informatique théorique">Suivi</a></li></ul> </div> </div></div><div lang="fr" dir="ltr" class="mw-content-ltr"><div class="mw-category mw-category-columns"><div class="mw-category-group"><h3> </h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Wikip%C3%A9dia:%C3%A9bauche_informatique_th%C3%A9orique" title="Catégorie:Wikipédia:ébauche informatique théorique">Wikipédia:ébauche informatique théorique</a></bdi> <span title="contient 0 sous-catégorie, 94 pages et 0 fichier" dir="ltr">– 94 P</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="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Palette_Informatique_th%C3%A9orique" title="Catégorie:Palette Informatique théorique">Palette Informatique théorique</a></bdi> <span title="contient 0 sous-catégorie, 13 pages et 0 fichier" dir="ltr">– 13 P</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>A</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Algorithmique" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Algorithmique" title="Catégorie:Algorithmique">Algorithmique</a></bdi> <span title="contient 12 sous-catégories, 94 pages et 0 fichier" dir="ltr">– 94 P • 12 C</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="Arithmétique_binaire" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Arithm%C3%A9tique_binaire" title="Catégorie:Arithmétique binaire">Arithmétique binaire</a></bdi> <span title="contient 1 sous-catégorie, 8 pages et 0 fichier" dir="ltr">– 8 P • 1 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>C</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Calculabilité" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Calculabilit%C3%A9" title="Catégorie:Calculabilité">Calculabilité</a></bdi> <span title="contient 4 sous-catégories, 119 pages et 0 fichier" dir="ltr">– 119 P • 4 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Chercheur_en_informatique_th%C3%A9orique" title="Catégorie:Chercheur en informatique théorique">Chercheur en informatique théorique</a></bdi> <span title="contient 0 sous-catégorie, 15 pages et 0 fichier" dir="ltr">– 15 P</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Combinatoire_des_mots" title="Catégorie:Combinatoire des mots">Combinatoire des mots</a></bdi> <span title="contient 0 sous-catégorie, 59 pages et 0 fichier" dir="ltr">– 59 P</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Conf%C3%A9rence_en_informatique_th%C3%A9orique" title="Catégorie:Conférence en informatique théorique">Conférence en informatique théorique</a></bdi> <span title="contient 0 sous-catégorie, 28 pages et 0 fichier" dir="ltr">– 28 P</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>I</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Intelligence_ambiante" title="Catégorie:Intelligence ambiante">Intelligence ambiante</a></bdi> <span title="contient 0 sous-catégorie, 6 pages et 0 fichier" dir="ltr">– 6 P</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="Intelligence_artificielle" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Intelligence_artificielle" title="Catégorie:Intelligence artificielle">Intelligence artificielle</a></bdi> <span title="contient 21 sous-catégories, 332 pages et 0 fichier" dir="ltr">– 332 P • 21 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>L</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Langage_formel" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Langage_formel" title="Catégorie:Langage formel">Langage formel</a></bdi> <span title="contient 1 sous-catégorie, 113 pages et 0 fichier" dir="ltr">– 113 P • 1 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>M</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Méthode_formelle" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:M%C3%A9thode_formelle" title="Catégorie:Méthode formelle">Méthode formelle</a></bdi> <span title="contient 6 sous-catégories, 78 pages et 0 fichier" dir="ltr">– 78 P • 6 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Mod%C3%A8le_de_s%C3%A9curit%C3%A9_informatique" title="Catégorie:Modèle de sécurité informatique">Modèle de sécurité informatique</a></bdi> <span title="contient 0 sous-catégorie, 18 pages et 0 fichier" dir="ltr">– 18 P</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Mod%C3%A8les_de_calcul" title="Catégorie:Modèles de calcul">Modèles de calcul</a></bdi> <span title="contient 0 sous-catégorie, 18 pages et 0 fichier" dir="ltr">– 18 P</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="Modélisation_des_données" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Mod%C3%A9lisation_des_donn%C3%A9es" title="Catégorie:Modélisation des données">Modélisation des données</a></bdi> <span title="contient 1 sous-catégorie, 60 pages et 0 fichier" dir="ltr">– 60 P • 1 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>O</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Ontologie_(informatique)" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Ontologie_(informatique)" title="Catégorie:Ontologie (informatique)">Ontologie (informatique)</a></bdi> <span title="contient 1 sous-catégorie, 32 pages et 0 fichier" dir="ltr">– 32 P • 1 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>P</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Personnalité_en_informatique_théorique" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Personnalit%C3%A9_en_informatique_th%C3%A9orique" title="Catégorie:Personnalité en informatique théorique">Personnalité en informatique théorique</a></bdi> <span title="contient 5 sous-catégories, 172 pages et 0 fichier" dir="ltr">– 172 P • 5 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>R</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:R%C3%A9%C3%A9criture" title="Catégorie:Réécriture">Réécriture</a></bdi> <span title="contient 0 sous-catégorie, 14 pages et 0 fichier" dir="ltr">– 14 P</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>T</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Théorème_d'informatique" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9or%C3%A8me_d%27informatique" title="Catégorie:Théorème d'informatique">Théorème d'informatique</a></bdi> <span title="contient 1 sous-catégorie, 29 pages et 0 fichier" dir="ltr">– 29 P • 1 C</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="Théorie_de_l'information" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9orie_de_l%27information" title="Catégorie:Théorie de l'information">Théorie de l'information</a></bdi> <span title="contient 6 sous-catégories, 85 pages et 0 fichier" dir="ltr">– 85 P • 6 C</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="Théorie_de_la_complexité_des_algorithmes" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9orie_de_la_complexit%C3%A9_des_algorithmes" title="Catégorie:Théorie de la complexité des algorithmes">Théorie de la complexité des algorithmes</a></bdi> <span title="contient 5 sous-catégories, 64 pages et 0 fichier" dir="ltr">– 64 P • 5 C</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="Théorie_des_automates" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9orie_des_automates" title="Catégorie:Théorie des automates">Théorie des automates</a></bdi> <span title="contient 2 sous-catégories, 67 pages et 0 fichier" dir="ltr">– 67 P • 2 C</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="Théorie_des_graphes" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9orie_des_graphes" title="Catégorie:Théorie des graphes">Théorie des graphes</a></bdi> <span title="contient 15 sous-catégories, 92 pages et 0 fichier" dir="ltr">– 92 P • 15 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9orie_des_types" title="Catégorie:Théorie des types">Théorie des types</a></bdi> <span title="contient 0 sous-catégorie, 76 pages et 0 fichier" dir="ltr">– 76 P</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="Théorie_des_ordres" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9orie_des_ordres" title="Catégorie:Théorie des ordres">Théorie des ordres</a></bdi> <span title="contient 3 sous-catégories, 71 pages et 0 fichier" dir="ltr">– 71 P • 3 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>V</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Vie_artificielle" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Vie_artificielle" title="Catégorie:Vie artificielle">Vie artificielle</a></bdi> <span title="contient 3 sous-catégories, 15 pages et 0 fichier" dir="ltr">– 15 P • 3 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div></div></div> </div><div id="mw-pages"> <h2>Pages dans la catégorie « Informatique théorique »</h2> <p>Cette catégorie contient les 128 pages suivantes. </p> <div class="bandeau-container metadata bandeau-simple bandeau-niveau-neutre mw-toolbox categoryarticlecount-box"><div class="bandeau-cell bandeau-icone-css grosse-icone maintenance" style="display:table-cell;padding-right:0.5em"> <div class="CategoryTools liste-horizontale"><b>Outils :</b> <ul><li><a href="/wiki/Sp%C3%A9cial:ArbreCat%C3%A9gorie/Informatique_th%C3%A9orique" title="Spécial:ArbreCatégorie/Informatique théorique">Arborescence</a></li> <li><a class="external text" href="//vcat.toolforge.org/render?wiki=frwiki&category=Informatique_th%C3%A9orique">Graphique</a></li> <li><a href="/wiki/Sp%C3%A9cial:Recherche/incategory:%22Informatique_th%C3%A9orique%22" title="Spécial:Recherche/incategory:"Informatique théorique"">Recherche interne</a></li> <li><a rel="nofollow" class="external text" href="//petscan.wmflabs.org/?language=fr&project=wikipedia&depth=3&categories=Informatique_th%C3%A9orique&interface_language=fr">PetScan</a></li> <li><a href="/wiki/Sp%C3%A9cial:Suivi_des_liens/Cat%C3%A9gorie:Informatique_th%C3%A9orique" title="Spécial:Suivi des liens/Catégorie:Informatique théorique">Suivi</a></li></ul> </div> </div></div><div lang="fr" dir="ltr" class="mw-content-ltr"><div class="mw-category mw-category-columns"><div class="mw-category-group"><h3>*</h3> <ul><li><a href="/wiki/Informatique_th%C3%A9orique" title="Informatique théorique">Informatique théorique</a></li></ul></div><div class="mw-category-group"><h3>A</h3> <ul><li><a href="/wiki/Alg%C3%A8bre_de_processus" title="Algèbre de processus">Algèbre de processus</a></li> <li><a href="/wiki/Algorithme_%C3%A9mergent" title="Algorithme émergent">Algorithme émergent</a></li> <li><a href="/wiki/Analyse_de_la_complexit%C3%A9_des_algorithmes" title="Analyse de la complexité des algorithmes">Analyse de la complexité des algorithmes</a></li> <li><a href="/wiki/Anti-unification" title="Anti-unification">Anti-unification</a></li> <li><a href="/wiki/Arit%C3%A9" title="Arité">Arité</a></li></ul></div><div class="mw-category-group"><h3>B</h3> <ul><li><a href="/wiki/Bisimulation" title="Bisimulation">Bisimulation</a></li></ul></div><div class="mw-category-group"><h3>C</h3> <ul><li><a href="/wiki/Carte_combinatoire" title="Carte combinatoire">Carte combinatoire</a></li> <li><a href="/wiki/Code_(information)" title="Code (information)">Code (information)</a></li> <li><a href="/wiki/Coinduction" title="Coinduction">Coinduction</a></li> <li><a href="/wiki/Complexit%C3%A9" title="Complexité">Complexité</a></li> <li><a href="/wiki/Complexit%C3%A9_de_Kolmogorov" title="Complexité de Kolmogorov">Complexité de Kolmogorov</a></li> <li><a href="/wiki/Complexit%C3%A9_de_la_communication" title="Complexité de la communication">Complexité de la communication</a></li> <li><a href="/wiki/Complexit%C3%A9_de_Lempel-Ziv" title="Complexité de Lempel-Ziv">Complexité de Lempel-Ziv</a></li> <li><a href="/wiki/Complexit%C3%A9_des_preuves" title="Complexité des preuves">Complexité des preuves</a></li> <li><a href="/wiki/Complexit%C3%A9_g%C3%A9n%C3%A9rique_des_algorithmes" title="Complexité générique des algorithmes">Complexité générique des algorithmes</a></li> <li><span class="redirect-in-category"><a href="/wiki/Complexit%C3%A9_pseudo-polynomiale" class="mw-redirect" title="Complexité pseudo-polynomiale">Complexité pseudo-polynomiale</a></span></li> <li><a href="/wiki/Computability_in_Europe" title="Computability in Europe">Computability in Europe</a></li> <li><a href="/wiki/Confluence_(informatique)" title="Confluence (informatique)">Confluence (informatique)</a></li> <li><a href="/wiki/Congruence_de_Simon" title="Congruence de Simon">Congruence de Simon</a></li> <li><a href="/wiki/Conjecture_d%27Ehrenfeucht" title="Conjecture d'Ehrenfeucht">Conjecture d'Ehrenfeucht</a></li> <li><a href="/wiki/Construction_par_sous-ensembles" title="Construction par sous-ensembles">Construction par sous-ensembles</a></li> <li><a href="/wiki/Continuation_(informatique)" title="Continuation (informatique)">Continuation (informatique)</a></li> <li><a href="/wiki/Correction_d%27un_algorithme" title="Correction d'un algorithme">Correction d'un algorithme</a></li></ul></div><div class="mw-category-group"><h3>D</h3> <ul><li><a href="/wiki/D%C3%A9ployeur_universel" title="Déployeur universel">Déployeur universel</a></li> <li><a href="/wiki/Diophantien" title="Diophantien">Diophantien</a></li> <li><a href="/wiki/Discrete_Event_System_Specification" title="Discrete Event System Specification">Discrete Event System Specification</a></li> <li><a href="/wiki/Dixi%C3%A8me_probl%C3%A8me_de_Hilbert" title="Dixième problème de Hilbert">Dixième problème de Hilbert</a></li></ul></div><div class="mw-category-group"><h3>E</h3> <ul><li><a href="/wiki/%C3%89cole_d%27%C3%A9t%C3%A9_de_Marktoberdorf" title="École d'été de Marktoberdorf">École d'été de Marktoberdorf</a></li> <li><a href="/wiki/%C3%89conomie_d%27%C3%A9nergie_d%27un_programme_informatique" title="Économie d'énergie d'un programme informatique">Économie d'énergie d'un programme informatique</a></li> <li><a href="/wiki/Encodage_one-hot" title="Encodage one-hot">Encodage one-hot</a></li> <li><a href="/wiki/%C3%89pist%C3%A9mologie_de_l%27informatique" title="Épistémologie de l'informatique">Épistémologie de l'informatique</a></li> <li><a href="/wiki/European_Association_for_Theoretical_Computer_Science" title="European Association for Theoretical Computer Science">European Association for Theoretical Computer Science</a></li></ul></div><div class="mw-category-group"><h3>F</h3> <ul><li><a href="/wiki/Feature_model" title="Feature model">Feature model</a></li> <li><a href="/wiki/F%C3%A9d%C3%A9ration_de_recherche_en_math%C3%A9matiques_de_Paris_centre" title="Fédération de recherche en mathématiques de Paris centre">Fédération de recherche en mathématiques de Paris centre</a></li> <li><a href="/wiki/Fonction_d%C3%A9terministe" title="Fonction déterministe">Fonction déterministe</a></li> <li><a href="/wiki/Fonction_pseudo-al%C3%A9atoire" title="Fonction pseudo-aléatoire">Fonction pseudo-aléatoire</a></li> <li><a href="/wiki/Fundamenta_Informaticae" title="Fundamenta Informaticae">Fundamenta Informaticae</a></li></ul></div><div class="mw-category-group"><h3>G</h3> <ul><li><a href="/wiki/Gadget_(informatique)" title="Gadget (informatique)">Gadget (informatique)</a></li> <li><a href="/wiki/Grammaire_contextuelle" title="Grammaire contextuelle">Grammaire contextuelle</a></li> <li><a href="/wiki/Grammaire_lin%C3%A9aire" title="Grammaire linéaire">Grammaire linéaire</a></li></ul></div><div class="mw-category-group"><h3>H</h3> <ul><li><a href="/wiki/Hypoth%C3%A8se_de_la_vari%C3%A9t%C3%A9" title="Hypothèse de la variété">Hypothèse de la variété</a></li></ul></div><div class="mw-category-group"><h3>I</h3> <ul><li><a href="/wiki/IEEE_Transactions_on_Neural_Networks_and_Learning_Systems" title="IEEE Transactions on Neural Networks and Learning Systems">IEEE Transactions on Neural Networks and Learning Systems</a></li> <li><a href="/wiki/Information_partielle_lin%C3%A9aire" title="Information partielle linéaire">Information partielle linéaire</a></li> <li><a href="/wiki/Informatique_naturelle" title="Informatique naturelle">Informatique naturelle</a></li> <li><a href="/wiki/Interpr%C3%A9tation_abstraite" title="Interprétation abstraite">Interprétation abstraite</a></li></ul></div><div class="mw-category-group"><h3>J</h3> <ul><li><a href="/wiki/Join-Calcul" title="Join-Calcul">Join-Calcul</a></li> <li><a href="/wiki/Journal_of_Automata,_Languages_and_Combinatorics" title="Journal of Automata, Languages and Combinatorics">Journal of Automata, Languages and Combinatorics</a></li></ul></div><div class="mw-category-group"><h3>L</h3> <ul><li><a href="/wiki/Langage_congruentiel" title="Langage congruentiel">Langage congruentiel</a></li> <li><a href="/wiki/Langage_creux" title="Langage creux">Langage creux</a></li> <li><a href="/wiki/Lemme_local_de_Lov%C3%A1sz" title="Lemme local de Lovász">Lemme local de Lovász</a></li> <li><a href="/wiki/Limite_de_Bekenstein" title="Limite de Bekenstein">Limite de Bekenstein</a></li> <li><a href="/wiki/Linguistique_informatique" title="Linguistique informatique">Linguistique informatique</a></li> <li><a href="/wiki/Liste_de_publications_importantes_en_informatique_th%C3%A9orique" title="Liste de publications importantes en informatique théorique">Liste de publications importantes en informatique théorique</a></li> <li><a href="/wiki/Logique_combinatoire" title="Logique combinatoire">Logique combinatoire</a></li> <li><a href="/wiki/Logique_de_description" title="Logique de description">Logique de description</a></li> <li><a href="/wiki/Logique_monadique_du_second_ordre" title="Logique monadique du second ordre">Logique monadique du second ordre</a></li> <li><a href="/wiki/Loi_d%27Amdahl" title="Loi d'Amdahl">Loi d'Amdahl</a></li> <li><a href="/wiki/Loi_de_Grosch" title="Loi de Grosch">Loi de Grosch</a></li> <li><a href="/wiki/Loi_de_Gustafson" title="Loi de Gustafson">Loi de Gustafson</a></li></ul></div><div class="mw-category-group"><h3>M</h3> <ul><li><a href="/wiki/Machine_%C3%A0_%C3%A9tat_liquide" title="Machine à état liquide">Machine à état liquide</a></li> <li><a href="/wiki/Machine_%C3%A0_%C3%A9tats_abstraits" title="Machine à états abstraits">Machine à états abstraits</a></li> <li><a href="/wiki/M%C3%A9moire_temporelle_et_hi%C3%A9rarchique" title="Mémoire temporelle et hiérarchique">Mémoire temporelle et hiérarchique</a></li> <li><a href="/wiki/Mod%C3%A8le_(informatique)" title="Modèle (informatique)">Modèle (informatique)</a></li> <li><a href="/wiki/Mod%C3%A8le_bool%C3%A9en" title="Modèle booléen">Modèle booléen</a></li> <li><a href="/wiki/Mod%C3%A8le_des_croyances_transf%C3%A9rables" title="Modèle des croyances transférables">Modèle des croyances transférables</a></li> <li><a href="/wiki/Mod%C3%A8le_LogP_(Informatique)" title="Modèle LogP (Informatique)">Modèle LogP (Informatique)</a></li> <li><a href="/wiki/Mod%C3%A8le_probabiliste_de_pertinence" title="Modèle probabiliste de pertinence">Modèle probabiliste de pertinence</a></li> <li><a href="/wiki/Mod%C3%A8le_vectoriel" title="Modèle vectoriel">Modèle vectoriel</a></li> <li><a href="/wiki/Calculs_en_nombres_r%C3%A9els" title="Calculs en nombres réels">Calculs en nombres réels</a></li> <li><a href="/wiki/Mod%C3%A9lisation_d%27entreprise" title="Modélisation d'entreprise">Modélisation d'entreprise</a></li> <li><a href="/wiki/Monade_(informatique)" title="Monade (informatique)">Monade (informatique)</a></li> <li><a href="/wiki/Mot_sans_facteur_carr%C3%A9" title="Mot sans facteur carré">Mot sans facteur carré</a></li> <li><a href="/wiki/Motif_in%C3%A9vitable" title="Motif inévitable">Motif inévitable</a></li> <li><a href="/wiki/Mu-calcul" title="Mu-calcul">Mu-calcul</a></li></ul></div><div class="mw-category-group"><h3>N</h3> <ul><li><a href="/wiki/Neural_Computation" title="Neural Computation">Neural Computation</a></li> <li><a href="/wiki/Nombre_cyclomatique" title="Nombre cyclomatique">Nombre cyclomatique</a></li></ul></div><div class="mw-category-group"><h3>O</h3> <ul><li><a href="/wiki/Optimisation_lin%C3%A9aire_en_nombres_entiers" title="Optimisation linéaire en nombres entiers">Optimisation linéaire en nombres entiers</a></li> <li><a href="/wiki/Ordinateur_trou_noir" title="Ordinateur trou noir">Ordinateur trou noir</a></li> <li><a href="/wiki/Ordre_partiel_complet" title="Ordre partiel complet">Ordre partiel complet</a></li></ul></div><div class="mw-category-group"><h3>P</h3> <ul><li><a href="/wiki/Physique_num%C3%A9rique_(th%C3%A9orique)" title="Physique numérique (théorique)">Physique numérique (théorique)</a></li> <li><a href="/wiki/Pr%C3%A9ordre_de_simulation" title="Préordre de simulation">Préordre de simulation</a></li> <li><a href="/wiki/Preuves,_Programmes_et_Syst%C3%A8mes" title="Preuves, Programmes et Systèmes">Preuves, Programmes et Systèmes</a></li> <li><a href="/wiki/Prix_Donald_E._Knuth" title="Prix Donald E. Knuth">Prix Donald E. Knuth</a></li> <li><a href="/wiki/Prix_EATCS" title="Prix EATCS">Prix EATCS</a></li> <li><a href="/wiki/Prix_G%C3%B6del" title="Prix Gödel">Prix Gödel</a></li> <li><a href="/wiki/Probl%C3%A8me_algorithmique" title="Problème algorithmique">Problème algorithmique</a></li> <li><a href="/wiki/Probl%C3%A8me_de_satisfaction_de_contraintes" title="Problème de satisfaction de contraintes">Problème de satisfaction de contraintes</a></li> <li><a href="/wiki/Probl%C3%A8me_des_matrices_mortelles" title="Problème des matrices mortelles">Problème des matrices mortelles</a></li> <li><a href="/wiki/Programmation_g%C3%A9n%C3%A9tique" title="Programmation génétique">Programmation génétique</a></li> <li><a href="/wiki/Propri%C3%A9t%C3%A9_de_Church-Rosser" title="Propriété de Church-Rosser">Propriété de Church-Rosser</a></li></ul></div><div class="mw-category-group"><h3>R</h3> <ul><li><a href="/wiki/Recherche_d%27information" title="Recherche d'information">Recherche d'information</a></li> <li><a href="/wiki/R%C3%A9%C3%A9criture_(informatique)" title="Réécriture (informatique)">Réécriture (informatique)</a></li> <li><a href="/wiki/R%C3%A9p%C3%A9tition_in%C3%A9vitable" title="Répétition inévitable">Répétition inévitable</a></li> <li><a href="/wiki/R%C3%A9seau_de_neurones_artificiels" title="Réseau de neurones artificiels">Réseau de neurones artificiels</a></li> <li><a href="/wiki/Codage_parcimonieux" title="Codage parcimonieux">Codage parcimonieux</a></li> <li><a href="/wiki/Gaz_neuronal" title="Gaz neuronal">Gaz neuronal</a></li> <li><a href="/wiki/Machine_de_Boltzmann_restreinte" title="Machine de Boltzmann restreinte">Machine de Boltzmann restreinte</a></li> <li><a href="/wiki/Retour_de_pertinence" title="Retour de pertinence">Retour de pertinence</a></li></ul></div><div class="mw-category-group"><h3>S</h3> <ul><li><a href="/wiki/S%C3%A9mantique_axiomatique" title="Sémantique axiomatique">Sémantique axiomatique</a></li> <li><a href="/wiki/S%C3%A9mantique_d%C3%A9notationnelle" title="Sémantique dénotationnelle">Sémantique dénotationnelle</a></li> <li><a href="/wiki/S%C3%A9mantique_des_langages_de_programmation" title="Sémantique des langages de programmation">Sémantique des langages de programmation</a></li> <li><a href="/wiki/S%C3%A9mantique_op%C3%A9rationnelle" title="Sémantique opérationnelle">Sémantique opérationnelle</a></li> <li><a href="/wiki/Sesquipuissance" title="Sesquipuissance">Sesquipuissance</a></li> <li><a href="/wiki/Special_Interest_Group_on_Algorithms_and_Computation_Theory" title="Special Interest Group on Algorithms and Computation Theory">Special Interest Group on Algorithms and Computation Theory</a></li> <li><a href="/wiki/Suite_de_pliage_de_papier" title="Suite de pliage de papier">Suite de pliage de papier</a></li> <li><a href="/wiki/Suite_de_Rudin-Shapiro" title="Suite de Rudin-Shapiro">Suite de Rudin-Shapiro</a></li> <li><a href="/wiki/Syntaxe_transcendantale" title="Syntaxe transcendantale">Syntaxe transcendantale</a></li> <li><a href="/wiki/Syst%C3%A8me_complexe" title="Système complexe">Système complexe</a></li> <li><a href="/wiki/Syst%C3%A8me_d%27%C3%A9v%C3%A9nement_discret" title="Système d'événement discret">Système d'événement discret</a></li> <li><a href="/wiki/Syst%C3%A8me_de_tague" title="Système de tague">Système de tague</a></li></ul></div><div class="mw-category-group"><h3>T</h3> <ul><li><a href="/wiki/Table_de_transition_d%27%C3%A9tat" title="Table de transition d'état">Table de transition d'état</a></li> <li><a href="/wiki/Terme_(logique)" title="Terme (logique)">Terme (logique)</a></li> <li><a href="/wiki/Terminaison_d%27un_algorithme" title="Terminaison d'un algorithme">Terminaison d'un algorithme</a></li> <li><a href="/wiki/Terminaison_d%27un_syst%C3%A8me_de_r%C3%A9%C3%A9criture" title="Terminaison d'un système de réécriture">Terminaison d'un système de réécriture</a></li> <li><a href="/wiki/Test_de_propri%C3%A9t%C3%A9" title="Test de propriété">Test de propriété</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_Cobham" title="Théorème de Cobham">Théorème de Cobham</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_Dejean" title="Théorème de Dejean">Théorème de Dejean</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_Mahaney" title="Théorème de Mahaney">Théorème de Mahaney</a></li> <li><a href="/wiki/Th%C3%A9orie_algorithmique_des_jeux" title="Théorie algorithmique des jeux">Théorie algorithmique des jeux</a></li> <li><a href="/wiki/Complexit%C3%A9_implicite" title="Complexité implicite">Complexité implicite</a></li> <li><a href="/wiki/Th%C3%A9orie_de_la_complexit%C3%A9_(informatique_th%C3%A9orique)" title="Théorie de la complexité (informatique théorique)">Théorie de la complexité (informatique théorique)</a></li> <li><a href="/wiki/Th%C3%A9orie_des_automates" title="Théorie des automates">Théorie des automates</a></li> <li><a href="/wiki/Th%C3%A9orie_des_domaines" title="Théorie des domaines">Théorie des domaines</a></li></ul></div><div class="mw-category-group"><h3>U</h3> <ul><li><a href="/wiki/U-matrix" title="U-matrix">U-matrix</a></li> <li><a href="/wiki/Unification" title="Unification">Unification</a></li></ul></div><div class="mw-category-group"><h3>V</h3> <ul><li><a href="/wiki/Th%C3%A9orie_de_Vapnik-Chervonenkis" title="Théorie de Vapnik-Chervonenkis">Théorie de Vapnik-Chervonenkis</a></li> <li><a href="/wiki/Variable_libre" title="Variable libre">Variable libre</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="">Ce document provient de « <a dir="ltr" href="https://fr.wikipedia.org/w/index.php?title=Catégorie:Informatique_théorique&oldid=119830780">https://fr.wikipedia.org/w/index.php?title=Catégorie:Informatique_théorique&oldid=119830780</a> ».</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Cat%C3%A9gorie:Accueil" title="Catégorie:Accueil">Catégories</a> : <ul><li><a href="/wiki/Cat%C3%A9gorie:Informatique" title="Catégorie:Informatique">Informatique</a></li><li><a href="/wiki/Cat%C3%A9gorie:Science_th%C3%A9orique" title="Catégorie:Science théorique">Science théorique</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-ns-shown">Catégorie cachée : <ul><li><a href="/wiki/Cat%C3%A9gorie:Projet:Technologies/Cat%C3%A9gories_li%C3%A9es" title="Catégorie:Projet:Technologies/Catégories liées">Projet:Technologies/Catégories liées</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"> La dernière modification de cette page a été faite le 25 octobre 2015 à 13:27.</li> <li id="footer-info-copyright"><span style="white-space: normal"><a href="/wiki/Wikip%C3%A9dia:Citation_et_r%C3%A9utilisation_du_contenu_de_Wikip%C3%A9dia" title="Wikipédia:Citation et réutilisation du contenu de Wikipédia">Droit d'auteur</a> : les textes sont disponibles sous <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">licence Creative Commons attribution, partage dans les mêmes conditions</a> ; d’autres conditions peuvent s’appliquer. Voyez les <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Terms_of_Use/fr">conditions d’utilisation</a> pour plus de détails, ainsi que les <a href="/wiki/Wikip%C3%A9dia:Cr%C3%A9dits_graphiques" title="Wikipédia:Crédits graphiques">crédits graphiques</a>. <br /> Wikipedia® est une marque déposée de la <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, organisation de bienfaisance régie par le paragraphe <a href="/wiki/501c" title="501c">501(c)(3)</a> du code fiscal des États-Unis.</span><br /></li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/fr">Politique de confidentialité</a></li> <li id="footer-places-about"><a href="/wiki/Wikip%C3%A9dia:%C3%80_propos_de_Wikip%C3%A9dia">À propos de Wikipédia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikip%C3%A9dia:Avertissements_g%C3%A9n%C3%A9raux">Avertissements</a></li> <li id="footer-places-contact"><a href="//fr.wikipedia.org/wiki/Wikipédia:Contact">Contact</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code de conduite</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Développeurs</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/fr.wikipedia.org">Statistiques</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Déclaration sur les témoins (cookies)</a></li> <li id="footer-places-mobileview"><a href="//fr.m.wikipedia.org/w/index.php?title=Cat%C3%A9gorie:Informatique_th%C3%A9orique&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Version mobile</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-gxw57","wgBackendResponseTime":337,"wgPageParseReport":{"limitreport":{"cputime":"0.037","walltime":"0.052","ppvisitednodes":{"value":200,"limit":1000000},"postexpandincludesize":{"value":17317,"limit":2097152},"templateargumentsize":{"value":1799,"limit":2097152},"expansiondepth":{"value":11,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":0,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 35.324 1 -total"," 61.36% 21.675 1 Modèle:Article_principal"," 57.53% 20.321 1 Modèle:Méta_bandeau_de_section"," 38.51% 13.602 1 Modèle:Multi_bandeau"," 24.26% 8.569 1 Modèle:Catégorie_informatique_théorique"," 14.73% 5.204 2 Modèle:Méta_lien_catégories"," 7.75% 2.739 1 Modèle:Catégorie_informatique"," 4.64% 1.639 2 Modèle:Liste_horizontale"," 3.83% 1.353 2 Modèle:CGraph"]},"scribunto":{"limitreport-timeusage":{"value":"0.006","limit":"10.000"},"limitreport-memusage":{"value":633236,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-84d8f4b96-hrdws","timestamp":"20241115051000","ttl":2592000,"transientcontent":false}}});});</script> </body> </html>