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
Seller Image
First Course in Logic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 33207871-n
Stock Image
A First Course in Logic
Published by
Taylor & Francis Inc, 2018
ISBN 10: 0815386656
ISBN 13: 9780815386650
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780815386650
Stock Image
A First Course in Logic
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 250. Seller Inventory # 370403860
Stock Image
A First Course in Logic
Published by
Taylor & Francis Inc, 2018
ISBN 10: 0815386656
ISBN 13: 9780815386650
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 405. Seller Inventory # B9780815386650
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 # 33207871
Stock Image
A First Course in Logic
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 250. Seller Inventory # 26375674315
Stock Image
A First Course in Logic
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 250. Seller Inventory # 18375674305
Stock Image
A First Course in Logic
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 246 pages. 9.00x6.00x0.50 inches. In Stock. Seller Inventory # zk0815386656
Seller Image
A First Course in Logic
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Kartoniert / Broschiert. Condition: New. 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 application. Seller Inventory # 595053390
Seller Image
A First Course in Logic
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - 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. Seller Inventory # 9780815386650