Operating Systems
Programming Languages
Microsoft Technologies
Computer Science
Software Engineering
Web Programming
Web Technologies

Contact Us | What's New | Missing Link | Feedback


Book Title : Galois Connections and Fixed Point Calculus
eBook download format(s) : pdf ps 
Author(s) : Roland Backhouse
Section : Miscellaneous
Book Review:

Book Description
Recursion is a very powerful problem-solving technique that is used widely in computing science. It is used, for example, in the definition of programming languages, as a fundamental programming structure in functional and logic programming, and in the definition of data structures. A complete understanding of recursion can only be achieved by studying its algebraic properties.

This tutorial has been used as the literature for the course of Programming Algebra at the School of Computer Science and Information Technology, University of Nottingham. This course introduces the fundamental algebraic structures in the mathematics of program construction with a focus on the algebraic properties of recursion and how these are applied to the generic solution of programming problems.

This tutorial covers fixed point calculus, which is about the solution of recursive equations defined by a monotonic endofunction on a partially ordered set. It presents the basic theory of fixed point calculus together with a number of applications of direct relevance to the construction of computer programs. The tutorial also presents the theory and application of Galois connections between partially ordered sets. In particular, the intimate relation between Galois connections and fixed point equations is amply demonstrated.

Intended Audience
The course assumes that the student has completed both courses on functional programming and the mathematics of program construction.

add to                 Digg!

You may use anyone of the download options

eBook VersionLook @ Amazon
Front Cover

Missing Link?, Report It and try these 2 + 1 alternates...

Tell a Friend!

Similar Book titles in Miscellaneous section:
Stochastic Calculus and Stochastic Filtering

Similar Book titles in Other sections:

Section: Mathematics
Advanced Calculus, Revised Edition
The Free Speech Calculus Text
Linear Algebra - An Introduction to Linear Algebra for Pre-Calculus Students
What Every Computer Scientist Should Know About Floating-Point Arithmetic
Yet Another Calculus Text - A Short Introduction with Infinitesimals
Show all..

Section: C Language
A Tutorial On Pointers And Arrays In C

Section: C++ Language
The Function Pointer Tutorials

Section: Redbooks Draft
Endpoint Protection and Management Design Guide using IBM Tivoli Endpoint Manager
Endpoint Security and Compliance Management Design Guide Using IBM Tivoli Endpoint Manager

Section: Redbooks
Endpoint Security and Compliance Management Design Guide Using IBM Tivoli Endpoint Manager
IBM Security Solutions Architecture for Network, Server and Endpoint

Section: Redpapers
IBM Tivoli Access Manager for e-business: Tracing HTTP Connections

Similar Books from Amazon :

Tell a Friend!

©2008 - Home - Privacy Policy - Program Policy, Terms and Conditions