Can I read Induction, Recursion, and Programming on EtoBox?

Induction, Recursion, and Programming by MITCHELL WAND,NORTH HOLLAND is a nonfiction available to read on EtoBox.

What is Induction, Recursion, and Programming about?

Throughout this text, we emphasize the notion that a program is a mathematical object. We therefore study the mathematical properties of programs. We mathematically prove the correctness of programs. We also use mathematical techniques to help us write programs.The kind of "theory" a student should be learning at this level is not the usual collection of definitions and lemmas but something which is immediately useful to him. The function of theory is to help the scientist (or student) understand a complex real-world situation by explaining it in a more tractable form.We have therefore selected topics which have immediate relevance to the problem of programming. The student taking a course in discrete structures is just starting to see modern ways of doing programming in his courses in programming languages and data structures.Our goal in this text is to give the student enough background to appreciate and apply this theory to the programming task.

Who reads Induction, Recursion, and Programming?

Author

MITCHELL WAND,NORTH HOLLAND

Publisher

Elsevier Science Ltd

Published

1980

Language

EN

ISBN

9780444003225

Category

nonfiction

Subjects

Computer Science, Mathematics, Programming