Discrete structures, logic, and computability / (Record no. 44690)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00917nam a2200205 i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9781284070408 |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.131 |
Item number | HEI |
100 1# - MAIN ENTRY--AUTHOR NAME | |
Personal name | Hein, James L. |
245 10 - TITLE STATEMENT | |
Title | Discrete structures, logic, and computability / |
250 ## - EDITION STATEMENT | |
Edition statement | Fourth edition. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Burlington, MA : |
Name of publisher | Jones & Bartlett Learning, |
Year of publication | [2017] ©2017 |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | xiv, 1039 pages ; |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logic programming. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Data structures (Computer science) |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logic, Symbolic and mathematical. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computable functions. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Reference Books |
Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|---|
Reference | Main Library | Main Library | Reference | 14/10/2019 | Purchased | 12125.00 | 005.131 HEI | 015904 | Reference Books |