Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Mark V. Lawson is a professor in the department of mathematics at Heriot-Watt University. Dr. Lawson has published over 70 papers, and has written four books. His research interests focus on algebraic semigroup theory and its applications.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for A First Course in Logic
Stock Image
FIRST COURSE IN LOGIC
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26375766200
Stock Image
FIRST COURSE IN LOGIC
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 370279271
Buy New
US$ 156.21
Shipping:
US$ 8.55
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
FIRST COURSE IN LOGIC
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 18375766194
Stock Image
A First Course in Logic
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: New. Seller Inventory # 6666-TNFPD-9780815386643
Buy New
US$ 166.96
Shipping:
US$ 20.38
From United Kingdom to U.S.A.
Quantity: 5 available
Seller Image
First Course in Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 33207870-n
Stock Image
A First Course in Logic
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190234188
Seller Image
First Course in Logic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 33207870
Buy Used
US$ 212.71
Shipping:
US$ 19.73
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
A First Course in Logic
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA77508153866486
Buy Used
US$ 201.89
Shipping:
US$ 32.89
From United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
First Course in Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 33207870
Stock Image
A First Course in Logic
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780815386643