A logical approach to discrete math
by Gries, David. · first published 1993
100% recommend
Why HN recommends it
Teaches discrete math from formal logic up, with an algebraic approach to proofs that goes on to number theory, graphs and sets; praised for many exercises and for suiting programmers and CS students.
Summarised by Claude from recommending comments
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Mentions per year
What Hacker News says
Related books
2009–2019Prelude to mathematics
W. W. Sawyer
Recommended by 3 · mentioned by 33 recommend · 3 mention3 recommend · 33 recommend
2015–2023Modern graph theory
Béla Bollobás
Recommended by 3 · mentioned by 43 recommend · 4 mention3 recommend · 43 recommend
2009–2023Basic Training in Mathematics
Ramamurti Shankar
Recommended by 2 · mentioned by 42 recommend · 4 mention2 recommend · 42 recommend
2009–2024All the Mathematics You Missed
Thomas A. Garrity
Recommended by 3 · mentioned by 43 recommend · 4 mention3 recommend · 43 recommend
2007–2019Elements of the Theory of Computation
Lewis, Harry R., and Christos H. Papadimitriou
Recommended by 5 · mentioned by 65 recommend · 6 mention5 recommend · 65 recommend
Geometry and the imagination
David Hilbert
Recommended by 7 · mentioned by 107 recommend · 10 mention7 recommend · 107 recommend
2010–2026An introduction to the theory of numbers
Ivan Morton Niven, H. S. Zuckerman, Hugh L. Montgomery
Recommended by 6 · mentioned by 106 recommend · 10 mention6 recommend · 106 recommend
2013–2026How to think like a mathematician
Kevin Houston
Recommended by 8 · mentioned by 108 recommend · 10 mention8 recommend · 108 recommend
The book “A Logical Approach to Discrete Math” by David Gries is excellent for learning math on a theoretical level, and for understanding proofs. I have found that writing software that automatically solves elementary algebra equations using the…
on “Ask HN: How to self-learn high-level math?” ↗…liberal arts introduction but it won't help the reader to convince themselves that the statements and theorems proposed are true and valid. The syntactic approach is really useful as a programmer. A Logical Approach to Discrete Math[0] teaches programmers how to develop proofs in this style using logic and syntactic substitution. Once shown how easy it is to achieve rigour it is hoped that work-a-day programmers can formulate their…
on “Category Theory, Syntactically (2016)” ↗The Art of Computer Programming Structure and Interpretation of Computer Programs Purely Functional Data Structures Programming in the 1990s A Logical Approach to Discrete Math
on “Ask HN: What are the most fundamental books on computer science?” ↗I found "A Logical Approach to Discrete Math" by Gries and Schneider to be delightful. It teaches discrete math using formal logic as the basis of the whole system. http://www.amazon.com/Logical-Approach-Discrete-Monographs-C...
on “Great Math Books as Recommended by Our Readers” ↗How To Solve It by G. Polya https://press.princeton.edu/books/paperback/9780691164076/ho... A Logical Approach to Discrete Math by David Greis and Fred Schneider, https://link.springer.com/book/10.1007/978-1-4757-3837-7 I'm self-taught so for me it was learning how to write proofs that gave me a big boost in being able to branch…
on “Ask HN: Math books that made you significantly better at math?” ↗…definitions. CrabML becomes close to what I can grok syntax-wise. I spent many years with C++ and I can read TyoeScript… but to me they’re examples of bad syntax, not role models. However if you read A Logical Approach to Discrete Math or Programming in the 1990s you’ll know just how syntax matters… most programming languages can’t even reach this level of which is why I think semantics are more important.
on “Rust's Ugly Syntax” ↗…different domains and so have a different list of books. I hope someone finds this useful. For those who want a summary, Proof Technique (a)Velleman's "How to Prove It" (b)Gries and Schneider's "A Logical Approach to Discrete Math" Math (c) Calculus (best "lite" book - Calculus by Strang (free download), best "heavy" books - (d) Calculus by Spivak, (e) Principles of Mathematical Analysis a.k.a "Baby Rudin") (f) Discrete Math…
on “Learning About Statistical Learning” ↗I personally liked "A Logical Approach to Discrete Math" by Gries and Schneider which can be had for a good price on Amazon. As for statustics, I liked "Statistics: A Gentle Introduction" by Coolidge and "Principles of Statistics" by Bullmer which can be…
on “Ask HN: good math books” ↗Somewhat dated but...I really like "A Logical Approach to Discrete Math" by Gries and Schneider. It uses an algebraic approach to introduce logic then works its way into number theory, graphs, and sets. There are a lot of good exercises and the topics are highly relevant…
on “Classic Mathematics Books for Lifelong Learners” ↗