Property |
Value |
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). (fr)
- 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). (fr)
|
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 17915 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1960 (xsd:integer)
- 2004 (xsd:integer)
|
prop-fr:auteur
| |
prop-fr:isbn
| |
prop-fr:journal
| |
prop-fr:langue
| |
prop-fr:lireEnLigne
| |
prop-fr:pages
| |
prop-fr:titre
|
- [PDF] Complexité et calculabilité, université de Bordeaux (fr)
- Computability Theory (fr)
- La théorie des fonctions récursives et ses applications (fr)
- [PDF] Complexité et calculabilité, université de Bordeaux (fr)
- Computability Theory (fr)
- La théorie des fonctions récursives et ses applications (fr)
|
prop-fr:url
| |
prop-fr:volume
| |
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Chapman & Hall / CRC (fr)
- Chapman & Hall / CRC (fr)
|
dct:subject
| |
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)
- 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: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)
- 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:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:discipline
of | |
is dbo:isPartOf
of | |
is dbo:mainArticleForCategory
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |