مقدمه‌ای بر برنامه‌نویسی با مشخصات: رویکردی ریاضیاتی

A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication and may be used as an introduction to the mathematics of programming. Provides an introduction to the functional approach to programming\*\*Emphasizes the problem to be solved, not the programming language\*\*Takes the view that all computer programs are a definition of a function\*\*Includes exercises for each chapter\*\*Can be used as a pre-programming language introduction to the mathematics of computing. This book gives an introduction to the specification of programs, and some techniques that may be used to prove correctness of programs. Before mentioning any programming language an abstract execution model with an operational semantics is introduced, which is used for proving correctness. This execution model starts with recursive functions on which several features are added. When the execution model is introduced the transformation of recursive functions to tail recursive functions is treated, whenever such is possible. Iterative algorithms and the transformation between iterative algorithms and tail recursive functions is the next topic of the book. At that moment enough ingredients are there to introduce partial and total correctness of algorithms. Finally the implementation of algorithms in the programming languages ML and Pascal is treated A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication and may be used as an introduction to the mathematics of programming.

Provides an introduction to the functional approach to programming**Emphasizes the problem to be solved, not the programming language**Takes the view that all computer programs are a definition of a function**Includes exercises for each chapter**Can be used as a pre-programming language introduction to the mathematics of computing. This is an introduction to the mathematics which underly the functional approach to programming. Emphasis is laid upon comprehension of definition and specification as a basis for good programming technique. Exercises are provided in each chapter.