✨Đa hình (khoa học máy tính)
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ể thuộc nhiều kiểu khác nhau. Một kiểu đa hình là kiểu mà những toán tử của nó có thể được áp dụng cho các giá trị của kiểu khác, hoặc các kiểu. Có nhiều loại đa hình cơ bản, gồm: đa hình tùy biến (ad hoc polymorphism), đa hình tham số (parametric polymorphism) và đa hình dẫn xuất (subtyping, hay còn gọi là subtype polymorphism, inclusion polymorphism).
Lịch sử
Các loại đa hình
Đa hình tùy biến
Đa hình tham số
Dẫn xuất
Polytypism
Hiện thực
👁️ 0 | 🔗 | 💖 | ✨ | 🌍 | ⌚
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ể
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
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ớ
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
**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
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 đồ
_Đừ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à
Mục từ "Computer-generated imagery" dẫn đến bài này.
Một ví dụ về bức ảnh phong cảnh tĩnh, giống tự nhiên được mô phỏng bằng máy tính **Công nghệ mô phỏng hình ảnh bằng máyCá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,
nhỏ|320x320px| Ví dụ về mô hình khoa học. Một sơ đồ của các quá trình hóa học và vận chuyển liên quan đến thành phần khí quyển. **Mô hình khoa học** là một hoạt độ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
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
**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
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 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
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ự
_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
**Khoa học tính toán**, còn được gọi là **tính toán khoa học** hoặc **tính toán khoa học**, là một lĩnh vực đa ngành đang phát triển nhanh chóng, sử dụng các khả năng tính toán
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
**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
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
**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
**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
Đâ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,
**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|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ị
**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
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
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ó
**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
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
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
**Quay lui** (tiếng Anh: _backtracking_) là một chiến lược tìm kiếm lời giải cho các bài toán thỏa mãn ràng buộc. Người đầu tiên đề ra thuật ngữ này (_backtrack_) là nhà toán học người
phải|Hình vẽ các tế bào của não [[gà bởi S. Ramón y Cajal, khoảng năm 1905]] **Khoa học thần kinh** là một ngành khoa học về hệ thần kinh. Khoa học thần kinh nghiên cứu
**Viện hàn lâm Khoa học quốc gia Ukraina** (tiếng Ukraina: Національна академія наук України, _Natsional’na akademiya nauk Ukrayiny_, viết tắt **NANU**, tiếng Anh: National Academy of Sciences of Ukraine, viết tắt **NASU**) là cơ quan
Một **mô hình toán học** là một mô hình trừu tượng sử dụng ngôn ngữ toán để mô tả về một hệ thống. Mô hình toán được sử dụng nhiều trong các ngành khoa học
nhỏ|400x400px| Quá trình xây dựng một mô hình máy tính và sự tương tác giữa thí nghiệm, mô phỏng và lý thuyết. **Mô phỏng máy tính** là quá trình mô hình toán học, được thực
thumb|right|[[Hunter Biden năm 2014]] Vào tháng 10 năm 2020, một cuộc tranh cãi nổ ra liên quan đến một chiếc máy tính xách tay được cho là thuộc về Hunter Biden. Chủ một cửa hàng
Đây là các **trận đấu cờ vua giữa con người và máy tính** quan trọng. Máy tính lần đầu tiên có thể đánh bại những người chơi cờ mạnh vào cuối những năm 1980. nổi
**Máy tính cá nhân IBM**, thường được gọi là **IBM PC**, là máy tính vi tính đầu tiên của IBM và là nền tảng của tiêu chuẩn de facto tương thích IBM PC. Được phát
nhỏ|Một chiếc laptop [[Lenovo "thời hiện đại"]] **Máy tính xách tay** hay **máy vi tính xách tay** (Tiếng Anh: **laptop computer** hay **laptop PC**) là một chiếc máy tính cá nhân nhỏ gọn có thể
phải|Máy tính tiền vận hành bằng tay quay kiểu cổ **Máy tính tiền** hay **máy thu ngân** (tiếng Anh: **cash register** hoặc **till** hoặc **automated money handling system**) là một thiết bị cơ học hay
**Khoa học khí quyển** là ngành khoa học nghiên cứu khí quyển Trái Đất, các quá trình của nó, các tác động mà các hệ thống khác có lên khí quyển, và các tác động
nhỏ| [[Raspberry Pi là một máy tính bo mạch đơn giá rẻ được sử dụng trong giảng dạy khoa học máy tính.]] **Máy tính bo mạch đơn** ( - **SBC**) là một máy tính hoàn
**Viện hàn lâm Khoa học Bulgaria** (tiếng Bulgaria: Българска академия на науките, _Balgarska akademiya na naukite_, viết tắt _БАН_) là viện hàn lâm quốc gia của Bulgaria, được thành lập năm 1869. Viện là cơ
**Trí tuệ nhân tạo tổng quát** (**Artificial general intelligence**, hay **AGI**) là một loại trí tuệ nhân tạo (AI) trong lý thuyết, nằm giữa cận dưới và cận trên của năng lực nhận thức con