Free Shipping In Australia
First Course in Formal Logic and Its Applications in Computer Science By R. D. Dowsing

First Course in Formal Logic and Its Applications in Computer Science
by R. D. Dowsing

Out of Stock
$33.99
inc. GST
Mathematical logic is a fundamental tool in computer science which has wide and significant applications. Recently, there has been a move towards using logic as a programming language and the considerable interest in Prolog can be seen as a step in this direction.
Only 0 left

First Course in Formal Logic and Its Applications in Computer Science Summary


First Course in Formal Logic and Its Applications in Computer Science by R. D. Dowsing

Mathematical logic is a fundamental tool in computer science which has wide and significant applications. Recently, there has been a move towards using logic as a programming language and the considerable interest in Prolog can be seen as a step in this direction. Although formal logic is clearly a fundamental part of any degree programme, most of the current texts are designed for third year undergraduate or postgraduate mathematicians. This text is designed specifically for undergraduates and, together with "A First Course in Formal Language Theory" and "A First Course in Computability", both by V. J. Rayward-Smith, it covers the important theory which should be in any computer science degree course.

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in Australia
Read more here
Every used book bought is one saved from landfill

Table of Contents


Propositional calculus; logical and digital electronic circuits; predicate calculus; deductions; correctness proofs; resolution theorem proving; logic programming.

Additional information

GOR001028542
First Course in Formal Logic and Its Applications in Computer Science by R. D. Dowsing
R. D. Dowsing
Used - Very Good
Paperback
McGraw-Hill Education - Europe
1986-10-01
272
0632013087
9780632013081
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.