An Introduction to Programming with Specifications
- 1 Edición - 22 de marzo de 1991
- Última edición
- Autor: Bozzano G Luisa
- Idioma: Inglés
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… Leer más
Descripción
Descripción
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.
Puntos claves
Puntos claves
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.
De interès para
De interès para
Undergraduate students in computer science or mathematics taking a functional/formal methods approach to a first course in computing.
Índice
Índice
Introduction. 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. Recommendations for Further Reading. Index of Technical Terms. Index.
Detalles del producto
Detalles del producto
- Edición: 1
- Última edición
- Publicado: 10 de noviembre de 2012
- Idioma: Inglés
Ver libro en ScienceDirect
Ver libro en ScienceDirect
Lee An Introduction to Programming with Specifications en ScienceDirect