About: Structural induction

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Structural induction Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Induction structurelle (fr) Indukcja strukturalna (pl) Indução estrutural (pt) Structural induction (en) Structurele inductie (nl) Структурна індукція (uk) Структурная индукция (ru)
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)
sameAs	Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction Structural induction
Wikipage page ID	10838452 (xsd:integer)
Wikipage revision ID	188590510 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Raisonnement_mathématique category-fr:Méthode_de_démonstration dbpedia-fr:Addison-Wesley Tree (data structure) dbpedia-fr:Arité category-fr:Logique_mathématique category-fr:Structure_de_données dbpedia-fr:Concaténation dbpedia-fr:Constructeur_informatique dbpedia-fr:Coq_(logiciel) dbpedia-fr:Définition_par_récurrence dbpedia-fr:Ensemble Natural number dbpedia-fr:Fonction_totale dbpedia-fr:Forme_de_Backus-Naur Computer science dbpedia-fr:Langage_informatique dbpedia-fr:Liste_(informatique) Niklaus Wirth dbpedia-fr:Nombre dbpedia-fr:Objet Prentice Hall Predicate (mathematical logic) Mathematical induction Well-founded relation Equivalence relation dbpedia-fr:Relations dbpedia-fr:Règle_d'inférence dbpedia-fr:Récurrence_transfinie dbpedia-fr:Récursivité Rózsa Péter dbpedia-fr:Système_formel dbpedia-fr:Terme_(logique) The Computer Journal dbpedia-fr:Type dbpedia-fr:Type_récursif University of Maryland, College Park dbpedia-fr:Élément dbpedia-fr:Mathématiques dbpedia-fr:Calcul_des_constructions_inductives dbpedia-fr:Définition_algébrique
Link from a Wikipage to an external page	http://www.ethoberon.ethz.ch/WirthPubl/AD.pdf https://pdfs.semanticscholar.org/b3fe/91923c1356a8c6dee2c725dd11fcbfeae903.pdf http://akademiai.com/doi/abs/10.1007/BF02023919%3FjournalCode=10473 https://www.cs.umd.edu/class/summer2016/cmsc250/files/slides/structuralInduction.pdf
page length (characters) of wiki page	8770 (xsd:nonNegativeInteger)
dct:subject	category-fr:Raisonnement_mathématique category-fr:Méthode_de_démonstration category-fr:Logique_mathématique category-fr:Structure_de_données
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:... dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:En dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Pas_clair dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Sources_à_lier
prov:wasDerivedFrom	wikipedia-fr:Induction_structurelle?oldid=188590510&ns=0
prop-fr:année	1984 (xsd:integer) 1985 (xsd:integer) 2001 (xsd:integer)
prop-fr:auteur	Niklaus Wirth Jeffrey D. Ullman (fr) Rajeev Motwani (fr) Horst Reichel (fr) Jason Filippou (fr)
prop-fr:date	1968 (xsd:integer) 2016-05-07 (xsd:date)
prop-fr:doi	10 (xsd:double)
prop-fr:isbn	0 (xsd:integer)
prop-fr:journal	The Computer Journal

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 19 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software