✨Đ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
👁️ 47 | ⌚2025-09-16 22:05:13.260
Mua hàng tại Shopee giảm thêm 30%
Mua hàng tại Shopee giảm thêm 30%
Khoa học máy tính 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à
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ư
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 đồ
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,
[[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
**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
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
_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
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ự
**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
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ậ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
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
**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ả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
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|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
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ể
**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
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
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
**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** (**TTNT**) (tiếng Anh: **_Artificial intelligence_**, viết tắt: **_AI_**) là khả năng của các hệ thống máy tính thực hiện các nhiệm vụ liên quan đến trí thông minh của con người,
**John von Neumann** (**Neumann János**; 28 tháng 12 năm 1903 – 8 tháng 2 năm 1957) là một nhà toán học người Mỹ gốc Hungary và là một nhà bác học thông thạo nhiều lĩnh
Hình ảnh mô phỏng của một đám mây bụi tiền hành tinh. **Sự hình thành và tiến hóa của Hệ Mặt Trời** bắt đầu từ cách đây khoảng 4,6 tỷ năm với sự suy sụp
**Ngôn ngữ học** hay **ngữ lý học** là bộ môn nghiên cứu về ngôn ngữ. Người nghiên cứu bộ môn này được gọi là nhà ngôn ngữ học. Nói theo nghĩa rộng, nó bao gồm
**Tin sinh học** (_bioinformatics_) là một lĩnh vực khoa học sử dụng các công nghệ của các ngành toán học ứng dụng, tin học, thống kê, khoa học máy tính, trí tuệ nhân tạo, hóa
thumb|**[[Phép tính lambda** là một hệ thống hình thức để định nghĩa hàm, ứng dụng hàm và đệ quy được Alonzo Church đề xuất vào những năm 193x.]] **Lý thuyết ngôn ngữ lập trình** (thường
phải|nhỏ|[[Lưu đồ thuật toán (thuật toán Euclid) để tính ước số chung lớn nhất (ưcln) của hai số _a_ và _b_ ở các vị trí có tên A và B. Thuật toán tiến hành bằng
thumb|220x124px | right | Một thông tin được mã hoá bởi các dòng mã (code) **Tin học** hay **khoa học thông tin** (gọi tắt là **tin**) (, ) là một ngành khoa học chuyên nghiên
**Học máy** hay **máy học** (_machine learning_) là một lĩnh vực của trí tuệ nhân tạo liên quan đến việc nghiên cứu và xây dựng các kĩ thuật cho phép các hệ thống "học" tự
Máy tính lượng tử là hệ thống có thể thực thi vô số phép tính phức tạp cùng một lúc mà một máy tính thông thường có thể phải mất hàng triệu năm mới xong.
**TEX**, (/tɛx/, /tɛk/) viết không định dạng là **TeX**, là một hệ thống sắp chữ được viết bởi Donald Knuth và giới thiệu lần đầu vào năm 1978. TeX được thiết kế với hai mục
thumb|right|upright=1.2|Trẻ em được dạy cách sử dụng máy tính xách tay cá nhân; màn hình CRT, bàn phím và chuột máy tính để bàn cũ hơn (thời 1990) có thể nhìn thấy trong nền. **Máy
**Peter Pin-Shan Chen** (tiếng Trung: 陳品山; sinh ngày 3 tháng 1 năm 1947) là tác giả của mô hình thực thể-kết hợp (_entity-relationship model_ hoặc _ER model_). Ông đã nhận bằng kỹ sư điện tại
**Trường Cao đẳng Công nghệ Thông tin, Đại học Đà Nẵng** (tên tiếng Anh: _College of Information Technology - The University of Danang_) là một **trường công lập** thành viên của Đại học Đà Nẵng.
**Donald Ervin Knuth** (sinh ngày 10 tháng 1, năm 1938) là một nhà khoa học máy tính nổi tiếng hiện đang là giáo sư danh dự tại Đại học Stanford. Knuth được biết đến nhiều
nhỏ|phải **Sergey Brin** (sinh ngày 21 tháng 8 năm 1973 tại Moskva, Nga), là một doanh nhân người Mỹ gốc Do Thái, cũng là người đồng sáng lập Google cùng với Larry Page. Brin hiện
nhỏ|4 khe cắm [[PCI Express (từ trên xuống dưới: x4, x16, x1 and x16), bên cạnh khe PCI 32 bit (dưới cùng)]] Trong kiến trúc máy tính, **bus** (là tên viết gọn của từ Latin
**Trường Đại học Quảng Bình** ra đời ngày 24/10/2006 theo quyết định số 237/QĐ-TTg của Thủ tướng Chính phủ, trên cơ sở Trường Cao đẳng Sư phạm Quảng Bình, mà tiền thân là Trường Trung
**Edsger Wybe Dijkstra** (; 11 tháng 5 năm 1930 tại Rotterdam – 6 tháng 8 năm 2002 tại Nuenen), là nhà khoa học máy tính người Hà Lan. Ông được nhận giải thưởng Turing năm
**Điện tử học spin** (tiếng Anh: _spintronics_) là một ngành đa lĩnh vực mà mục tiêu chính là thao tác và điều khiển các bậc tự do của spin trong các hệ chất rắn. Nói
Trong Hình học tính toán, bài toán "Điểm trong đa giác" (tiếng Anh: point-in-polygon, viết tắt: PIP) đặt ra câu hỏi xét xem một điểm trên một mặt phẳng nằm trong, nằm ngoài hay nằm
**Stephen (hay Stephan) Gary** "**Steve**" **Wozniak** (sinh ngày 11 tháng 8 năm 1950), biệt danh là **Woz**, là một kỹ sư máy tính, lập trình viên người Mỹ, người đồng sáng lập Apple Inc. với