✨Lập trình logic hàm
Lập trình logic hàm (tiếng Anh: functional logic programming) là sự kết hợp mẫu hình lập trình chức năng và lập trình logic thành một ngôn ngữ lập trình duy nhất. Phong cách lập trình này được thể hiện bằng nhiều ngôn ngữ lập trình khác nhau, bao gồm Curry và Mercury.
Một tạp chí dành cho việc tích hợp lập trình chức năng và logic đã được xuất bản bởi MIT Press và Hiệp hội Châu Âu về Ngôn ngữ Lập trình và Hệ thống từ năm 1995 đến năm 2008
👁️ 9 | 🔗 | 💖 | ✨ | 🌍 | ⌚
**Ngôn ngữ kịch bản** () là ngôn ngữ lập trình cho môi trường thời gian chạy đặc biệt tự động hóa thực thi các tác vụ; các tác vụ thay thế có thể
**Lập trình logic hàm** (tiếng Anh: **functional logic programming**) là sự kết hợp mẫu hình lập trình chức năng và lập trình logic thành một ngôn ngữ lập trình duy nhất. Phong cách lập trình
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
Trong khoa học máy tính, **lập trình ràng buộc** (tiếng Anh: _constraint programming_) là một mẫu hình lập trình trong đó mối quan hệ giữa các biến được mô tả ở dạng các ràng buộc.
Trong khoa học máy tính, **lập trình khai báo** (tiếng Anh: _declarative programming_) là một mẫu hình lập trình theo phong cách xây dựng cấu trúc và các yếu tố của chương trình máy tính
**Python** () là ngôn ngữ lập trình bậc cao đa năng. Triết lý thiết kế của nó nhấn mạnh khả năng đọc mã bằng cách sử dụng thụt lề đáng kể. Python có kiểu động
Trong tin học, **mẫu hình lập trình** là một kiểu lập trình _kiểu có tính mẫu hình_ trong tiến hành về công nghệ phần mềm. Một mẫu hình lập trình cung cấp (xác định) quan
**Pascal** là một ngôn ngữ lập trình cho máy tính thuộc dạng mệnh lệnh và thủ tục, được Niklaus Wirth phát triển vào năm 1970. Pascal là ngôn ngữ lập trình đặc biệt thích hợp
Trong ngành khoa học máy tính, **lập trình hàm** (**lập trình chức năng**) là một mô hình lập trình xem việc tính toán là sự đánh giá các hàm toán học và tránh sử dụng
phải|nhỏ|402x402px|[[Mã nguồn của một chương trình máy tính đơn giản được viết bằng ngôn ngữ lập trình C. Khi được biên dịch và chạy, nó sẽ cho kết quả "Hello, world!".]] **Ngôn ngữ lập trình**
**C#** (**C Sharp**, đọc là _"xi-sáp"_) là một ngôn ngữ lập trình hướng đối tượng đa năng, mạnh mẽ được phát triển bởi Microsoft, C# là phần khởi đầu cho kế hoạch .NET của họ.
Trong điện toán, **lập trình hướng khía cạnh** (tiếng Anh: _aspect-oriented programming_, viết tắt: _AOP_) là một mẫu hình lập trình nhằm tăng tính mô đun bằng cách cho phép phân tách những mối quan
Phương pháp **lập trình thủ tục** (_procedural programming_) chính là cách thực hiện phương pháp hướng chức năng kể trên. Phương pháp thủ tục chia một chương trình (chức năng) lớn thành các khối chức
Các ngôn ngữ lập trình thường hỗ trợ một tập các **toán tử** (_operator_): nó có hành vi gần giống như hàm, nhưng có cú pháp và ngữ nghĩa khác với hàm thông thường. Các
nhỏ| Chương trình máy tính "Xin chào, thế giới" của [[Brian Kernighan (1978) ]] **Chương trình máy tính** là tập hợp các câu lệnh thực hiện một tác vụ cụ thể khi được máy tính
**Logic toán** là một ngành con của toán học có liên hệ gần gũi với cơ sở toán học, khoa học máy tính lý thuyết, logic triết học. Ngành này bao gồm hai phần: nghiên
**Logic** (hợp lý, hữu lý, hàm lý) hay **luận lý học**, từ tiếng Hy Lạp cổ đại λόγος (logos), nghĩa nguyên thủy là _từ ngữ_, hoặc _điều đã được nói_, (nhưng trong nhiều ngôn ngữ
**Lập luận** được định nghĩa rất khác nhau tùy theo ngữ cảnh của hiểu biết về lý tính như là một hình thức của tri thức. Định nghĩa lôgic là hành động sử dụng lý
nhỏ|Fonction argcoth - graphe Trong toán học, các **hàm lượng giác nghịch đảo** (đôi khi còn được gọi là **hàm arcus**, **hàm lượng giác ngược** hoặc **hàm cyclometric**) là các hàm ngược của các hàm
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
**Logic mờ** (tiếng Anh: _Fuzzy logic_) được phát triển từ lý thuyết tập mờ để thực hiện lập luận một cách xấp xỉ thay vì lập luận chính xác theo logic vị từ cổ điển.
**Prolog** là một ngôn ngữ lập trình. Tên gọi Prolog được xuất phát từ cụm từ tiếng Pháp _Programmation en logique_, nghĩa là "lập trình theo lô gíc". Xuất hiện từ năm 1972 (do Alain
**Quy luật thống nhất và đấu tranh của các mặt đối lập** hay còn gọi là **quy luật mâu thuẫn** là một trong ba quy luật cơ bản của phép biện chứng duy vật và
Trong logic và toán học, phép **đảo** () của một mệnh đề phạm trù hay kéo theo là sự đảo ngược hai mệnh đề cấu thành nó. Với mệnh đề kéo theo _P_ → _Q_,
Class trong **C++** là khái niệm được người dùng định nghĩa như một kiểu dữ liệu đơn giản hay một cấu trúc dữ liệu, được khai báo bằng từ khóa **class, **nó chứa các biến
nhỏ|phải|Biểu tượng hình con thằn lằn đôi khi được các [[lập trình viên dùng trong các chương trình viết bằng ngôn ngữ Lisp.]] **Lisp** là ngôn ngữ lập trình được phát triển từ rất sớm
**Smarty** là một hệ thống tạo mẫu web (web template system) được viết bằng ngôn ngữ lập trình PHP, thường được quảng bá như một công cụ phân tách mã nguồn sao cho mỗi phần
**Scheme** là một ngôn ngữ lập trình hỗ trợ nhiều khuôn mẫu lập trình (_multi-paradigm_), nhưng được biết đến nhiều nhất với khả năng hỗ trợ lập trình hàm. Đây là một trong hai biến
_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||[[Vi mạch 7400, 4 cổng NAND đóng gói kiểu PDIP. Dòng mã loạt có: sản xuất năm (_19_)76, tuần 45]] Trong điện tử học, **cổng logic** (tiếng Anh: _logic gate_) là mạch điện thực hiện
**MATLAB** là phần mềm cung cấp môi trường tính toán số và lập trình, do công ty MathWorks thiết kế. MATLAB cho phép tính toán số với ma trận, vẽ đồ thị hàm số hay
Trong việc lập trình, các ngôn ngữ lập trình thường được coi là **kiểu yếu** hoặc **kiểu mạnh**. Nói chung thì các khái niệm này không có định nghĩa chính xác cụ thể. Thực ra,
nhỏ|Mã spaghetti **Mã spaghetti** (Spaghetti code) là một cụm từ mang tính cho mã nguồn có tính phi cấu trúc và khó bảo trì. Mã spaghetti có thể được gây ra bởi vài yếu tố,
Trong Toán học, **phép toán một ngôi** là phép toán hoạt động với chỉ một toán hạng, tức là có duy nhất một giá trị nhập vào. Một ví dụ đơn giản là một hàm
**Chế độ thực**, cũng được gọi là **chế độ địa chỉ thực**, là một chế độ hoạt động của tất cả các CPU tương thích x86. Chế độ thực được đặc trưng bởi không gian
nhỏ|Java 2 **Java 2 Platform, Enterprise Edition** (_Nền tảng Java, phiên bản 2 - phiên bản công nghiệp_ là công nghệ của Sun Microsystems) hay **Java EE** (gọi tắt là J2EE) là một nền lập
**Biểu thức** (tiếng Anh: _expression_) trong ngôn ngữ lập trình là sự kết hợp của một hay nhiều giá trị, hằng số, biến, toán tử, và hàm một cách tường minh mà ngôn ngữ lập
nhỏ|phải|Một đồ thị được biểu diễn bằng Octave. **Octave** là một môi trường tính toán tự do, sử dụng ngôn ngữ lập trình tựa như MATLAB. ## Lịch sử Octave bắt đầu được xây dựng
**Ngôn ngữ kịch bản** () là ngôn ngữ lập trình cho môi trường thời gian chạy đặc biệt tự động hóa thực thi các tác vụ; các tác vụ thay thế có thể
**Ngữ nghĩa học** là nghiên cứu ngôn ngữ và triết học về ý nghĩa trong ngôn ngữ, ngôn ngữ lập trình, logic hình thức và ký hiệu học. Nó liên quan đến mối quan hệ
thumb|Người chơi Mastermind sử dụng suy luận giả định để đoán màu sắc bí mật _(trên)_ từ các kết quả sai lệch _(góc dưới bên trái)_ dựa trên các phỏng đoán _(góc dưới bên phải)_.
**Bertrand Arthur William Russell, Bá tước Russell thứ 3**, (phiên âm tiếng Việt: **Béctơrăng Rátxen**; sinh ngày 18 tháng 5 năm 1872 – mất ngày 2 tháng 2 năm 1970), là một triết gia, nhà
Trong khoa học máy tính, đặc biệt là trong biểu diễn tri thức và siêu logic học, lĩnh vực **suy luận tự động** (automated reasoning) được dành riêng cho việc hiểu các khía cạnh khác
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
thumb|Ký hiệu của cổng Toffoli Trong mạch logic, **cổng Toffoli** (còn gọi là **cổng CCNOT**), phát minh bởi Tommaso Toffoli, là một cổng đảo ngược phổ quát, nghĩa là mọi cổng đảo ngược đều có
Trong ngôn ngữ lập trình, **hệ thống kiểu** (tiếng Anh: _type system_) là một tập các quy tắc gán một thuộc đặc tính gọi là kiểu cho các cấu trúc khác nhau của một chương
, còn được biết với tên **_Project Shrine Maiden_** hay ngắn gọn là **_Touhou_**, là một series trò chơi điện tử tập trung chủ yếu vào thể loại bắn đạn trong địa ngục đạn được
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
**_South Park_** là bộ phim hài kịch tình huống hoạt hình dành cho người lớn của Mỹ do Trey Parker và Matt Stone sáng tạo ra và được phát triển bởi Brian Graden dành cho
**Lý trí** là khả năng của ý thức để hiểu các sự việc, sử dụng logic, kiểm định và khám phá những sự kiện; thay đổi và kiểm định hành động, kinh nghiệm và niềm
small|right|thumb|Spartan XC3S400 của hãng [[Xilinx, có 400.000 cổng và tần số 50MHz-80Mhz]] small|right|thumb|Dòng FPGA Stratix của hãng [[Altera]] **Field-programmable gate array** (FPGA) là một loại _mạch tích hợp cỡ lớn_ dùng cấu trúc mảng phần