bn:03806195n
Noun Concept
Categories: Logique mathématique, Théorie de la démonstration, Calculabilité
FR
décidabilité  Décidabilité et indécidabilité  décidable  indécidabilité  indécidable
FR
En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. Wikipedia
English:
computer science
logic
Definitions
Relations
Sources
FR
En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. Wikipedia