About: dbpedia-fr:Théorie_de_la

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Théorie_de_la_calculabilité Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Berechenbarkeitstheorie (de) Konputagarritasunaren teoria (eu) Teoria de la computabilitat (ca) Teoría de la computabilidad (es) Théorie de la calculabilité (fr) Теорія обчислюваності (uk) 計算可能性理論 (ja)
rdfs:comment	La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique. La calculabilité (parfois appelée « computationnalité »[réf. nécessaire], de l'anglais computability) cherche d'une part à identifier la classe des fonctions qui peuvent être calculées à l'aide d'un algorithme et d'autre part à appliquer ces concepts à des questions fondamentales des mathématiques. Une bonne appréhension de ce qui est calculable et de ce qui ne l'est pas permet de voir les limites des problèmes que peuvent résoudre les ordinateurs. (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Computer_science https://www.jstor.org/topic/recursion-theory https://www.quora.com/topic/Computability-Theory-computer-science https://www.zhihu.com/topic/19734535 http://psh.ntkcz.cz/skos/PSH6607
sameAs	dbr:Computability_theory wikidata:Q818930 dbpedia-ar:نظرية_الحاسوبية http://as.dbpedia.org/resource/কম্পিউটেবিলিটি_থিয়ৰী http://ast.dbpedia.org/resource/Teoría_de_la_computabilidá dbpedia-bg:Изчислителна_теория http://bn.dbpedia.org/resource/পরিগণনীয়তা_তত্ত্ব_(কম্পিউটার_বিজ্ঞান) dbpedia-ca:Teoria_de_la_computabilitat dbpedia-cs:Teorie_vyčíslitelnosti http://cv.dbpedia.org/resource/Шутланаяслăх_теорийĕ dbpedia-da:Beregnelighed dbpedia-de:Berechenbarkeitstheorie dbpedia-el:Θεωρία_υπολογισιμότητας dbpedia-es:Teoría_de_la_computabilidad dbpedia-eu:Konputagarritasunaren_teoria dbpedia-fa:نظریه_رایانش‌پذیری dbpedia-gl:Teoría_da_computabilidade dbpedia-he:תורת_הרקורסיה dbpedia-hr:Teorija_izračunljivosti_(računarstvo) dbpedia-it:Teoria_della_calcolabilità dbpedia-ja:計算可能性理論 dbpedia-ko:계산_가능성_이론 dbpedia-la:Theoria_facultatis_calculandi http://my.dbpedia.org/resource/တွက်ချက်နိုင်စွမ်းသီအိုရီ dbpedia-pl:Teoria_obliczalności dbpedia-pt:Teoria_da_computabilidade dbpedia-ro:Teoria_calculabilității dbpedia-ru:Теория_вычислимости dbpedia-sh:Teorija_izračunljivosti_(računarstvo) dbpedia-simple:Computability_theory dbpedia-sk:Teória_vypočítateľnosti dbpedia-sr:Теорија_израчунљивости_(рачунарство) dbpedia-sv:Beräkningsteori dbpedia-th:ทฤษฎีการคำนวณได้ http://tl.dbpedia.org/resource/Teorya_ng_komputabilidad dbpedia-tr:Hesaplanabilirlik_teorisi dbpedia-uk:Теорія_обчислюваності dbpedia-vi:Lý_thuyết_tính_toán dbpedia-zh:可计算性理论 http://g.co/kg/m/014c37 http://ma-graph.org/entity/111142201 http://msc2010.org/resources/MSC/2010/03Dxx http://babelnet.org/rdf/s00775789n
Wikipage page ID	70110 (xsd:integer)
Wikipage revision ID	191428025 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Ada_Lovelace Alan Turing Algorithm Recursion (computer science) Algorithmics Alonzo Church dbpedia-fr:Antiquité dbpedia-fr:Argument_de_la_diagonale_de_Cantor Association for Symbolic Logic dbpedia-fr:Automate_cellulaire Blaise Pascal Bulletin de la Société Mathématique de France First-order logic Computer (occupation) Mechanical calculator Busy beaver category-fr:Calculabilité category-fr:Logique_mathématique dbpedia-fr:Charles_Babbage Boolean circuit Gödel numbering Computability in Europe Computational theory of mind International Congress of Mathematicians dbpedia-fr:Crise_des_fondements dbpedia-fr:David_Hilbert Hilbert's tenth problem dbpedia-fr:Décidabilité Gear Countable set Computable function Partial function General recursive function Foundations of mathematics dbpedia-fr:Georg_Cantor dbpedia-fr:George_Boolos Gregory Chaitin History of mathematics Arithmetical hierarchy Theoretical computer science dbpedia-fr:John_P._Burgess dbpedia-fr:Joseph_Marie_Jacquard

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 11 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software