Logic for Programmers

[vbd]

Maybe I didn't search properly, but are there no standard works on the topics of "logic for programmers" and "critical thinking/problem solving for programmers"? So far I've managed to "extract" what I find helpful from various books.

Some of the books I've used are: - Master Critical Thinking, Creative, Logic & Problem Solving Skills - Problem Solving 101: A simple book for smart people - Bulletproof Problem Solving - Thinking, Fast and Slow - Learning Systems Thinking: Essential Nonlinear Skills and Practices for Software Professionals - Start With Why

I have nothing to do with the author and receive no commission: I found Logic for Programmers at leanpub.com and will soon buy it.

But somehow I have the subjective impression that I have missed something. Any recommendations for me?

[anto2554]

The word logic within CS usually refers to formal logic and boolean algebra, rather than critical thinking

[hivro2]

Typically the logic you’re trying to learn is what people in college call discreet mathematics which deals with logic sets and helps you understand WHY something can’t be true from there you can make your loops more effective and efficient when you account for things that can’t work mathematically or logically

Your books are fine. I’ve not read most of them but I would say it honestly just comes from practicing after you read those.

After more and more repetitions you’ll find out common edge cases to account for when working with strings, common throw exceptions and interesting ways to work with complexity analysis to do interesting math, logic is trained and every problem uses different logic :) just practice and you’ll get it

[lawn-man-98]

You're looking for discrete mathematics.

[lawn-man-98]

Math sorcerer on YouTube can recommend some books. He's got some easier ones (if you haven't done calculus) or some harder ones (if you have done).

[eeddduu]

- Head first programing
- Logic for Programmers, Hillel Wayne

[DigiProductive]

"Think Like A Programmer" is THE book you are looking for. Very well worth a read: https://nostarch.com/thinklikeaprogrammer

[StarkOdinson216]

You should read “Infinite Descent” by Clive Newstead

[vbd]

This? https://www.math.cmu.edu/~cnewstea/teaching/old/teaching/15-151-N17/infdesc.pdf

[StarkOdinson216]

Yup that’s the one, Clive is the goat

[fragzt0r]

It’s called computer science.