An introduction to programming with specifications : a mathematical approach

✍ Scribed by Ryszard Kubiak; Roman Rudzinski; Stefan Sokolowski

Publisher: Academic Press
Year: 1991
Tongue: English
Leaves: 281
Series: The APIC Series v. 35
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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 programmingEmphasizes the problem to be solved, not the programming languageTakes the view that all computer programs are a definition of a functionIncludes exercises for each chapterCan be used as a pre-programming language introduction to the mathematics of computing.

✦ Subjects

Microeconomics;Economics;Business & Money;Introductory & Beginning;Programming;Computers & Technology;Software Development;Software Design, Testing & Engineering;Programming;Computers & Technology;Software;Accounting;Adobe;Databases;Design & Graphics;E-mail;Enterprise Applications;Mathematical & Statistical;Microsoft;Optical Character Recognition;Personal Finance;Presentation Software;Project Management Software;Quickbooks;Spreadsheets;Suites;Utilities;Voice Recognition;Word Processing;Computers

📜 SIMILAR VOLUMES

An introduction to programming with spec

📁 An introduction to programming with specifications: a mathematical approach

✍ Kubiak, Ryszard; Rudzinski, Roman; Sokolowski, Stefan 📂 Library 📅 1991 🏛 Academic Press 🌐 English

Programming with Specifications: An Intr

📁 Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

✍ David Luckham 📂 Library 📅 1990 🏛 Springer 🌐 English

<p>Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan guage. In t

Programming with Specifications: An Intr

📁 Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

✍ David Luckham 📂 Library 📅 1990 🏛 Springer US 🌐 English

Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan guage. In the

An Introduction to Programming: An Objec

📁 An Introduction to Programming: An Object-Oriented Approach with C++

✍ C. Thomas Wu, Theodore A. Norman 📂 Library 📅 1997 🏛 McGraw-Hill Companies 🌐 English

This is an introductory book for students with no background in programming, which teaches them how to write object-oriented programs. Students first learn programming basics through the use of predefined Graphical User Interface (GUI) objects. By using these predefined objects, they should grasp th

An Introduction to Programming: An Objec

📁 An Introduction to Programming: An Object-Oriented Approach With C++

✍ C. Thomas Wu, Theodore A. Norman 📂 Library 📅 1997 🏛 Mcgraw-Hill College 🌐 English

Introduction to College Mathematics with

📁 Introduction to College Mathematics with A Programming Language

✍ Edward J. LeCuyer Jr. (auth.) 📂 Library 📅 1978 🏛 Springer-Verlag New York 🌐 English

<p>The topics covered in this text are those usually covered in a full year's course in finite mathematics or mathematics for liberal arts students. They correspond very closely to the topics I have taught at Western New England College to freshmen business and liberal arts students. They include se