عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 L49 2019
QA76
.
9
.
M35
L49
2019
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0691179298
(Number (ISBN
9780691179292
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Essential discrete mathematics for computer science /
General Material Designation
[Book]
First Statement of Responsibility
Harry Lewis and Rachel Zax.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Princeton, New Jersey :
Name of Publisher, Distributor, etc.
Princeton University Press,
Date of Publication, Distribution, etc.
[2019]
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 388 pages :
Other Physical Details
illustrations ;
Dimensions
27 cm
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of 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.
0
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science-- Mathematics.
Computer science-- Mathematics.
Diskrete Mathematik
Informatik
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
Book number
L49
2019
PERSONAL NAME - PRIMARY RESPONSIBILITY
Lewis, Harry R.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Zax, Rachel
ORIGINATING SOURCE
Date of Transaction
20200822123102.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
