skip to content
An introduction to programming with specifications : a mathematical approach Preview this item
ClosePreview this item
Checking...

An introduction to programming with specifications : a mathematical approach

Author: Ryszard Kubiak; Roman Rudziński; S Sokołowski
Publisher: London ; San Diego : Academic Press, ©1991.
Series: A.P.I.C. studies in data processing, no. 35.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Kubiak, Ryszard.
Introduction to programming with specifications.
London ; San Diego : Academic Press, ©1991
(DLC) 91183915
(OCoLC)30320457
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ryszard Kubiak; Roman Rudziński; S Sokołowski
OCLC Number: 551371965
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (ix, 267 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: 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.
Series Title: A.P.I.C. studies in data processing, no. 35.
Responsibility: Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski.

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/551371965> # An introduction to programming with specifications : a mathematical approach
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "551371965" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/836866370#Place/san_diego> ; # San Diego
   schema:about <http://id.worldcat.org/fast/1078701> ; # Programming (Mathematics)
   schema:about <http://experiment.worldcat.org/entity/work/data/836866370#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/836866370#Thing/programming> ; # Programming
   schema:about <http://dewey.info/class/005.12/e20/> ;
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/836866370#Topic/softwarespezifikation> ; # Softwarespezifikation
   schema:about <http://experiment.worldcat.org/entity/work/data/836866370#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/836866370#Topic/programmation_mathematiques> ; # Programmation (mathématiques)
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/18352557> ; # Roman Rudziński
   schema:contributor <http://viaf.org/viaf/169976011> ; # Stefan Sokołowski
   schema:copyrightYear "1991" ;
   schema:creator <http://viaf.org/viaf/161615752> ; # Ryszard Kubiak
   schema:datePublished "1991" ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/836866370> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/836866370#Series/a_p_i_c_studies_in_data_processing> ; # A.P.I.C. studies in data processing ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/836866370#Series/the_a_p_i_c_series> ; # The A.P.I.C. series ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/30320457> ;
   schema:name "An introduction to programming with specifications : a mathematical approach"@en ;
   schema:productID "551371965" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/551371965#PublicationEvent/london_san_diego_academic_press_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/836866370#Agent/academic_press> ; # Academic Press
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/22629365.html> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/30320457.html> ;
   schema:url <http://site.ebrary.com/id/10665814> ;
   schema:url <http://www.sciencedirect.com/science/book/9780124276208> ;
   schema:url <http://books.google.com/books?id=nZNQAAAAMAAJ> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/551371965> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/836866370#Series/a_p_i_c_studies_in_data_processing> # A.P.I.C. studies in data processing ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/551371965> ; # An introduction to programming with specifications : a mathematical approach
   schema:name "A.P.I.C. studies in data processing ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/836866370#Series/the_a_p_i_c_series> # The A.P.I.C. series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/551371965> ; # An introduction to programming with specifications : a mathematical approach
   schema:name "The A.P.I.C. series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/836866370#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/836866370#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
   schema:name "Ordinateurs--Programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/836866370#Topic/programmation_mathematiques> # Programmation (mathématiques)
    a schema:Intangible ;
   schema:name "Programmation (mathématiques)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/836866370#Topic/softwarespezifikation> # Softwarespezifikation
    a schema:Intangible ;
   schema:name "Softwarespezifikation"@en ;
    .

<http://id.worldcat.org/fast/1078701> # Programming (Mathematics)
    a schema:Intangible ;
   schema:name "Programming (Mathematics)"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/161615752> # Ryszard Kubiak
    a schema:Person ;
   schema:familyName "Kubiak" ;
   schema:givenName "Ryszard" ;
   schema:name "Ryszard Kubiak" ;
    .

<http://viaf.org/viaf/169976011> # Stefan Sokołowski
    a schema:Person ;
   schema:familyName "Sokołowski" ;
   schema:givenName "Stefan" ;
   schema:givenName "S." ;
   schema:name "Stefan Sokołowski" ;
    .

<http://viaf.org/viaf/18352557> # Roman Rudziński
    a schema:Person ;
   schema:familyName "Rudziński" ;
   schema:givenName "Roman" ;
   schema:name "Roman Rudziński" ;
    .

<http://www.worldcat.org/oclc/30320457>
    a schema:CreativeWork ;
   rdfs:label "Introduction to programming with specifications." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/551371965> ; # An introduction to programming with specifications : a mathematical approach
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.