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

MARC details
000 -LEADER
fixed length control field 02336cam a2200313 a 4500
001 - CONTROL NUMBER
control field 12689964
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230729092013.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 020301s2003 nyua 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2002002589
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0716743582
035 ## - SYSTEM CONTROL NUMBER
System control number (DLC)5213
035 ## - SYSTEM CONTROL NUMBER
System control number (DLC) 2002002589
040 ## - CATALOGING SOURCE
Original cataloging agency BUL
Transcribing agency BUL
Modifying agency BUL
Language of cataloging eng
Description conventions rda
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151
Edition number 21
Item number GER
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Gersting, Judith L.
245 10 - TITLE STATEMENT
Title Mathematical structures for computer science /
Statement of responsibility, etc. Judith L. Gersting.
250 ## - EDITION STATEMENT
Edition statement 5th edition.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. W.H. Freeman,
Date of publication, distribution, etc. c2003.
300 ## - PHYSICAL DESCRIPTION
Extent xix, 729 p. :
Other physical details ill. ;
Dimensions 27 cm.
500 ## - GENERAL NOTE
General note Table of content <br/>1:Formal logic<br/>1.1 statements, symbolic representation and tautologies<br/>1.2 propositional logic<br/>1.3 qualifiers, predicates and validity<br/>1.4 predicate logic<br/>1.5 logic programming<br/>1.6 proof of correctness<br/>2: proofs, recursion, and analysis of algorithms<br/>2.1 proof techniques<br/>2.2 induction<br/>2.3 more on proof of correctness<br/>2.4 recursion and recurrence relations<br/>2.5 analysis of algorithms<br/>3: sets, combinatorics and probability<br/>3.1 sets<br/>3.2 counting<br/>3.3 principles of inclusion and exclusion; pigeonhole principle<br/>3.4 permutations and combinations<br/>3.5 probability<br/>3.6 binomial theorem<br/>4: relations, functions and matrices<br/>4.1 relations<br/>4.2 topological sorting<br/>4.3 relations and database<br/>4.4 functions<br/>4.5 matrices<br/>5: graphs and tress<br/>5.1 graphs and their representation<br/>5.2 tress and their representation <br/>5.3 decision trees<br/>5.4 Huffman codes<br/>6: graph algorithms<br/>6.1 directed graph and binary relations; warshall's algorithm<br/>6.2 Euler path and Hamiltonian circuit <br/>6.3 shortest path and minimal spanning tress<br/>6.4 traversal algorithms<br/>7: Boolean algebra and computer logic<br/>7.1 Boolean algebra structure<br/>7.2 logic networks<br/>7.3 minimisation <br/>8: modelling arithmetic, computation and languages<br/>8.1 algebraic structure <br/>8.2 finite-state machines<br/>8.3 turning machines<br/>8.4 formal languages
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note index: p710--729
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematics.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical models.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science
General subdivision Mathematics.
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy1009/2002002589-d.html">http://www.loc.gov/catdir/enhancements/fy1009/2002002589-d.html</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Book Closed Access
Edition 5th edition.
Classification part 004.0151
Item part 1
Call number prefix GER.
Call number suffix 004.0151 GER.
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Source of acquisition Inventory number Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Engineering Library Engineering Library 01/12/2021 Purchase 0009675   004.0151 GER. 1 BUML23070534 01/12/2021 1 01/12/2021 Book Open Access