構造的帰納法(英: structural induction)とは、数学的帰納法を一般化した証明手法の一つ。数理論理学、計算機科学、グラフ理論などの数学分野で使用される。 構造的再帰(structural recursion)は再帰の手法の一つ。通常の再帰が数学的帰納法と関係を持つのと同様に、構造的再帰は構造的帰納法と関係を持つ。

Property Value
dbo:abstract
  • 構造的帰納法(英: structural induction)とは、数学的帰納法を一般化した証明手法の一つ。数理論理学、計算機科学、グラフ理論などの数学分野で使用される。 構造的再帰(structural recursion)は再帰の手法の一つ。通常の再帰が数学的帰納法と関係を持つのと同様に、構造的再帰は構造的帰納法と関係を持つ。 (ja)
  • 構造的帰納法(英: structural induction)とは、数学的帰納法を一般化した証明手法の一つ。数理論理学、計算機科学、グラフ理論などの数学分野で使用される。 構造的再帰(structural recursion)は再帰の手法の一つ。通常の再帰が数学的帰納法と関係を持つのと同様に、構造的再帰は構造的帰納法と関係を持つ。 (ja)
dbo:thumbnail
dbo:wikiPageID
  • 3284315 (xsd:integer)
dbo:wikiPageLength
  • 6532 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 83162819 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 構造的帰納法(英: structural induction)とは、数学的帰納法を一般化した証明手法の一つ。数理論理学、計算機科学、グラフ理論などの数学分野で使用される。 構造的再帰(structural recursion)は再帰の手法の一つ。通常の再帰が数学的帰納法と関係を持つのと同様に、構造的再帰は構造的帰納法と関係を持つ。 (ja)
  • 構造的帰納法(英: structural induction)とは、数学的帰納法を一般化した証明手法の一つ。数理論理学、計算機科学、グラフ理論などの数学分野で使用される。 構造的再帰(structural recursion)は再帰の手法の一つ。通常の再帰が数学的帰納法と関係を持つのと同様に、構造的再帰は構造的帰納法と関係を持つ。 (ja)
rdfs:label
  • 構造的帰納法 (ja)
  • 構造的帰納法 (ja)
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of