2002
DOI: 10.1007/978-0-306-48373-8
|View full text |Cite
|
Sign up to set email alerts
|

Encyclopaedia of Mathematics, Supplement III

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2009
2009
2020
2020

Publication Types

Select...
5
1

Relationship

0
6

Authors

Journals

citations
Cited by 31 publications
(1 citation statement)
references
References 0 publications
0
1
0
Order By: Relevance
“…Mathematical induction plays a vital and foundational role in making all correctness proofs for computer programs (Anderson, 1979;Franklin & Daoud, 2011). Inductive reasoning is used as an inference rule to write proofs generated through mathematical induction; these are examples of deductive reasoning, where inductive reasoning is excluded from proofs (Franklin & Daoud, 2011;Hazewinkel, 2002). It is difficult to generate mathematical proofs, but it can be done with hard work based on proper background knowledge of both mathematical functions and the field as necessary to format the proof.…”
Section: Mathematical Inductionmentioning
confidence: 99%
“…Mathematical induction plays a vital and foundational role in making all correctness proofs for computer programs (Anderson, 1979;Franklin & Daoud, 2011). Inductive reasoning is used as an inference rule to write proofs generated through mathematical induction; these are examples of deductive reasoning, where inductive reasoning is excluded from proofs (Franklin & Daoud, 2011;Hazewinkel, 2002). It is difficult to generate mathematical proofs, but it can be done with hard work based on proper background knowledge of both mathematical functions and the field as necessary to format the proof.…”
Section: Mathematical Inductionmentioning
confidence: 99%