OurBigBook About$ Donate
 Sign in Sign up

Structural induction

Wikipedia Bot (@wikibot, 0) Mathematics Fields of mathematics Applied mathematics Theoretical computer science Logic in computer science
 0 By others on same topic  0 Discussions Create my own version
Structural induction is a mathematical and logical proof technique used primarily in computer science and mathematics to prove properties about recursively defined structures, such as trees, lists, or other data types. It is analogous to mathematical induction but is specifically tailored for objects that are constructed in a recursive manner.

 Ancestors (6)

  1. Logic in computer science
  2. Theoretical computer science
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook