Essential discrete mathematics for computer science / (Record no. 254)

MARC details
000 -LEADER
fixed length control field 02564cam a22004337i 4500
001 - CONTROL NUMBER
control field 20699537
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220105111131.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 181009s2019 njua b 001 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2018960770
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780691179292
Qualifying information hardback
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0691179298
Qualifying information hardback
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)on1051134793
040 ## - CATALOGING SOURCE
Original cataloging agency YDX
Language of cataloging eng
Transcribing agency YDX
Description conventions rda
Modifying agency OCLCQ
-- YDXIT
-- MNW
-- BUB
-- OCLCF
-- YDXIT
-- CHVBK
-- OCLCO
-- BDX
-- COD
-- EG-CaTKH
042 ## - AUTHENTICATION CODE
Authentication code lccopycat
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.M35
Item number L485 2019
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151 LE.E 2019
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Lewis, Harry R.,
Relator term author.
245 10 - TITLE STATEMENT
Title Essential discrete mathematics for computer science /
Statement of responsibility, etc. Harry Lewis and Rachel Zax.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Princeton and Oxford :
Name of producer, publisher, distributor, manufacturer Princeton University Press,
Date of production, publication, distribution, manufacture, or copyright notice 2019.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 388 pages :
Other physical details illustrations ;
Dimensions 27 cm
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term unmediated
Media type code n
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term volume
Carrier type code nc
Source rdacarrier
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note The pigeonhole principle -- Basic proof techniques -- Proof by mathematical induction -- Strong induction -- Sets -- Relations and functions -- Countable and uncountable sets -- Structural induction -- Propositional logic -- Normal forms -- Logic and computers -- Quantificational logic -- Directed graphs -- Digraphs and relations -- States and invariants -- Undirected graphs -- Connectivity -- Coloring -- Finite automata -- Regular languages -- Order notation -- Counting -- Counting subsets -- Series -- Recurrence relations -- Probability -- Bayes' theorem -- Random variables and expectation -- Modular arithmetic -- Public key cryptography.
520 ## - SUMMARY, ETC.
Summary, etc. Discrete mathematics is the basis of much of computer science, from algorithms and automata theory to combinatorics and graph theory. Essential Discrete Mathematics for Computer Science aims to teach mathematical reasoning as well as concepts and skills by stressing the art of proof. It is fully illustrated in color, and each chapter includes a concise summary as well as a set of exercises.--
Assigning source Source other than the Library of Congress.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science
General subdivision Mathematics.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science
General subdivision Mathematics.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Diskrete Mathematik
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Informatik
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Zax, Rachel,
Relator term author.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Cataloger's name mona.romia
Cataloging process M
First Date, FD (RLIN) 20220105
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c copycat
d 2
e ncip
f 20
g y-gencatlg
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Date acquired Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
    Dewey Decimal Classification     Computing The Knowledge Hub Library The Knowledge Hub Library 08/16/2020 1101.00   004.0151 LE.E 2019 190283 08/16/2020 1101.00 08/16/2020 Books