Roland Backhouse

Roland Backhouse

No information is available for this author.

Back to all authors

Books Authored by Roland Backhouse

Galois Connections and Fixed Point Calculus

Post date: 12 Oct 2006
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.
Publication date: 01 Oct 2001
 
Galois Connections and Fixed Point Calculus

Galois Connections and Fixed Point Calculus

Post date: 12 Oct 2006
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.
Publication date: 01 Oct 2001


Algorithmic Problem Solving

Post date: 30 Sep 2006
An introduction to problem-solving and algorithm formulation using an example-driven approach. It demonstrates the importance of mathematical calculation, but the chosen examples are typically not mathematical.
Publication date: 01 Jun 2006
 
Algorithmic Problem Solving

Algorithmic Problem Solving

Post date: 30 Sep 2006
An introduction to problem-solving and algorithm formulation using an example-driven approach. It demonstrates the importance of mathematical calculation, but the chosen examples are typically not mathematical.
Publication date: 01 Jun 2006


Book Categories
Sponsors
Icons8, a free icon pack