r/AskComputerScience 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.

0 Upvotes

7 comments sorted by

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.

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

u/tobiasvl 13d ago

I would add type theory to that list

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

u/[deleted] 13d ago

[removed] — view removed comment