Theoretical Computer Science
The interplay of computer science and pure mathematics, distinguished by its emphasis on mathematical rigour and technique.
Contents
Basics
Books
Fundamental principles of computer programming in Scheme, including recursion, abstraction, modularity, and programming language design and implementation.
Fundamental principles of computer programming in Scheme, including recursion, abstraction, modularity, and programming language design and implementation.
Fundamental principles of computer programming in Scheme, including recursion, abstraction, modularity, and programming language design and implementation.
Related Lists
Freely available lecture notes on mathematics.
Logic, Math, Proof Assistants, and Type Theory.
curricula by Open Source Society University.
curricula by Open Source Society University.