Khoa học máy tính nghiên cứu các cơ sở lý thuyết của thông tin và tính toán, cùng với các kỹ thuật thực tiễn để thực hiện và
**John McCarthy** (4 tháng 9 năm 1927 - 24 tháng 10 năm 2011) là một nhà khoa học máy tính và nhà khoa học nhận thức người Mỹ. McCarthy là một trong những người sáng
**Khoa học máy tính lý thuyết** () là một tập hợp con của khoa học máy tính và toán học tập trung vào nhiều chủ đề toán học hơn của điện toán và bao gồm
"[[Bài toán bữa tối của các triết gia" (_Dining Philosophers_), một bài toán kinh điển về tương tranh và chia sẻ tài nguyên]] Trong ngành khoa học máy tính, **tương tranh** là một tính chất
Trong khoa học máy tính, một **đối tượng** () có thể là một biến, một cấu trúc dữ liệu, một hàm, hay một phương thức, và như vậy, là một vị trí trong bộ nhớ
Trong lập trình máy tính, một **biến** (_variable_) hay **vô hướng** (_scalar_) là một vị trí lưu trữ gắn liền với một tên tượng trưng (_định danh_) liên quan, chứa một số lượng thông tin
Trong khoa học máy tính, **giá trị** (tiếng Anh: _value_) là một biểu thức mà không thể đánh giá thêm được nữa (một dạng chuẩn). Các thành viên của một loại là những giá trị
Trong khoa học máy tính, một hàm hay biểu thức được cho là có **hiệu ứng lề** hay **tác dụng phụ** (_side effect_) nếu nó thay đổi một số trạng thái ngoài tầm vực của
Trong ngành khoa học máy tính, **tiến trình** () là một thực thể (instance) của một chương trình máy tính đang được thực thi bởi một hoặc nhiều luồng (thread). Một tiến trình có riêng
Trong ngôn ngữ lập trình và lý thuyết kiểu, **đa hình** (, từ tiếng Hy Lạp πολύς, _polys_, "nhiều" và μορφή, _morphē_, "hình dạng") là việc cung cấp một giao diện cho các thực thể
Trong công nghệ thông tin và khoa học máy tính, một chương trình được mô tả là có **trạng thái** nếu nó được thiết kế để ghi nhớ các sự kiện hoặc tương tác người
**Phòng thí nghiệm khoa học máy tính và trí tuệ nhân tạo MIT (CSAIL) **là một phòng thí nghiệm nghiên cứu tại viện công nghệ Massachusetts thành lập bởi sự sáp nhập vào năm 2003
Mô hình 3D với DirectX 9.0: Ấm trà Utah **Đồ họa máy tính** () là một lĩnh vực của khoa học máy tính nghiên cứu về cơ sở toán học, các thuật toán cũng như
thumb|upright=1.35|right|Ảnh từ vệ tinh [[Apollo 15 đơn vị quỹ đạo của rille lân cận với miệng núi lửa Aristarchus trên Mặt Trăng.]] **Khoa học hành tinh** là ngành khoa học nghiên cứu về các hành
Toán Học Cho Trẻ Tò Mò Số Học, Hình Học, Khoa Học Máy Tính Và Hơn Thế Nữa Bạn có biết mỗi lần bạn xem giờ, nấu ăn, tính tiền trả lại, đo lường đồ
Trong khoa học máy tính, **reflection** (có thể dịch là "phản tỉnh", "tự xét mình") là việc tiến trình có khả năng xem xét, nội quan, và sửa đổi kết cấu cùng với hành trạng
_Đừng nhầm lẫn với diễn viên Margaret Brainard Hamilton.**_Margaret Heafield Hamilton** (sinh ngày 17 tháng 8 năm 1936) là một nhà khoa học máy tính, kỹ sư hệ thống, và là chủ doanh nghiệp. Bà
Trong khoa học máy tính, dữ liệu có nhiều phần, còn được gọi là một _bản ghi,_ có thể được chia thành các **trường** (tiếng Anh: _field_). Cơ sở dữ liệu quan hệ sắp xếp
Trong khoa học máy tính, **tham chiếu** (tiếng Anh: _reference_) là một giá trị cho phép chương trình truy xuất gián tiếp tới một số liệu cụ thể, như một biến hay một bản ghi,
**Trung tâm Máy tính Triều Tiên** (**KCC**) là trung tâm nghiên cứu công nghệ thông tin hàng đầu của chính phủ Cộng hòa Dân chủ Nhân dân Triều Tiên. Thành lập vào ngày 24 tháng
[[Phần cứng|Phần cứng máy tính là nền tảng cho xử lý thông tin (sơ đồ khối). ]] **Lịch sử phần cứng máy tính** bao quát lịch sử của phần cứng máy tính, kiến trúc của
Đây là **danh sách các nhà khoa học Vương quốc Liên hiệp Anh và Bắc Ireland**: nhỏ|[[Isaac Newton đang làm việc tại phòng thí nghiệm.]] nhỏ|Khoa học gia người Ăng-lô Ái Nhĩ Lan, [[Robert Boyle,
Trong giáo dục, **Tư duy tính toán** hay **Tư duy máy tính** (Computational Thinking - CT) là một tập hợp các phương pháp giải quyết vấn đề liên quan đến việc diễn đạt các vấn
nhỏ|phải|243x243px|Ảnh chụp giao diện [[phần mềm diệt virus có tên FireLion- FastHelper]] Trong khoa học máy tính viễn thông, **virus máy tính** hay **virus tin học** (thường được người sử dụng gọi tắt là **virus**)
**Máy tính bảng** (Tiếng Anh: Tablet computer hay tablet PC), là một thiết bị di động, thông thường có hệ điều hành di động và mạch xử lý, màn hình cảm ứng và viên pin
**Lập trình máy tính** hay **lập chương trình máy tính,** thường gọi tắt là **lập trình** (, hay _programming_), là việc lập ra chương trình làm việc cho máy có bộ xử lý, nói riêng
thumb | [[Hoá học là một phân nhánh của khoa học tự nhiên]] **Khoa học** là một hệ thống kiến thức về những định luật, cấu trúc và cách vận hành của thế giới tự
Máy Turing **Máy Turing** là một mô hình toán học về thiết bị xử lý các ký tự, tuy đơn giản, nhưng có thể thực hiện được tất cả các thuật toán máy tính. Các
phải|nhỏ|277x277px| Minh họa của một ứng dụng sử dụng libvorbisfile để phát file Ogg Vorbis Trong khoa học máy tính, **thư viện** là tập hợp các tài nguyên không biến động được sử dụng bởi
**Mạng lưới Quỹ Khoa học Quốc gia** (**National Science Foundation Network -** **NSFNET** ) là một chương trình phối hợp, phát triển các dự án do Quỹ Khoa học Quốc gia (NSF) tài trợ bắt
_Tiền đề trong việc xây dựng lý thuyết Automata là ngôn ngữ hình thức_ Trong toán học và khoa học máy tính, một **ngôn ngữ hình thức** (_formal language_) được định nghĩa là một tập
Các thành phần chính của [[máy tính cá nhân để bàn.1: Màn hình, 2: Bo mạch chủ, 3: CPU, 4: Chân cắm ATA, 5: RAM, 6: Các thẻ cắm mở rộng chức năng cho máy,
thumb|Cách biểu diễn bằng [[Mặt cầu Bloch cho một qubit, yếu tố cơ bản trong máy tính lượng tử.]] **Máy tính lượng tử** (còn gọi là **siêu máy tính lượng tử**) là một thiết bị
Trong ngành khoa học máy tính, **các phương pháp hình thức** là các kỹ thuật toán học cho việc đặc tả, phát triển và kiểm định các hệ thống phần mềm và phần cứng. Cách
nhỏ|269x269px|Một góc của Trường Đại học Khoa học Tự nhiên cơ sở 227 Nguyễn Văn Cừ **Trường Đại Học Khoa Học Tự Nhiên, Đại học Quốc gia Thành phố Hồ Chí Minh** ( – **VNUHCM-US**
**Tính toán** là bất kỳ loại tính toán nào bao gồm cả các bước đối xứng và không đối xứng và tuân theo một mô hình được xác định rõ, ví dụ như một thuật
**Thị giác máy tính** (tiếng Anh: **computer vision**) là một lĩnh vực bao gồm các phương pháp thu nhận, xử lý ảnh kỹ thuật số, phân tích và nhận dạng các hình ảnh và, nói
**_The Art of Computer Programming_** (tạm dịch _Nghệ thuật lập trình máy tính_) là một chuyên khảo toàn diện của Donald Knuth bao trùm rất nhiều chủng loại giải thuật lập trình và những phân
nhỏ|Máy tính cờ vua sử dụng lực ép bằng cảm giác thập niên 1990 với màn hình LCD **Cờ vua máy tính** bao gồm cả phần cứng (máy tính chuyên dụng) và phần mềm có
**Lê Minh "Gooseman"** (sinh năm 1977), là một nhà thiết kế và sản xuất trò chơi máy tính, người Canada gốc Việt. Anh là đồng sáng lập, cùng với Jess Cliffe, dòng game Counter-Strike đình
nhỏ|phải|300x300|[[Tam giác Sierpinski]] **Đệ quy** (tiếng Anh: _recursion_) là phương pháp dùng trong các chương trình máy tính trong đó có một hàm tự gọi chính nó. ## Khái niệm hình thức về đệ quy
nhỏ|phải|A [[Graphical user interface|GUI Chương trình "Hello World", viết bằng ngôn ngữ Perl]] nhỏ|phải|Có thể thực thi dòng mã ở máy điện tử cầm tay [[PlayStation Portable homebrew|PlayStation Portable Sony.]] nhỏ|phải|Thử máy [[CNC ở Perspex]]
phải|nhỏ|325x325px|[[Kết xuất hex của sâu Blaster, hiển thị một thông điệp lập trình viên sâu này để lại cho Giám đốc điều hành Microsoft Bill Gates]] nhỏ|325x325px|Sự lây lan của [[Conficker|sâu Conficker]] **Sâu máy tính**
**Câu lệnh** là đơn vị cơ bản của một ngôn ngữ lập trình. Trong trường hợp đặc biệt, nó có thể cũng trở thành một đơn vị thao tác của máy tính điện tử hay
Trong logic toán học và khoa học máy tính, **phép tính lambda** (tiếng Anh:lambda calculus) hay còn được viết là **λ-calculus**, là một hệ thống hình thức dùng trong việc định nghĩa hàm số, ứng
Trong lập trình máy tính, **tầm vực** (tiếng Anh: _scope_) của một ràng buộc tên – liên kết tên với một thực thể, ví dụ như biến – là một vùng của chương trình máy
nhỏ|Vùng vị trí của khoa học dữ liệu trong các ngành nghiên cứu **Khoa học dữ liệu** là một lĩnh vực liên ngành về các quá trình và các hệ thống rút trích tri thức
Trong khoa học máy tính và khoa học thông tin, **bản thể học** thông thường thể hiện tri thức, hay là một tập khái niệm để định nghĩa một vấn đề, và mối quan hệ