European Mathematical Society - Harry Lewis and Rachel Zax
https://euro-math-soc.eu/author/harry-lewis-and-rachel-zax
enEssential Discrete Mathematics for Computer Science
https://euro-math-soc.eu/review/essential-discrete-mathematics-computer-science-0
<div class="field field-name-field-review-review field-type-text-with-summary field-label-hidden"><div class="field-items"><div class="field-item even"><div class="tex2jax"><p>When I accepted to write this review, I did not pay much attention to the endorsements appearing in the back cover, because after all they look simply as ads trying to sell the book. Now, after reading the whole book, I looked back at them and I must say that I fully agree with their statements, so I also want to convince all of you to get this book, read and enjoy it as much as I did in the past weeks. </p>
<p>The authors have managed to pack in about 400 pages all the material that I would expect in a discrete mathematics textbook at this level, including all of the following:</p>
<p>- Proof techniques and induction,<br />
- Sets, relations, and functions,<br />
- Propositional and quantificational logic,<br />
- Directed and undirected graphs,<br />
- Finite automata and regular languages,<br />
- Order notation and complexity of algorithms,<br />
- Basic combinatorics,<br />
- Recurrence relations,<br />
- Discrete probability, and<br />
- Modular arithmetic and public key cryptography.</p>
<p>Since other textbooks cover similar material in more than one thousand denser pages, it is clear that the treatment cannot be so exhaustive and some other things have to be excluded (for example, the number of proposed exercises in each chapter of the reviewed textbook is smaller than in other textbooks on the same subject), and hence the contents faithfully correspond to the “essential” idea in the title. The book provides a comprehensive introduction to really all the essential concepts that a student of Computer Science must learn in order to understand the foundations of the discipline. </p>
<p>The textbook is written as to be self contained, requiring little algebra and calculus in the way of prerequisites, but this does not mean that it forgets about mathematical rigor; on the contrary, it begins by introducing proof techniques and then emphasizes mathematical reasoning throughout the whole development (as the authors insist at the beginning, almost all results are proved in detail), together with enough intuition to make the explanations very clear. This is also accomplished by including computing motivations which, in addition to helping the student to understand the concepts, provide a global view of the subject that otherwise can be seen as a set of disconnected pieces. Furthermore, the text is very well written and I have only found three errata and a misplaced definition in 400 pages, which is quite difficult to accomplish. The first author is already very well-known for, among other things, excellent textbooks such as “Elements of the Theory of Computation” with C. Papadimitriou, but here he has put at work all his experience combined with the software engineering expertise of the second author, and both of them together have managed to produce a remarkable textbook that is a pleasure to read; for this reason, it is also perfect for self-study at any level. </p>
<p>Although the contents of this textbook do not fit exactly the syllabus of the discrete mathematics course in my school (where more logic is included in this course at the same time that probability is taught in another mathematics course, while automata and algorithm complexity deserve a separate course each), I have already told my colleagues teaching the discrete mathematics course that this textbook should be included as supplementary material, and at the same time I have ordered some copies for our library. Because, as I said at the beginning of this review, I want to share with everybody my enjoyment of this excellent textbook.</p>
</div></div></div></div><div class="field field-name-field-review-reviewer field-type-text field-label-inline clearfix"><div class="field-label">Reviewer: </div><div class="field-items"><div class="field-item even"> </div></div></div><span class="vocabulary field field-name-field-review-author field-type-taxonomy-term-reference field-label-inline clearfix"><h2 class="field-label">Author: </h2><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/author/harry-lewis-and-rachel-zax" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Harry Lewis and Rachel Zax</a></li></ul></span><span class="vocabulary field field-name-field-review-publisher field-type-taxonomy-term-reference field-label-inline clearfix"><h2 class="field-label">Publisher: </h2><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/publisher/princeton-university-press" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">princeton university press</a></li></ul></span><div class="field field-name-field-review-pub field-type-number-integer field-label-inline clearfix"><div class="field-label">Published: </div><div class="field-items"><div class="field-item even">2019</div></div></div><div class="field field-name-field-review-isbn field-type-text field-label-inline clearfix"><div class="field-label">ISBN: </div><div class="field-items"><div class="field-item even">9780691179292</div></div></div><div class="field field-name-field-review-price field-type-text field-label-inline clearfix"><div class="field-label">Price: </div><div class="field-items"><div class="field-item even">US$ 75.00</div></div></div><div class="field field-name-field-review-pages field-type-number-integer field-label-inline clearfix"><div class="field-label">Pages: </div><div class="field-items"><div class="field-item even">408</div></div></div><span class="vocabulary field field-name-field-review-class field-type-taxonomy-term-reference field-label-hidden"><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/imu/mathematical-aspects-computer-science" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Mathematical Aspects of Computer Science</a></li><li class="vocabulary-links field-item odd"><a href="/imu/mathematics-science-and-technology" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Mathematics in Science and Technology</a></li></ul></span><div class="field field-name-field-review-website field-type-text field-label-hidden"><div class="field-items"><div class="field-item even"><a href="https://press.princeton.edu/titles/13651.html" title="Link to web page">https://press.princeton.edu/titles/13651.html</a></div></div></div><span class="vocabulary field field-name-field-review-msc field-type-taxonomy-term-reference field-label-hidden"><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/msc/68-computer-science" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">68 Computer science</a></li></ul></span><span class="vocabulary field field-name-field-review-msc-full field-type-taxonomy-term-reference field-label-hidden"><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/msc-full/68rxx" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">68Rxx</a></li></ul></span><span class="vocabulary field field-name-field-review-msc-other field-type-taxonomy-term-reference field-label-hidden"><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/msc-full/68r01" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">68R01</a></li></ul></span>Wed, 15 May 2019 15:32:26 +0000Narciso Marti-Oliet49349 at https://euro-math-soc.euhttps://euro-math-soc.eu/review/essential-discrete-mathematics-computer-science-0#comments