ACCU Home page ACCU Conference Page
Search Contact us ACCU at Flickr ACCU at GitHib ACCU at Facebook ACCU at Linked-in ACCU at Twitter Skip Navigation

Search in Book Reviews

The ACCU passes on review copies of computer books to its members for them to review. The result is a large, high quality collection of book reviews by programmers, for programmers. Currently there are 1949 reviews in the database and more every month.
Search is a simple string search in either book title or book author. The full text search is a search of the text of the review.
    View all alphabetically
Effective Logic Computation
Klaus Truemper
0 471 23886 4
Francis Glassborow
logic; maths
Appeared in:
This is a book on a highly specialist topic. None-the-less it is an important topic. There are many problems that require solutions governed by a set of logical statements (propositions). I believe that the general problem is classified as NP complete (the severest and most demanding kind of 'solved' mathematical problem whose general solutions cannot in general be computed in much less than the age of the universe).

New approaches such as neural networks are being used to tackle this kind of problem. This book describes an approach based on combinatorial decom- position. It is a first generation text. By this I mean that it is written by the original inventor/discoverer and is highly technical and largely theoretical.

The author is an expert in his field, but so was Einstein in his. If you have an interest in Propositional Calculus and would like to understand Dr Truemper's proposals this is about the only place to start. If you have the requisite skills, interests and experience I would be happy to let you have the review copy with the aim of providing an in depth review together with reasons why programmers might want to study this area.