Welcome to Lexlog: Theoretical Computer Science
About: I am an undergraduate student belonging the department of Computer Science at the University of Toronto.
Purpose: A strong background in theoretical computer science is fundamental for the computer scientist. This blog is intended to record my progress in learning this foundation.
Overview: The major fields encompassed under Theoretical CS are:
> Theory of Computation
> Programming Language Theory
> Distributed Computing
> Information Theory
> Formal Methods
Other related fields are discrete mathematics and graph theory, cryptography and formal language theory to name a few.
About: I am an undergraduate student belonging the department of Computer Science at the University of Toronto.
Purpose: A strong background in theoretical computer science is fundamental for the computer scientist. This blog is intended to record my progress in learning this foundation.
Overview: The major fields encompassed under Theoretical CS are:
> Theory of Computation
- Computability Theory (recursion theory)
- Computational Complexity Theory
- Automata Theory
> Programming Language Theory
> Distributed Computing
> Information Theory
> Formal Methods
Other related fields are discrete mathematics and graph theory, cryptography and formal language theory to name a few.
No comments:
Post a Comment