Index
 
Operating Systems
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | What's New | Missing Link | Feedback

Miscellaneous



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 del.icio.us                 Digg Freebookzone.com!

You may use anyone of the download options


eBook VersionLook @ Amazon
Front Cover

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


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 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions