1

I want to learn programming.

I have knowledge of mathematical logic.

So, what I am searching is a book (or varios books) for learning to programming, but I think that a book like one which I imagine would be great. As I said, I have knowledge of mathematical logic, hence I have experience with formal languages.

So, I am searching a book where the theory of programing is developed, not a specific language, the theory of programing in a language in general, something like the foundations of programing or the theory of programing languages.

Marco Medina
  • 11
  • 3

2 Answers2

2

I don't know of a single book that covers what you want, but if you are genuinely new to programming but have a mathematical background, I think your first port of call should be:

SICP is out of print, but free online. This, I think, will teach you the basics of what you want to know in the way you want to learn it.

There are a lot of good books in the canon. I'm thinking of:

  • Stepanov & McJones, Elements of Programming.
  • Wirth, Algorithms + Data Structures = Programs.
  • Dahl, Dijkstra, & Hoare, Structured Programming.

And there are plenty more that go deeper into the theoretical side of programming languages, but they are probably more useful to those designing programming languages or compilers.

Regardless, all of these books assume that you know the basics first. So I would recommend working your way through SICP.

Pseudonym
  • 24,523
  • 3
  • 48
  • 99
0

I recommend Conceptual Programming with Python because it was written by mathematicians and it will get you started on a number of topics quickly.

Andrej Bauer
  • 31,657
  • 1
  • 75
  • 121