0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Buy Now

Introduction to Logic, Third Edition (Paperback, 3rd Revised edition) Loot Price: R1,519
Discovery Miles 15 190
Introduction to Logic, Third Edition (Paperback, 3rd Revised edition): Michael Genesereth, Eric J Kao

Introduction to Logic, Third Edition (Paperback, 3rd Revised edition)

Michael Genesereth, Eric J Kao

Series: Synthesis Lectures on Computer Science

 (sign in to rate)
Loot Price R1,519 Discovery Miles 15 190 | Repayment Terms: R142 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. The approach differs from that taken by other books in logic in two essential ways, one having to do with content, the other with form. Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand and leaves them with a deeper understanding of what logic is all about. In addition to this text, there are online exercises (with automated grading), online logic tools and applications, online videos of lectures, and an online forum for discussion. They are available at http://intrologic.stanford.edu/

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Synthesis Lectures on Computer Science
Release date: November 2016
First published: 2017
Authors: Michael Genesereth • Eric J Kao
Dimensions: 235 x 191mm (L x W)
Format: Paperback
Pages: 163
Edition: 3rd Revised edition
ISBN-13: 978-3-03-100673-9
Languages: English
Subtitles: English
Categories: Books > Science & Mathematics > Mathematics > General
Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Applications of computing > General
Promotions
LSN: 3-03-100673-9
Barcode: 9783031006739

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
R1,282 R1,152 Discovery Miles 11 520
Oracle 12c - SQL
Joan Casteel Paperback  (1)
R1,321 R1,183 Discovery Miles 11 830
Systems Analysis And Design
Scott Tilley Hardcover R1,301 R1,167 Discovery Miles 11 670
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,188 R1,072 Discovery Miles 10 720
Introduction to Computer Theory
Daniel I. A. Cohen Paperback  (4)
R6,786 Discovery Miles 67 860
Discovering Computers 2018 - Digital…
Misty Vermaat, Steven Freund, … Paperback R1,271 R1,142 Discovery Miles 11 420
Dynamic Web Application Development…
David Parsons, Simon Stobart Paperback R1,258 R1,128 Discovery Miles 11 280
Program Construction - Calculating…
Roland Backhouse Paperback R2,712 Discovery Miles 27 120
Introduction to the Theory of…
Michael Sipser Hardcover R1,270 R1,136 Discovery Miles 11 360
Discovering Computers, Essentials…
Susan Sebok, Jennifer Campbell, … Paperback R1,207 R1,082 Discovery Miles 10 820
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,875 Discovery Miles 18 750
Principles of Biomedical Informatics
Ira J. Kalet Ph.D. Hardcover R1,797 Discovery Miles 17 970

See more

Partners