Information Science
[Introduction to Theoretical Computer Science: Between Finite and Infinite - From Mathematical Theory to AI and Autonomous Driving]
- A subfield of [applied mathematics] within [mathematics].
- There are people who are interested in speed and those who are interested in correctness.
- Speed: [Computational Complexity Theory], [algorithms], etc.
- Correctness: [formal methods], [programming language theory], etc.
- Includes [logic], [algebra], [graph theory], etc.
- Emphasizes [discrete mathematics] more.
- Focuses on the world of [finite] and [infinity].
