'''Khoa học máy tính''' là ngành nghiên cứu các cơ sở lý thuyết về [[thông tin]] và [[tính toán]] cùng sự thực hiện và ứng dụng của chúng trong các hệ thống [[máy tính]]. Khoa học máy tính gồm nhiều ngành hẹp; một số ngành tập trung vào các ứng dụng thực tiễn cụ thể chẳng hạn nhưn 8 hư [[đồ họa máy tính]], trong khi một số ngành khác lại tập trung nghiên cứu đến tính chất cơ bản của các bài toán tính toán như [[lý thuyết độ phức tạp tính toán]]). Ngoài ra còn có những ngành khác nghiên cứu các vấn đề trong việc thực thi các phương pháp tính toán. Ví dụ, ngành [[lí thuyết ngôn ngữ lập trình|lý thuyết ngôn ngữ lập trình]] nghiên cứu những phương thức mô tả cách tính toán khác nhau, trong khi ngành [[lập trình máy tính|lập trình]] nghiên cứu cách sử dụng các [[ngôn ngữ lập trình]] và các [[hệ thống phức tạp]], và ngành [[tương tác người-máy]] tập trung vào những thách thức trong việc làm cho máy tính và công việc tính toán hữu ích, và dễ sử dụng đối với mọi người dùng.
