Theoretical computer science includes computability theory, computational complexity theory, & information theory. Khoa học máy tính lý thuyết bao gồm lý thuyết khả tính (computability theory), lý thuyết độ phức tạp tính toán, và lý thuyết thông tin.
Information theory was added to the field{{by whom|date=September 2017}} with a 1948 mathematical theory of communication by Claude Shannon. Lý thuyết thông tin được thêm vào lĩnh vực khoa học máy tính lý thuyết với một lý thuyết toán học vào năm 1948 bởi Claude Shannon.
Information theory was added to the field with a 1948 mathematical theory of communication by Claude Shannon. Lý thuyết thông tin được thêm vào lĩnh vực khoa học máy tính lý thuyết với một lý thuyết toán học vào năm 1948 bởi Claude Shannon.
An important part of graduate research is that students spend under the guidance of specialists in theoretical computer science.... [-] Một phần quan trọng của nghiên cứu sau đại học là sinh viên chi tiêu theo hướng dẫn của các chuyên gia khoa học máy tính lý thuyết.... [-]
These developments have led to the modern study of logic and computability, and indeed the field of theoretical computer science as a whole. Những phát triển này đã dẫn dắt nghiên cứu hiện đại về logic và khả năng tính toán và cả khoa học máy tính lý thuyết trên toàn bộ.
These developments have led to the modern study of logic, computability and computer science as a whole. Những phát triển này đã dẫn dắt nghiên cứu hiện đại về logic và khả năng tính toán và cả khoa học máy tính lý thuyết trên toàn bộ.
Theoretical computer science results like the new one from Babichenko and Rubinstein “should be an inspiration to address the issue in a formal way,” he said. Các kết quả khoa học máy tính lý thuyết như mới từ Babichenko và Rubinstein, nên là nguồn cảm hứng để giải quyết vấn đề theo cách chính thức, anh nói.
The theoretical computer scientist László Babai has retracted a claim that amazed the computer science community when he made it just over a year ago. Nhà khoa học máy tính lý thuyết László Babai đã rút lại một tuyên bố khiến cộng đồng khoa học máy tính ngạc nhiên khi ông đưa ra chỉ hơn một năm trước.
SETH is a hardness assumption about one of the central problems in theoretical computer science: Boolean satisfiability, which is abbreviated as SAT. SETH là một giả định về độ cứng về một trong những vấn đề trọng tâm trong khoa học máy tính lý thuyết: Sự thỏa mãn của Boolean, được viết tắt là SAT.
The student is expected to prove an orientation in theoretical computer science, artificial intelligence and the field of autonomous agents and multiagent systems. Học sinh vẫn phải chứng minh một định hướng trong khoa học máy tính lý thuyết, trí thông minh nhân tạo và các lĩnh vực tự trị và hệ thống đại lý multiagent.
