| 000 -LEADER |
|---|
| fixed length control field |
05540nam a2200721 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
6812866 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
IEEE |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200413152908.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m eo d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn |||m|||a |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
130217s2012 caua foab 000 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781627050067 (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9781627050050 (pbk.) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.2200/S00432ED1V01Y201207CSL005 |
| Source of number or code |
doi |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(CaBNVSL)swl00402155 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)827936351 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
CaBNVSL |
| Transcribing agency |
CaBNVSL |
| Modifying agency |
CaBNVSL |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
BC15 |
| Item number |
.G455 2012 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
160.9 |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Genesereth, Michael R., |
| Dates associated with a name |
1948- |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Introduction to logic |
| Medium |
[electronic resource] / |
| Statement of responsibility, etc. |
Michael Genesereth and Eric Kao. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : |
| Name of publisher, distributor, etc. |
Morgan & Claypool, |
| Date of publication, distribution, etc. |
c2012. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 electronic text (xiii, 151 p.) : |
| Other physical details |
ill., digital file. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Synthesis lectures on computer science, |
| International Standard Serial Number |
1932-1686 ; |
| Volume/sequential designation |
# 5 |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
Mode of access: World Wide Web. |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
System requirements: Adobe Acrobat Reader. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Part of: Synthesis digital library of engineering and computer science. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Series from website. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references (p. 149). |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Preface -- 1. Introduction -- 1.1 Logic -- 1.2 Elements of logic -- 1.3 Formalization -- 1.4 Automation -- 1.5 Reading guide -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
2. Propositional logic -- 2.1 Introduction -- 2.2 Syntax -- 2.3 Semantics -- 2.4 Satisfaction -- 2.5 Logical properties of propositional sentences -- 2.6 Propositional entailment -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
3. Propositional proofs -- 3.1 Introduction -- 3.2 Linear proofs -- 3.3 Structured proofs -- 3.4 Fitch -- 3.5 Soundness and completeness -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
4. Propositional resolution -- 4.1 Introduction -- 4.2 Clausal form -- 4.3 Resolution principle -- 4.4 Resolution reasoning -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
5. Satisfiability -- 5.1 Introduction -- 5.2 Truth table method -- 5.3 Basic backtracking search -- 5.4 Simplification and unit propagation -- 5.5 DPLL -- 5.6 GSAT -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
6. Herbrand logic -- 6.1 Introduction -- 6.2 Syntax -- 6.3 Semantics -- 6.4 Example: Sorority world -- 6.5 Example: Blocks world -- 6.6 Example: Modular arithmetic -- 6.7 Example: Peano arithmetic -- 6.8 Example: Linked lists -- 6.9 Example: Pseudo English -- 6.10 Example: Metalevel logic -- 6.11 Properties of sentences in Herbrand logic -- 6.12 Logical entailment -- 6.13 Finite Herbrand logic -- 6.14 Omega Herbrand logic -- 6.15 General Herbrand logic -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
7. Herbrand logic proofs -- 7.1 Introduction -- 7.2 Proofs -- 7.3 Example -- 7.4 Example -- 7.5 Example -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
8. Resolution -- 8.1 Introduction -- 8.2 Clausal form -- 8.3 Unification -- 8.4 Resolution principle -- 8.5 Resolution reasoning -- 8.6 Unsatisfiability -- 8.7 Logical entailment -- 8.8 Answer extraction -- 8.9 Strategies -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
9. Induction -- 9.1 Introduction -- 9.2 Finite induction -- 9.3 Linear induction -- 9.4 Tree induction -- 9.5 Structural induction -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
10. First order logic -- 10.1 Introduction -- 10.2 Conceptualization -- 10.3 Syntax and semantics -- 10.4 Blocksworld -- 10.5 Arithmetic -- 10.6 Properties of sentences -- 10.7 Logical entailment -- 10.8 Proofs -- 10.9 Examples: equality -- 10.10 Example: blocksworld -- 10.11 Example: arithmetic -- 10.12 Soundness and completeness -- 10.13 Herbrand logic versus first order logic -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
A. Summary of Fitch rules -- Bibliography -- Authors' biographies. |
| 506 1# - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
Abstract freely available; full-text restricted to subscribers or individual document purchasers. |
| 510 0# - CITATION/REFERENCES NOTE |
|---|
| Name of source |
Compendex |
| 510 0# - CITATION/REFERENCES NOTE |
|---|
| Name of source |
INSPEC |
| 510 0# - CITATION/REFERENCES NOTE |
|---|
| Name of source |
Google scholar |
| 510 0# - CITATION/REFERENCES NOTE |
|---|
| Name of source |
Google book search |
| 520 3# - SUMMARY, ETC. |
|---|
| Summary, etc. |
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. |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
|---|
| Additional physical form available note |
Also available in print. |
| 588 ## - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Title from PDF t.p. (viewed on February 17, 2013). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic. |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
formal logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
symbolic logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
propositional logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Herbrand logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
first-order logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
deduction |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
reasoning |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
artificial intelligence |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kao, Eric. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| International Standard Book Number |
9781627050050 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Synthesis digital library of engineering and computer science. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Synthesis lectures on computer science ; |
| Volume/sequential designation |
# 5. |
| International Standard Serial Number |
1932-1686 |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Abstract with links to resource |
| Uniform Resource Identifier |
http://ieeexplore.ieee.org/servlet/opac?bknumber=6812866 |
