Back to Formal Sciences
Field within Formal Sciences
Computer Science & Logic
Khoa học Máy tính & Logic
Study of computation, algorithms, and formal reasoning
Central Question: What can be computed and how efficiently?
Cái gì có thể được tính toán và hiệu quả như thế nào?