Formal proof -
Formal proof
Views: 0
Votes: 0 (Avg 0.0)
Complete and convincing mathematical argument presenting the full logical justification for each proof step and for the truth of a theorem or set of theorems. The discharge of a proof obligation by the construction of a complete mathematical proof.
Average rating:
0.0
(0 reviews)
Sign in to manage your flashcard decks and leave a comment.
Discussion (0)
No comments yet. Be the first to share your experience with this term.