Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
A First Course in Logic, Hardback Book

A First Course in Logic Hardback

Hardback

Out of stock

Description

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists.

There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic.

Logic is the basis of proofs in mathematics — how do we know what we say is true? — and also of computer science — how do I know this program will do what I think it will?Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus).

The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra.

Anyone who can write programs should have this ability.

Information

Other Formats

£150.00

Out of stock
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information