Mathematical structures for computer science / (Record no. 1259)

000 -LEADER
fixed length control field 03085nam a2200373 a 4500
001 - CONTROL NUMBER
EWU control number 1259
003 - CONTROL NUMBER IDENTIFIER
control field BD-DhEWU
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20190310160716.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 971103s1993 nyua 001 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 4867196
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0716782596
International Standard Book Number 9780716782599
035 ## - SYSTEM CONTROL NUMBER
OCLC control number (OCoLC) 25165087
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency BD-DhEWU
Language of cataloging eng
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA39.2
Item number .G47 1993
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151
Author mark and Year GEM 1993
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Gersting, Judith L.
9 (RLIN) 1416
245 10 - TITLE STATEMENT
Title Mathematical structures for computer science /
Statement of responsibility, etc Judith L. Gersting.
250 ## - EDITION STATEMENT
Edition statement 3rd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New York :
Name of publisher, distributor, etc Computer Science Press,
Date of publication, distribution, etc c1993.
300 ## - PHYSICAL DESCRIPTION
Extent xxiv, 757 p. :
Other physical details ill. (some col.) ;
Dimensions 25 cm.
500 ## - GENERAL NOTE
General note Mathematical Structuresfor Computer Science has long been a leading textbook in its field. In this latest edition, judith Gersting takes a fresh new approach to communicating the often elusive concepts of discrete mathematics-one that is particularly appropriate for beginning students of computer science. Thoroughly revised and streamlined the book now homes in on the fundamentals of discrete mathematics, providing clear explanations of basic topics such as predicate logic, program verification, and recursion. It features a number of new examples and applications that todav's computer science student will find particularly relevant and fascinating. Numerous new computer exercises, study aids, and 'practice problems' that help reinforce understanding through laboratory-srvle experimentation have been added. New for this edition: Expanded treatment of predicate logic. Expanded discussion of recursion. Fuller treatment of program verification. New systematic solution strategies for certain tv es of recurrence relations. Thorough coverage of complete induction. Discussions of set implementations in programming languages, object-oriented programming, and relational database operations. Separate sections on inclusion/exclusion and the pigeonhole principle. New coverage of entity/relationship database design and topological sorting-* Additional graph theory algorithms. An instructor's manual is also available.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes index.
505 ## - FORMATTED CONTENTS NOTE
Title Table of contents
Contents note 1. Formal Logic --<br/>2. Proofs, Recursion, and Analysis of Algorithms --<br/>3. Sets and Combinatorics --<br/>4. Relations, Functions, and Matrices --<br/>5. Graphs and Trees --<br/>6. Graph Algorithms --<br/>7. Boolean Algebra and Computer Logic --<br/>8. Modeling Arithmetic, Computation, and Languages --<br/>Appendix A: Summation Notation --<br/>Appendix B: The Logarithm Function
526 ## - STUDY PROGRAM INFORMATION NOTE
Program name Computer Science & Engineering
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name Mathematics.
9 (RLIN) 1417
Topical term or geographic name Mathematical models.
9 (RLIN) 1418
Topical term or geographic name Computer science
General subdivision Mathematics.
Source of heading or term SLSH
9 (RLIN) 1419
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials Specified WorldCat details
Uniform Resource Identifier http://www.worldcat.org/title/mathematical-structures-for-computer-science/oclc/25165087&referer=brief_results
-- http://www.amazon.com/Mathematical-Structures-Computer-Science-Sciences/dp/0716782596/ref=sr_1_1?s=books&ie=UTF8&qid=1365053711&sr=1-1&keywords=9780716782599
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Text
Holdings
Lost status Source of classification or shelving scheme Not for loan Collection code Permanent Location Current Location Shelving location Date of accession Cost, normal purchase price Full call number Barcode Copy number Koha item type
    Not For Loan Non-fiction EWU Library EWU Library Reserve Section 1997-11-03 0.00 004.0151 GEM 1993 2380 C-1 Text

Library Home | Contacts | E-journals
Copyright @ 2011-2019 EWU Library
East West University