All Domains/Formal Sciences/Field/Theoretical Computer Science
Back to field
Discipline within Formal Sciences

Theoretical Computer Science

Khoa học máy tính lý thuyết

Theoretical Computer Science studies the mathematical and logical foundations of computation. It explores what can be computed, how efficiently, and the fundamental limits of computation.

Key Questions

  • What can be computed?
  • What are the limits of computation?
  • How do we measure computational complexity?