1991•Academic Press Professional, Inc. eBooksRequires access
An introduction to programming with specifications: a mathematical approach
Roman Rudziński, S. Sokołowski, Ryszard Kubiak
Open publisher page 2 citations
Abstract
Basic mathematical vocabulary on definitions and specifications conditional expressions local definitions recursive function definitions designing recursive definitions more complex recursion high-order data - sequences our main tool - induction proving facts about recursively defined functions tail recursion iterative algorithms from recursion to iteration and back partial and total correctness how to design iterative algorithms computer programming solutions of exercises.