truy cập nhanh hơn trình duyệt!
33 quan hệ: Bài toán dừng, C (ngôn ngữ lập trình), Cambridge University Press, Chứng minh toán học, Haskell, Haskell (ngôn ngữ lập trình), Hàm số, Hệ thống kiểu, Hiệu ứng lề (khoa học máy tính), Java, Java (ngôn ngữ lập trình), JavaScript, Khoa học máy tính, Lập trình hướng đối tượng, Lập trình mệnh lệnh, Lập trình thủ tục, Lisp, Mathematica, Mẫu hình lập trình, Mẫu thiết kế, Miranda, Ngôn ngữ lập trình, Phép tính lambda, Phần mềm xử lý bảng tính, Prentice Hall, R (ngôn ngữ lập trình), Scheme, SQL, Trình biên dịch, Visual Basic .NET, XML, XSLT, Yacc.
Bài toán dừng
Trong lý thuyết khả tính, bài toán dừng có thể diễn đạt như sau: cho trước một chương trình máy tính, quyết định xem chương trình đó có chạy mãi mãi hay không.
Mới!!: Lập trình hàm và Bài toán dừng · Xem thêm »
C (ngôn ngữ lập trình)
''The C Programming Language'', của Brian Kernighan và Dennis Ritchie, lần xuất bản đầu tiên đã được dùng trong nhiều năm như là một đặc tả không chính thức về ngôn ngữ C Ngôn ngữ lập trình C là một ngôn ngữ mệnh lệnh được phát triển từ đầu thập niên 1970 bởi Dennis Ritchie để dùng trong hệ điều hành UNIX.
Mới!!: Lập trình hàm và C (ngôn ngữ lập trình) · Xem thêm »
Cambridge University Press
Nhà xuất bản Đại học Cambridge (Cambridge University Press, CUP) là một nhà xuất bản của Đại học Cambridge.
Mới!!: Lập trình hàm và Cambridge University Press · Xem thêm »
Chứng minh toán học
Trong toán học, một chứng minh là một cách trình bày thuyết phục (sử dụng những chuẩn mực đã được chấp nhận trong lĩnh vực đó) rằng một phát biểu toán học là đúng đắnCupillari, Antonella.
Mới!!: Lập trình hàm và Chứng minh toán học · Xem thêm »
Haskell
Haskell có thể là.
Mới!!: Lập trình hàm và Haskell · Xem thêm »
Haskell (ngôn ngữ lập trình)
Haskell là ngôn ngữ lập trình thuần hàm, đặt theo tên của Haskell Curry.
Mới!!: Lập trình hàm và Haskell (ngôn ngữ lập trình) · Xem thêm »
Hàm số
Mỗi số thuộc tập ''X'' tương ứng với một số duy nhất thuộc tập ''Y'' qua hàm ''f'' Trong toán học, khái niệm hàm số (hay hàm) được hiểu tương tự như khái niệm ánh xạ.
Mới!!: Lập trình hàm và Hàm số · Xem thêm »
Hệ thống kiểu
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 trình máy tính bao gồm, như biến, biểu thức, hàm hay mô đun.
Mới!!: Lập trình hàm và Hệ thống kiểu · Xem thêm »
Hiệu ứng lề (khoa học máy tính)
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ề (side effect) nếu nó thay đổi một số trạng thái ngoài tầm vực của nó; hoặc có một sự tương tác quan sát được (observable) với hàm gọi nó hay phạm vi bên ngoài bên cạnh việc trả lại giá trị.
Mới!!: Lập trình hàm và Hiệu ứng lề (khoa học máy tính) · Xem thêm »
Java
Java (Jawa, tiếng Java: ꦗꦮ; tiếng Sunda: ᮏᮝ) là một đảo tại Indonesia.
Mới!!: Lập trình hàm và Java · Xem thêm »
Java (ngôn ngữ lập trình)
Java (phiên âm Tiếng Việt: "Gia-va") là một ngôn ngữ lập trình hướng đối tượng (OOP) và dựa trên các lớp (class).
Mới!!: Lập trình hàm và Java (ngôn ngữ lập trình) · Xem thêm »
JavaScript
JavaScript, theo phiên bản hiện hành, là một ngôn ngữ lập trình thông dịch được phát triển từ các ý niệm nguyên mẫu.
Mới!!: Lập trình hàm và JavaScript · Xem thêm »
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à áp dụng các cơ sở này.
Mới!!: Lập trình hàm và Khoa học máy tính · Xem thêm »
Lập trình hướng đối tượng
Lập trình hướng đối tượng (tiếng Anh: Object-oriented programming, viết tắt: OOP) là một mẫu hình lập trình dựa trên khái niệm "công nghệ đối tượng", mà trong đó, đối tượng chứa đựng các dữ liệu, trên các trường, thường được gọi là các thuộc tính; và mã nguồn, được tổ chức thành các phương thức. Phương thức giúp cho đối tượng có thể truy xuất và hiệu chỉnh các trường dữ liệu của đối tượng khác, mà đối tượng hiện tại có tương tác (đối tượng được hỗ trợ các phương thức "this" hoặc "self").
Mới!!: Lập trình hàm và Lập trình hướng đối tượng · Xem thêm »
Lập trình mệnh lệnh
Trong khoa học máy tính, lập trình mệnh lệnh (imperative programming) là một mẫu hình lập trình sử dụng câu lệnh để thay đổi trạng thái của chương trình.
Mới!!: Lập trình hàm và Lập trình mệnh lệnh · Xem thêm »
Lập trình thủ tục
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.
Mới!!: Lập trình hàm và Lập trình thủ tục · Xem thêm »
Lisp
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 (1958).
Mới!!: Lập trình hàm và Lisp · Xem thêm »
Mathematica
Mathematica là chương trình phần mềm tính toán sử dụng trong các lĩnh vực khoa học, kỹ thuật, và toán học cũng như các lĩnh vực tin học khác.
Mới!!: Lập trình hàm và Mathematica · Xem thêm »
Mẫu hình lập trình
Trong tin học, mẫu hình lập trình là một kiểu lập trình mà nó là kiểu có tính mẫu hình trong tiến hành về công nghệ phần mềm.
Mới!!: Lập trình hàm và Mẫu hình lập trình · Xem thêm »
Mẫu thiết kế
Mẫu thiết kế (tiếng Anh là design pattern) có nhiều nghĩa tùy vào ngữ cảnh khác nhau.
Mới!!: Lập trình hàm và Mẫu thiết kế · Xem thêm »
Miranda
Miranda có thể chỉ.
Mới!!: Lập trình hàm và Miranda · Xem thêm »
Ngôn ngữ lập trình
Tủ sách giáo khoa dạy cả những ngôn ngữ lập trình phổ biến và không phổ biến. Hàng ngàn ngôn ngữ và phương ngữ lập trình đã được thiết kế trong lịch sử máy tính. Ngôn ngữ lập trình là một tập con của ngôn ngữ máy tính, được thiết kế và chuẩn hóa để truyền các chỉ thị cho các máy có bộ xử lý (CPU), nói riêng là máy tính.
Mới!!: Lập trình hàm và Ngôn ngữ lập trình · Xem thêm »
Phép tính lambda
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 dụng hàm số và đệ quy.
Mới!!: Lập trình hàm và Phép tính lambda · Xem thêm »
Phần mềm xử lý bảng tính
Phần mềm xử lý bảng tính hay Bảng tính là một phần mềm ứng dụng dùng để tổ chúc, phân tích và lưu trữ dữ liệu thông qua các bảng biểu.
Mới!!: Lập trình hàm và Phần mềm xử lý bảng tính · Xem thêm »
Prentice Hall
Prentice Hall là một nhà xuất bản giáo dục lớn thuộc sở hữu của Pearson PLC.
Mới!!: Lập trình hàm và Prentice Hall · Xem thêm »
R (ngôn ngữ lập trình)
R là một ngôn ngữ lập trình và môi trường phần mềm dành cho tính toán và đồ họa thống kê.
Mới!!: Lập trình hàm và R (ngôn ngữ lập trình) · Xem thêm »
Scheme
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.
Mới!!: Lập trình hàm và Scheme · Xem thêm »
SQL
SQL (hoặc; Structured Query Language) hay ngôn ngữ truy vấn mang tính cấu trúc, là một loại ngôn ngữ máy tính phổ biến để tạo, sửa, và lấy dữ liệu từ một hệ quản trị cơ sở dữ liệu quan hệ.
Mới!!: Lập trình hàm và SQL · Xem thêm »
Trình biên dịch
Biểu đồ hoạt động của một trình biên dịch lý tưởng. Trình biên dịch, còn gọi là phần mềm biên dịch, compiler, là một chương trình máy tính làm công việc dịch một chuỗi các câu lệnh được viết bằng một ngôn ngữ lập trình (gọi là ngôn ngữ nguồn hay mã nguồn), thành một chương trình tương đương nhưng ở dưới dạng một ngôn ngữ máy tính mới (gọi là ngôn ngữ đích) và thường là ngôn ngữ ở cấp thấp hơn, như ngôn ngữ máy.
Mới!!: Lập trình hàm và Trình biên dịch · Xem thêm »
Visual Basic .NET
Visual Basic.NET là một công cụ lập trình hỗ trợ ngôn ngữ lập trình Visual Basic.NET trong bộ công cụ lập trình Microsoft Visual Studio 2005.
Mới!!: Lập trình hàm và Visual Basic .NET · Xem thêm »
XML
XML (viết tắt từ eXtensible Markup Language, tức "Ngôn ngữ đánh dấu mở rộng") là ngôn ngữ đánh dấu với mục đích chung do W3C đề nghị, để tạo ra các ngôn ngữ đánh dấu khác.
Mới!!: Lập trình hàm và XML · Xem thêm »
XSLT
XSLT (viết tắt của tiếng Anh XSL Transformations) là một ngôn ngữ dựa trên XML dùng để biến đổi các tài liệu XML.
Mới!!: Lập trình hàm và XSLT · Xem thêm »
Yacc
Yacc (yet another compiler-compiler) là phần mềm để phân tích ngữ pháp của phần mềm khác, dùng trong việc biên dịch từ ngôn ngữ bậc cao sang ngôn ngữ máy tính.
Mới!!: Lập trình hàm và Yacc · Xem thêm »
