| Property |
Value |
| dbo:abstract
|
- En mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets. L'on peut ainsi définir des nombres, des listes, des arbres, des relations, et plus généralement, toute structure mathématique (langage, système, …). En permettant par le même principe de définir un prédicat total[pas clair] i.e. qui est défini partout, l'induction structurelle est aussi une méthode de démonstration d'une propriété sur une structure. (fr)
- En mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets. L'on peut ainsi définir des nombres, des listes, des arbres, des relations, et plus généralement, toute structure mathématique (langage, système, …). En permettant par le même principe de définir un prédicat total[pas clair] i.e. qui est défini partout, l'induction structurelle est aussi une méthode de démonstration d'une propriété sur une structure. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8770 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:adresse
|
- Université du Maryland, College Park (fr)
- Université du Maryland, College Park (fr)
|
| prop-fr:année
|
- 1984 (xsd:integer)
- 1985 (xsd:integer)
- 2001 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:date
|
- 1968 (xsd:integer)
- 2016-05-07 (xsd:date)
|
| prop-fr:doi
| |
| prop-fr:isbn
| |
| prop-fr:journal
| |
| prop-fr:langue
| |
| prop-fr:lieu
|
- Reading Mass (fr)
- Reading Mass (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Hopcroft (fr)
- Burstall (fr)
- Hopcroft (fr)
- Burstall (fr)
|
| prop-fr:numéro
| |
| prop-fr:numéroD'édition
| |
| prop-fr:pages
| |
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- John E. (fr)
- R.M. (fr)
- John E. (fr)
- R.M. (fr)
|
| prop-fr:titre
|
- Introduction to Automata Theory, Languages, and Computation (fr)
- Algorithms and Data Structures (fr)
- Structural Induction (fr)
- Structural induction on partial algebras (fr)
- Proving Properties of Programs by Structural Induction (fr)
- Introduction to Automata Theory, Languages, and Computation (fr)
- Algorithms and Data Structures (fr)
- Structural Induction (fr)
- Structural induction on partial algebras (fr)
- Proving Properties of Programs by Structural Induction (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets. (fr)
- En mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets. (fr)
|
| rdfs:label
|
- Induction structurelle (fr)
- Indukcja strukturalna (pl)
- Indução estrutural (pt)
- Structural induction (en)
- Structurele inductie (nl)
- Структурна індукція (uk)
- Структурная индукция (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
