000 -LEADER |
fixed length control field |
05654nam a2200781 i 4500 |
001 - CONTROL NUMBER |
control field |
6812988 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
IEEE |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20200413152911.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 |
130917s2013 caua foab 000 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781627052481 |
Qualifying information |
electronic bk. |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Canceled/invalid ISBN |
9781627052474 |
Qualifying information |
pbk. |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.2200/S00518ED2V01Y201306CSL006 |
Source of number or code |
doi |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(CaBNVSL)swl00402735 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)858583601 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
CaBNVSL |
Language of cataloging |
eng |
Description conventions |
rda |
Transcribing agency |
CaBNVSL |
Modifying agency |
CaBNVSL |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
BC15 |
Item number |
.G455 2013 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
160.9 |
Edition number |
23 |
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) |
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) |
|
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) |
MoCl |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Genesereth, Michael R., |
Dates associated with a name |
1948-, |
Relator term |
author. |
245 10 - TITLE STATEMENT |
Title |
Introduction to logic / |
Statement of responsibility, etc. |
Michael Genesereth and Eric Kao. |
250 ## - EDITION STATEMENT |
Edition statement |
Second edition. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : |
Name of producer, publisher, distributor, manufacturer |
Morgan & Claypool, |
Date of production, publication, distribution, manufacture, or copyright notice |
2013. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 PDF (xi, 151 pages) : |
Other physical details |
illustrations. |
336 ## - CONTENT TYPE |
Content type term |
text |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
electronic |
Source |
isbdmedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Source |
rdacarrier |
490 1# - SERIES STATEMENT |
Series statement |
Synthesis lectures on computer science, |
International Standard Serial Number |
1932-1686 ; |
Volume/sequential designation |
# 6 |
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 (page 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. Satisfiability -- 3.1 Introduction -- 3.2 Truth table method -- 3.3 Basic backtracking search -- 3.4 Simplification and unit propagation -- 3.5 DPLL -- 3.6 GSAT -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
4. Propositional proofs -- 4.1 Introduction -- 4.2 Linear proofs -- 4.3 Structured proofs -- 4.4 Fitch -- 4.5 Soundness and completeness -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
5. Propositional resolution -- 5.1 Introduction -- 5.2 Clausal form -- 5.3 Resolution principle -- 5.4 Resolution reasoning -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
6. Relational 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 relational logic -- 6.12 Logical entailment -- 6.13 Finite relational logic -- 6.14 Omega relational logic -- 6.15 General relational logic -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
7. Relational 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 Domain closure -- 9.3 Linear Induction -- 9.4 Tree induction -- 9.5 Structural induction -- 9.6 Multidimensional induction -- 9.7 Embedded induction -- 9.8 Recap -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
10. Equality -- 10.1 Introduction -- 10.2 Properties of equality -- 10.3 Substitution -- 10.4 Fitch with equality -- 10.5 Example, group theory -- 10.6 Recap -- |
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 title page (viewed on September 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 |
relational 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., |
Relator term |
author. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Print version: |
International Standard Book Number |
9781627052474 |
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 |
# 6. |
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=6812988 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
Abstract with links to full text |
Uniform Resource Identifier |
http://dx.doi.org/10.2200/S00518ED2V01Y201306CSL006 |