| 000 -LEADER |
|---|
| fixed length control field |
06097nam a2200805 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
7748632 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
IEEE |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200413152922.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 |
161205s2017 caua foab 000 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781627059992 |
| Qualifying information |
electronic bk. |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9781627056366 |
| Qualifying information |
paperback |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.2200/S00734ED2V01Y201609CSL008 |
| Source of number or code |
doi |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(CaBNVSL)swl00406950 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)965304393 |
| 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 2017 |
| 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-, |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Introduction to logic / |
| Statement of responsibility, etc. |
Michael Genesereth, Eric Kao. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
Third 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 |
2017. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 PDF (xiii, 163 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 |
# 8 |
| 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 161). |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
1. Introduction -- 1.1 Introduction -- 1.2 Possible worlds -- 1.3 Logical sentences -- 1.4 Logical entailment -- 1.5 Logical proofs -- 1.6 Formalization -- 1.7 Automation -- 1.8 Reading guide -- 1.9 Exercises -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
2. Propositional logic -- 2.1 Introduction -- 2.2 Syntax -- 2.3 Semantics -- 2.4 Evaluation -- 2.5 Satisfaction -- 2.6 Example-natural languagE -- 2.7 Example-digital circuits -- 2.8 Exercises -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
3. Logical properties and relationships -- 3.1 Introduction -- 3.2 Logical properties -- 3.3 Logical equivalence -- 3.4 Logical entailment -- 3.5 Logical consistency -- 3.6 Connections between properties and relationships -- 3.7 Exercises -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
4. Propositional proofs -- 4.1 Introduction -- 4.2 Linear reasoning -- 4.3 Hypothetical reasoning -- 4.4 Fitch -- 4.5 Reasoning tips -- 4.6 Soundness and completeness -- 4.7 Exercises -- |
| 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 -- 5.5 Exercises -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
6. Relational logic -- 6.1 Introduction -- 6.2 Syntax -- 6.3 Semantics -- 6.4 Evaluation -- 6.5 Satisfaction -- 6.6 Example- sorority world -- 6.7 Example- blocks world -- 6.8 Example- modular arithmetic -- 6.9 Logical properties -- 6.10 Logical entailment -- 6.11 Relational logic and propositional logic -- 6.12 Exercises -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
7. Relational analysis -- 7.1 Introduction -- 7.2 Truth tables -- 7.3 Semantic trees -- 7.4 Boolean models -- 7.5 Non-boolean models -- 7.6 Exercises -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
8. Relational proofs -- 8.1 Introduction -- 8.2 Proofs -- 8.3 Example -- 8.4 Example -- 8.5 Example -- 8.6 Exercises -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
9. Herbrand logic -- 9.1 Introduction -- 9.2 Syntax and semantics -- 9.3 Evaluation and satisfaction -- 9.4 Example- Peano arithmetic -- 9.5 Example- linked lists -- 9.6 Example- pseudo English -- 9.7 Example- metalevel logic -- 9.8 Undecidability -- 9.9 Exercises -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
10. Herbrand proofs -- 10.1 Introduction -- 10.2 Non-compactness and incompleteness -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
11. Induction -- 11.1 Introduction -- 11.2 Domain closure -- 11.3 Linear induction -- 11.4 Tree induction -- 11.5 Structural induction -- 11.6 Multidimensional induction -- 11.7 Embedded induction -- 11.8 Exercises -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
12. Resolution -- 12.1 Introduction -- 12.2 Clausal form -- 12.3 Unification -- 12.4 Resolution principle -- 12.5 Resolution reasoning -- 12.6 Unsatisfiability -- 12.7 Logical entailment -- 12.8 Answer extraction -- 12.9 Strategies -- 12.10 Exercises -- |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 December 5, 2016). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Herbrand's theorem (Number theory) |
| 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 |
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 |
9781627056366 |
| 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 |
# 8. |
| 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=7748632 |
