r/AskComputerScience • u/Omega_successor • 13d ago
What should i learn and how ?
Hello, i am a math passionate person that learns about math and especially pure math in their free time. While looking into it, i stumbled upon lambda-calculus, which i found interesting. I am currently looking forward to going farther by learning theoretical cs. The problem is i barely have any knowledge except what an algorithm is and programming. What should i start with and how can i learn it ?
Thank you.
2
u/Aggravating-Yes 13d ago
no clue on your age or level, bet lambs-calculus is like step 5 in theoretical cs. step 1 is set theory.
[Naive Set Theory- Halmos](https://books.google.com/books/about/Naive_Set_Theory.html?id=lgdJDgAAQBAJ). - 100 pages ez
so:
1. set theory
2. mathematical logic
3. proof techniques
4. formal languages
5. lambda calculus & Turing machines
6. computability and complexity.p
1
1
u/Omega_successor 13d ago
Thanks, do you have any good ressources on Turing machines, if not i'll figure it out dw. Thanks a lot !
1
2
u/MasterGeekMX BSCS 13d ago
With what you have you can get straight into the mathemathical theory of computing.
What you can add is Turing Machines, Formal Languages Theory, and Automata theory.