This HTML5 document contains 191 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-dahttp://da.dbpedia.org/resource/
n60http://bn.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
n38https://www.zhihu.com/topic/
n18http://www.labri.fr/perso/anca/MC/
dbpedia-bghttp://bg.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-hrhttp://hr.dbpedia.org/resource/
dbpedia-shhttp://sh.dbpedia.org/resource/
n14http://my.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
n10http://fr.dbpedia.org/resource/Modèle:
dbpedia-hehttp://he.dbpedia.org/resource/
n8http://msc2010.org/resources/MSC/2010/
n19http://tl.dbpedia.org/resource/
n44http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-cshttp://cs.dbpedia.org/resource/
n63http://g.co/kg/m/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n41http://as.dbpedia.org/resource/
n21http://babelnet.org/rdf/
dbpedia-euhttp://eu.dbpedia.org/resource/
n62http://fr.dbpedia.org/resource/Fichier:
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
n28http://ma-graph.org/entity/
dbpedia-lahttp://la.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-thhttp://th.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n16http://cv.dbpedia.org/resource/
n4https://www.quora.com/topic/
n30https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
n59http://ast.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n39https://www.jstor.org/topic/
dbpedia-simplehttp://simple.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n11http://psh.ntkcz.cz/skos/
dbpedia-kohttp://ko.dbpedia.org/resource/
n23http://www.numdam.org/article/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-glhttp://gl.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Théorie_de_la_calculabilité
rdfs:label
Berechenbarkeitstheorie Teoria de la computabilitat Теорія обчислюваності Teoría de la computabilidad Théorie de la calculabilité 計算可能性理論 Konputagarritasunaren teoria
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.
rdfs:seeAlso
n4:Computability-Theory-computer-science n11:PSH6607 n30:Computer_science n38:19734535 n39:recursion-theory
owl:sameAs
n8:03Dxx dbpedia-sh:Teorija_izračunljivosti_(računarstvo) dbpedia-ja:計算可能性理論 dbpedia-fa:نظریه_رایانش‌پذیری n14:တွက်ချက်နိုင်စွမ်းသီအိုရီ dbpedia-sr:Теорија_израчунљивости_(рачунарство) n16:Шутланаяслăх_теорийĕ dbpedia-sk:Teória_vypočítateľnosti n19:Teorya_ng_komputabilidad dbpedia-la:Theoria_facultatis_calculandi n21:s00775789n dbpedia-tr:Hesaplanabilirlik_teorisi dbpedia-cs:Teorie_vyčíslitelnosti dbpedia-da:Beregnelighed n28:111142201 dbpedia-pt:Teoria_da_computabilidade dbpedia-eu:Konputagarritasunaren_teoria dbpedia-es:Teoría_de_la_computabilidad dbpedia-he:תורת_הרקורסיה dbpedia-it:Teoria_della_calcolabilità dbr:Computability_theory wikidata:Q818930 dbpedia-ko:계산_가능성_이론 dbpedia-de:Berechenbarkeitstheorie n41:কম্পিউটেবিলিটি_থিয়ৰী dbpedia-uk:Теорія_обчислюваності dbpedia-el:Θεωρία_υπολογισιμότητας dbpedia-vi:Lý_thuyết_tính_toán dbpedia-bg:Изчислителна_теория dbpedia-gl:Teoría_da_computabilidade dbpedia-ro:Teoria_calculabilității dbpedia-hr:Teorija_izračunljivosti_(računarstvo) dbpedia-ru:Теория_вычислимости dbpedia-pl:Teoria_obliczalności dbpedia-simple:Computability_theory dbpedia-zh:可计算性理论 dbpedia-sv:Beräkningsteori dbpedia-ar:نظرية_الحاسوبية n59:Teoría_de_la_computabilidá n60:পরিগণনীয়তা_তত্ত্ব_(কম্পিউটার_বিজ্ঞান) dbpedia-ca:Teoria_de_la_computabilitat n63:014c37 dbpedia-th:ทฤษฎีการคำนวณได้
dbo:wikiPageID
70110
dbo:wikiPageRevisionID
191428025
dbo:wikiPageWikiLink
dbpedia-fr:Blaise_Pascal dbpedia-fr:Lambda-calcul dbpedia-fr:Paul_Bernays dbpedia-fr:Théorème_de_complétude_de_Gödel dbpedia-fr:Richard_Jeffrey dbpedia-fr:Ada_Lovelace dbpedia-fr:Calculateur_humain dbpedia-fr:S._Barry_Cooper dbpedia-fr:Fonction_calculable dbpedia-fr:George_Boolos dbpedia-fr:Histoire_des_mathématiques dbpedia-fr:Bulletin_de_la_Société_mathématique_de_France dbpedia-fr:Charles_Babbage dbpedia-fr:Georg_Cantor dbpedia-fr:Machine_de_Turing dbpedia-fr:Ordinateur dbpedia-fr:Algorithmique dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Kurt_Gödel dbpedia-fr:Nombre_de_Bernoulli dbpedia-fr:Machine_d'Anticythère dbpedia-fr:Machine_de_Blum-Shub-Smale dbpedia-fr:Algorithme_récursif dbpedia-fr:Décidabilité dbpedia-fr:Congrès_international_des_mathématiciens dbpedia-fr:Turing dbpedia-fr:Nombre_réel_calculable dbpedia-fr:Argument_de_la_diagonale_de_Cantor dbpedia-fr:Engrenage dbpedia-fr:David_Hilbert dbpedia-fr:Pierre_Wolper dbpedia-fr:Informatique_théorique dbpedia-fr:Logique_mathématique dbpedia-fr:Codage_de_Gödel dbpedia-fr:Dixième_problème_de_Hilbert dbpedia-fr:Wilhelm_Ackermann dbpedia-fr:Antiquité dbpedia-fr:Algorithme dbpedia-fr:Thèse_de_Church dbpedia-fr:Théorème_de_Cantor dbpedia-fr:Ensemble_dénombrable dbpedia-fr:Programme_informatique dbpedia-fr:Oméga_de_Chaitin dbpedia-fr:Fondements_des_mathématiques dbpedia-fr:Pascaline dbpedia-fr:Circuit_booléen dbpedia-fr:Fonction_partielle category-fr:Logique_mathématique dbpedia-fr:Mathématiques dbpedia-fr:Théorème_de_récursion_de_Kleene dbpedia-fr:Parallel_random_access_machine dbpedia-fr:Gregory_Chaitin dbpedia-fr:Alan_Turing dbpedia-fr:Wilhelm_Schickard dbpedia-fr:Machine_à_compteurs dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Principe_du_tiers_exclu dbpedia-fr:London_Mathematical_Society dbpedia-fr:Alonzo_Church dbpedia-fr:Random_access_machine dbpedia-fr:Routine_(informatique) dbpedia-fr:Hiérarchie_arithmétique dbpedia-fr:Équation_diophantienne dbpedia-fr:Problème_de_la_décision dbpedia-fr:Joseph_Marie_Jacquard dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Crise_des_fondements dbpedia-fr:Programme_de_Hilbert dbpedia-fr:Suite_d'entiers dbpedia-fr:Castor_affairé dbpedia-fr:Fonction_récursive dbpedia-fr:John_P._Burgess dbpedia-fr:Computationnalisme dbpedia-fr:Problème_de_décision dbpedia-fr:Théorème_de_Rice dbpedia-fr:Association_for_Symbolic_Logic category-fr:Calculabilité dbpedia-fr:Métier_Jacquard n62:NAMA_Machine_d'Anticythère_1.jpg dbpedia-fr:Computability_in_Europe dbpedia-fr:Éditions_Dunod dbpedia-fr:Automate_cellulaire dbpedia-fr:Calculatrice_mécanique
dbo:wikiPageExternalLink
n23:BSMF_1960__88__393_0.pdf n18:poly.pdf
dbo:wikiPageLength
17915
dct:subject
category-fr:Logique_mathématique category-fr:Calculabilité
prop-fr:wikiPageUsesTemplate
n10:En n10:À_sourcer n10:Ébauche n10:Colonnes n10:Langages_formels,_calculabilité_et_complexité n10:3e n10:Portail n10:Plume n10:Autres_projets n10:S- n10:Référence_nécessaire n10:Références n10:-s- n10:Refnec n10:Article n10:5e n10:, n10:Ouvrage n10:Palette n10:Lien_web n10:Légende_plume n10:Cori-Lascar_II n10:Selon_qui n10:ISBN
prov:wasDerivedFrom
wikipedia-fr:Théorie_de_la_calculabilité?oldid=191428025&ns=0
foaf:depiction
n44:NAMA_Machine_d'Anticythère_1.jpg
prop-fr:année
1960 2004
prop-fr:auteur
Daniel Lacombe dbpedia-fr:S._Barry_Cooper
prop-fr:isbn
1
prop-fr:journal
dbpedia-fr:Bulletin_de_la_Société_mathématique_de_France
prop-fr:langue
en
prop-fr:lireEnLigne
n23:BSMF_1960__88__393_0.pdf
prop-fr:pages
393
prop-fr:titre
[PDF] Complexité et calculabilité, université de Bordeaux La théorie des fonctions récursives et ses applications Computability Theory
prop-fr:url
n18:poly.pdf
prop-fr:volume
88
prop-fr:éditeur
Chapman & Hall / CRC
dbo:thumbnail
n44:NAMA_Machine_d'Anticythère_1.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Théorie_de_la_calculabilité
dbo:abstract
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. Mais la notion de calculabilité ne se limite pas aux fonctions. On peut parler également de nombres calculables (réels ou complexes).