truy cập nhanh hơn trình duyệt!
8 quan hệ: Bộ quần áo mới của hoàng đế, Con trỏ rỗng, Giải Turing, Kiểu mạnh và kiểu yếu, Lý thuyết ngôn ngữ lập trình, Luận lý Hoare, Sắp xếp nhanh, 11 tháng 1.
Bộ quần áo mới của hoàng đế
"Bộ quần áo mới của hoàng đế" (Kejserens nye Klæder) là một truyện ngắn của nhà văn Hans Christian Andersen về việc hai người thợ dệt hứa với vị hoàng đế là sẽ dệt cho ông một bộ y phục mà khi ông mặc vào thì những kẻ ngu ngốc, bất tài hoặc bất xứng với địa vị của họ sẽ không thể nhìn thấy.
Mới!!: Charles Antony Richard Hoare và Bộ quần áo mới của hoàng đế · Xem thêm »
Con trỏ rỗng
Trong ngành điện toán, khái niệm con trỏ rỗng chỉ một biến con trỏ có một giá trị định sẵn khiến cho nó không trỏ được tới bất kỳ một đối tượng chính tắc nào.
Mới!!: Charles Antony Richard Hoare và Con trỏ rỗng · Xem thêm »
Giải Turing
Giải thưởng Turing (A. M. Turing Award) là giải thưởng thường niên của Hiệp hội Khoa học Máy tính Association for Computing Machinery cho các cá nhân hoặc một tập thể với những đóng góp quan trọng cho cộng đồng khoa học máy tính.
Mới!!: Charles Antony Richard Hoare và Giải Turing · Xem thêm »
Kiểu mạnh và kiểu yếu
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.
Mới!!: Charles Antony Richard Hoare và Kiểu mạnh và kiểu yếu · Xem thêm »
Lý thuyết ngôn ngữ lập trình
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 được biết tới bởi chữ viết tắt tiếng Anh PLT (Programming language theory)) là một nhánh của khoa học máy tính nghiên cứu việc thiết kế, thực hiện, phân tích, mô tả đặc điểm, và phân loại các ngôn ngữ lập trình và các đặc trưng của chúng.
Mới!!: Charles Antony Richard Hoare và Lý thuyết ngôn ngữ lập trình · Xem thêm »
Luận lý Hoare
Luận lý Hoare (còn được biết đến với tên Luận lý Floyd–Hoare) là một hệ chính quy do nhà khoa học máy tính người Anh C. A. R. Hoare phát triển, và sau đó được Hoare và những nhà nghiên cứu khác tinh lọc lại.
Mới!!: Charles Antony Richard Hoare và Luận lý Hoare · Xem thêm »
Sắp xếp nhanh
Sắp xếp nhanh (Quicksort), còn được gọi là sắp xếp kiểu phân chia (part sort) là một thuật toán sắp xếp phát triển bởi C.A.R. Hoarec sắp thành hai danh sách con.
Mới!!: Charles Antony Richard Hoare và Sắp xếp nhanh · Xem thêm »
11 tháng 1
Ngày 11 tháng 1 là ngày thứ 11 trong lịch Gregory.
Mới!!: Charles Antony Richard Hoare và 11 tháng 1 · Xem thêm »
Chuyển hướng tại đây:
C. A. R. Hoare, C. Antony R. Hoare, C.A.R. Hoare, Tony Hoare.
