- Home
- Computers
- Computer Science
- A First Course in Logic
A First Course in Logic
List Price:
$94.99
- Availability: Confirm prior to ordering
- Branding: minimum 50 pieces (add’l costs below)
- Check Freight Rates (branded products only)
Branding Options (v), Availability & Lead Times
- 1-Color Imprint: $2.00 ea.
- Promo-Page Insert: $2.50 ea. (full-color printed, single-sided page)
- Belly-Band Wrap: $2.50 ea. (full-color printed)
- Set-Up Charge: $45 per decoration
- Availability: Product availability changes daily, so please confirm your quantity is available prior to placing an order.
- Branded Products: allow 10 business days from proof approval for production. Branding options may be limited or unavailable based on product design or cover artwork.
- Unbranded Products: allow 3-5 business days for shipping. All Unbranded items receive FREE ground shipping in the US. Inquire for international shipping.
- RETURNS/CANCELLATIONS: All orders, branded or unbranded, are NON-CANCELLABLE and NON-RETURNABLE once a purchase order has been received.
Product Details
Author:
Mark Verus Lawson
Format:
Paperback
Pages:
250
Publisher:
CRC Press (November 29, 2018)
Language:
English
ISBN-13:
9780815386650
Weight:
16.25oz
Dimensions:
6.125" x 9.1875"
File:
TAYLORFRANCIS-TayFran_260403050944986-20260403.xml
Folder:
TAYLORFRANCIS
List Price:
$94.99
Case Pack:
10
As low as:
$90.24
Publisher Identifier:
P-CRC
Discount Code:
H
Country of Origin:
United States
Pub Discount:
30
Imprint:
CRC Press
Audience:
Professional and scholarly
Overview
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.
