Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Catégorie:Calculabilité
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
mainArticleForCategory
dbpedia-fr
:Théorie_de_la_calculabilité
dbo:
wikiPageID
167048
(xsd:integer)
dbo:
wikiPageRevisionID
91298340
(xsd:integer)
prop-fr:
wikiPageUsesTemplate
dbpedia-fr
:Modèle:Autres_projets
dbpedia-fr
:Modèle:Article_principal
dbpedia-fr
:Modèle:Multi_bandeau
rdf:
type
skos
:Concept
rdfs:
label
Calculabilité
(fr)
Calculabilité
(fr)
rdfs:
seeAlso
https://commons.wikimedia.org/wiki/Category:Computer_science
owl:
sameAs
dbc
:Computability_theory
dbpedia-commons
:Category:Computability_theory
wikidata
:Q7035970
dbpedia-ar
:تصنيف:نظرية_قابلية_الحساب
dbpedia-bg
:Категория:Рекурсивна_теория
http://bn.dbpedia.org/resource/বিষয়শ্রেণী:পরিগণনীয়তা_তত্ত্ব
dbpedia-ca
:Categoria:Computabilitat
dbpedia-cs
:Kategorie:Vyčíslitelnost
dbpedia-da
:Kategori:Beregnelighed
dbpedia-de
:Kategorie:Berechenbarkeitstheorie
dbpedia-eo
:Kategorio:Rekursia_teorio
dbpedia-es
:Categoría:Computabilidad
dbpedia-eu
:Kategoria:Konputagarritasuna
dbpedia-fa
:رده:نظریه_بازگشت
dbpedia-he
:קטגוריה:רקורסיה
dbpedia-it
:Categoria:Teoria_della_calcolabilità
dbpedia-ja
:Category:計算可能性理論
dbpedia-ko
:분류:계산_가능성_이론
dbpedia-mk
:Категорија:Теорија_на_пресметливоста
dbpedia-pt
:Categoria:Teoria_da_computabilidade
dbpedia-sk
:Kategória:Vyčísliteľnosť
dbpedia-sr
:Категорија:Теорија_рекурзије
dbpedia-sv
:Kategori:Rekursivitet
dbpedia-th
:หมวดหมู่:ทฤษฎีการคำนวณได้
dbpedia-tr
:Kategori:Hesaplanabilirlik_teorisi
dbpedia-uk
:Категорія:Теорія_рекурсії
http://ur.dbpedia.org/resource/زمرہ:نظریۂ_شمارندیت
dbpedia-zh
:Category:递归论
skos:
broader
category-fr
:Informatique_théorique
category-fr
:Logique_mathématique
skos:
prefLabel
Calculabilité
(fr)
Calculabilité
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Catégorie:Calculabilité?oldid=91298340&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Complexité_pseudo-polynomiale
dbpedia-fr
:Ω-automate
dbpedia-fr
:Algorithme_de_Markov
dbpedia-fr
:Analyse_de_la_complexité_des_algorithmes
dbpedia-fr
:Automate_cellulaire
dbpedia-fr
:Automate_d'arbres
dbpedia-fr
:Automate_de_Büchi
dbpedia-fr
:Automate_de_Muller
dbpedia-fr
:Automate_fini
dbpedia-fr
:Automate_fini_alternant
dbpedia-fr
:Automate_fini_déterministe
dbpedia-fr
:Automate_fini_non_déterministe
dbpedia-fr
:Automate_linéairement_borné
dbpedia-fr
:Automate_probabiliste
dbpedia-fr
:Automate_sur_les_mots_infinis
dbpedia-fr
:Automate_séquentiel
dbpedia-fr
:Automate_à_pile
dbpedia-fr
:Castor_affairé
dbpedia-fr
:Circuit_booléen
dbpedia-fr
:Complexité_de_Kolmogorov
dbpedia-fr
:Complexité_de_Lempel-Ziv
dbpedia-fr
:Complexité_implicite
dbpedia-fr
:Constructivisme_(mathématiques)
dbpedia-fr
:Continuation_(informatique)
dbpedia-fr
:Corps_réel_clos
dbpedia-fr
:Correspondance_de_Curry-Howard
dbpedia-fr
:Degré_de_Turing
dbpedia-fr
:Demi-groupe_automatique
dbpedia-fr
:Diophantien
dbpedia-fr
:Dixième_problème_de_Hilbert
dbpedia-fr
:Décidabilité
dbpedia-fr
:Déployeur_universel
dbpedia-fr
:Déterminisme_(calculabilité)
dbpedia-fr
:Ensemble_récursif
dbpedia-fr
:Epsilon_transition
dbpedia-fr
:Fonction_calculable
dbpedia-fr
:Fonction_d'Ackermann
dbpedia-fr
:Fonction_de_Sudan
dbpedia-fr
:Fonction_partielle
dbpedia-fr
:Fonction_partielle_récursive
dbpedia-fr
:Fonction_récursive
dbpedia-fr
:Fonction_récursive_primitive
dbpedia-fr
:Fonction_semi-calculable
dbpedia-fr
:Fonction_totale
dbpedia-fr
:Grammaire_contextuelle
dbpedia-fr
:Grammaire_linéaire
dbpedia-fr
:Hiérarchie_arithmétique
dbpedia-fr
:Hiérarchie_de_Chomsky
dbpedia-fr
:Hiérarchie_de_Grzegorczyk
dbpedia-fr
:Hypercalcul
dbpedia-fr
:Lambda-calcul
dbpedia-fr
:Lambda_cube
dbpedia-fr
:Langage_algébrique
dbpedia-fr
:Langage_algébrique_déterministe
dbpedia-fr
:Langage_contextuel
dbpedia-fr
:Langage_rationnel
dbpedia-fr
:Langage_sans_étoile
dbpedia-fr
:Lemme_de_Newman
dbpedia-fr
:Limite_de_Bremermann
dbpedia-fr
:Logique_combinatoire
dbpedia-fr
:Machine_SECD
dbpedia-fr
:Machine_abstraite
dbpedia-fr
:Machine_de_Blum-Shub-Smale
dbpedia-fr
:Machine_de_Krivine
dbpedia-fr
:Machine_de_Mealy
dbpedia-fr
:Machine_de_Moore
dbpedia-fr
:Machine_de_Turing
dbpedia-fr
:Machine_de_Turing_probabiliste
dbpedia-fr
:Machine_à_compteurs
dbpedia-fr
:Machine_à_registres_illimités
dbpedia-fr
:Méthode_de_Brzozowski_et_McCluskey
dbpedia-fr
:Nombre_réel_calculable
dbpedia-fr
:Oméga_de_Chaitin
dbpedia-fr
:Oracle_(machine_de_Turing)
dbpedia-fr
:Paire_critique
dbpedia-fr
:Parallel_random_access_machine
dbpedia-fr
:Principe_de_Church-Turing-Deutsch
dbpedia-fr
:Problème_de_correspondance_de_Post
dbpedia-fr
:Problème_de_l'arrêt
dbpedia-fr
:Problème_de_recherche
dbpedia-fr
:Problème_de_satisfiabilité_de_circuit
dbpedia-fr
:Profondeur_de_Bennett
dbpedia-fr
:Random_access_machine
dbpedia-fr
:Règles_de_réécriture
dbpedia-fr
:Récursivement_énumérable
dbpedia-fr
:Réduction_(complexité)
dbpedia-fr
:Résultats_effectifs_en_théorie_des_nombres
dbpedia-fr
:Réécriture_(informatique)
dbpedia-fr
:Stratégie_d'évaluation_(informatique)
dbpedia-fr
:Structure_de_Kripke
dbpedia-fr
:Structure_oméga-automatique
dbpedia-fr
:Substitution_explicite
dbpedia-fr
:Suite_de_Specker
dbpedia-fr
:Système_T
dbpedia-fr
:Système_acceptable_de_programmation
dbpedia-fr
:Système_de_tague
dbpedia-fr
:Thèse_de_Church
dbpedia-fr
:Théorie_de_la_calculabilité
dbpedia-fr
:Théorie_de_la_complexité_(informatique_théorique)
dbpedia-fr
:Théorème_d'itération
dbpedia-fr
:Théorème_de_Margolus-Levitin
dbpedia-fr
:Théorème_de_Matiiassevitch
dbpedia-fr
:Théorème_de_Post
dbpedia-fr
:Théorème_de_Rice
dbpedia-fr
:Théorème_de_Trakhtenbrot
dbpedia-fr
:Théorème_de_récursion_de_Kleene
dbpedia-fr
:Transducteur_fini
dbpedia-fr
:Transduction_rationnelle
dbpedia-fr
:Turing-complet
dbpedia-fr
:Turmite
dbpedia-fr
:Vers_de_Paterson
dbpedia-fr
:Équivalence_de_Nerode
dbpedia-fr
:Évaluation_paresseuse
is
dct:
subject
of
dbpedia-fr
:Complexité_pseudo-polynomiale
dbpedia-fr
:Ω-automate
dbpedia-fr
:Algorithme_de_Markov
dbpedia-fr
:Analyse_de_la_complexité_des_algorithmes
dbpedia-fr
:Automate_cellulaire
dbpedia-fr
:Automate_d'arbres
dbpedia-fr
:Automate_de_Büchi
dbpedia-fr
:Automate_de_Muller
dbpedia-fr
:Automate_fini
dbpedia-fr
:Automate_fini_alternant
dbpedia-fr
:Automate_fini_déterministe
dbpedia-fr
:Automate_fini_non_déterministe
dbpedia-fr
:Automate_linéairement_borné
dbpedia-fr
:Automate_probabiliste
dbpedia-fr
:Automate_sur_les_mots_infinis
dbpedia-fr
:Automate_séquentiel
dbpedia-fr
:Automate_à_pile
dbpedia-fr
:Castor_affairé
dbpedia-fr
:Circuit_booléen
dbpedia-fr
:Complexité_de_Kolmogorov
dbpedia-fr
:Complexité_de_Lempel-Ziv
dbpedia-fr
:Complexité_implicite
dbpedia-fr
:Constructivisme_(mathématiques)
dbpedia-fr
:Continuation_(informatique)
dbpedia-fr
:Corps_réel_clos
dbpedia-fr
:Correspondance_de_Curry-Howard
dbpedia-fr
:Degré_de_Turing
dbpedia-fr
:Demi-groupe_automatique
dbpedia-fr
:Diophantien
dbpedia-fr
:Dixième_problème_de_Hilbert
dbpedia-fr
:Décidabilité
dbpedia-fr
:Déployeur_universel
dbpedia-fr
:Déterminisme_(calculabilité)
dbpedia-fr
:Ensemble_récursif
dbpedia-fr
:Epsilon_transition
dbpedia-fr
:Fonction_calculable
dbpedia-fr
:Fonction_d'Ackermann
dbpedia-fr
:Fonction_de_Sudan
dbpedia-fr
:Fonction_partielle
dbpedia-fr
:Fonction_partielle_récursive
dbpedia-fr
:Fonction_récursive
dbpedia-fr
:Fonction_récursive_primitive
dbpedia-fr
:Fonction_semi-calculable
dbpedia-fr
:Fonction_totale
dbpedia-fr
:Grammaire_contextuelle
dbpedia-fr
:Grammaire_linéaire
dbpedia-fr
:Hiérarchie_arithmétique
dbpedia-fr
:Hiérarchie_de_Chomsky
dbpedia-fr
:Hiérarchie_de_Grzegorczyk
dbpedia-fr
:Hypercalcul
dbpedia-fr
:Lambda-calcul
dbpedia-fr
:Lambda_cube
dbpedia-fr
:Langage_algébrique
dbpedia-fr
:Langage_algébrique_déterministe
dbpedia-fr
:Langage_contextuel
dbpedia-fr
:Langage_rationnel
dbpedia-fr
:Langage_sans_étoile
dbpedia-fr
:Lemme_de_Newman
dbpedia-fr
:Limite_de_Bremermann
dbpedia-fr
:Logique_combinatoire
dbpedia-fr
:Machine_SECD
dbpedia-fr
:Machine_abstraite
dbpedia-fr
:Machine_de_Blum-Shub-Smale
dbpedia-fr
:Machine_de_Krivine
dbpedia-fr
:Machine_de_Mealy
dbpedia-fr
:Machine_de_Moore
dbpedia-fr
:Machine_de_Turing
dbpedia-fr
:Machine_de_Turing_probabiliste
dbpedia-fr
:Machine_à_compteurs
dbpedia-fr
:Machine_à_registres_illimités
dbpedia-fr
:Méthode_de_Brzozowski_et_McCluskey
dbpedia-fr
:Nombre_réel_calculable
dbpedia-fr
:Oméga_de_Chaitin
dbpedia-fr
:Oracle_(machine_de_Turing)
dbpedia-fr
:Paire_critique
dbpedia-fr
:Parallel_random_access_machine
dbpedia-fr
:Principe_de_Church-Turing-Deutsch
dbpedia-fr
:Problème_de_correspondance_de_Post
dbpedia-fr
:Problème_de_l'arrêt
dbpedia-fr
:Problème_de_recherche
dbpedia-fr
:Problème_de_satisfiabilité_de_circuit
dbpedia-fr
:Profondeur_de_Bennett
dbpedia-fr
:Random_access_machine
dbpedia-fr
:Règles_de_réécriture
dbpedia-fr
:Récursivement_énumérable
dbpedia-fr
:Réduction_(complexité)
dbpedia-fr
:Résultats_effectifs_en_théorie_des_nombres
dbpedia-fr
:Réécriture_(informatique)
dbpedia-fr
:Stratégie_d'évaluation_(informatique)
dbpedia-fr
:Structure_de_Kripke
dbpedia-fr
:Structure_oméga-automatique
dbpedia-fr
:Substitution_explicite
dbpedia-fr
:Suite_de_Specker
dbpedia-fr
:Système_T
dbpedia-fr
:Système_acceptable_de_programmation
dbpedia-fr
:Système_de_tague
dbpedia-fr
:Thèse_de_Church
dbpedia-fr
:Théorie_de_la_calculabilité
dbpedia-fr
:Théorie_de_la_complexité_(informatique_théorique)
dbpedia-fr
:Théorème_d'itération
dbpedia-fr
:Théorème_de_Margolus-Levitin
dbpedia-fr
:Théorème_de_Matiiassevitch
dbpedia-fr
:Théorème_de_Post
dbpedia-fr
:Théorème_de_Rice
dbpedia-fr
:Théorème_de_Trakhtenbrot
dbpedia-fr
:Théorème_de_récursion_de_Kleene
dbpedia-fr
:Transducteur_fini
dbpedia-fr
:Transduction_rationnelle
dbpedia-fr
:Turing-complet
dbpedia-fr
:Turmite
dbpedia-fr
:Vers_de_Paterson
dbpedia-fr
:Équivalence_de_Nerode
dbpedia-fr
:Évaluation_paresseuse
is
skos:
broader
of
category-fr
:Automate_cellulaire
category-fr
:Langage_formel
category-fr
:Personnalité_en_théorie_de_la_calculabilité
category-fr
:Théorie_des_automates
is
oa:
hasTarget
of
tag-fr
:WdtFrResource