Câu hỏi được gắn thẻ «ho.history-overview»

Ai giới thiệu ý tưởng đệ quy ? Ai đó có thể giải thích nó đến từ đâu và nó đã tác động đến khoa học máy tính như thế nào không?

14 reference-request  ho.history-overview  recursion 

Robin Milner đã định nghĩa các bản đồ lớn là một loại cấu trúc đồ họa với cấu trúc giống như đồ thị nhưng trong đó các nút có thể được lồng vào nhau. Họ khái quát hóa các tính toán quá trình như CCS và -calculus, nhưng Milner dường …

14 process-algebra  ho.history-overview 

Tôi đang tìm kiếm: Michael O. Rabin, "Mức độ khó của việc tính toán một hàm và sắp xếp một phần các tập đệ quy", Đại học Do Thái, Jerusalem, 1960 Tóm lược: Chúng tôi cố gắng đo lượng công việc vốn có trong nhiệm vụ tính toán một hàm …

13 cc.complexity-theory  reference-request  ho.history-overview 

Tôi đã đọc về Lý thuyết loại trực giác (ITT) và nó thực sự có ý nghĩa. Nhưng điều tôi đang đấu tranh để hiểu là "tại sao" nó được tạo ra ngay từ đầu? Logic trực giác (IL) và đơn giản gõ -calculus (STLC) và lý thuyết loại nói …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

Để kỷ niệm sinh nhật lần thứ 100 của Alan Turing, tôi muốn xem một bộ phim tài liệu về cuộc đời anh. Tuy nhiên, có một số phim tài liệu để lựa chọn. Tài liệu nào về Alan Turing là sở thích của bạn? Vui lòng chỉ bao gồm …

13 reference-request  soft-question  big-list  ho.history-overview 

Tôi muốn biết về lịch sử của hai thuật ngữ này: " hiệu quả ", " khả thi ". Ai đã sử dụng chúng về tính toán / thuật toán lần đầu tiên? (theo nghĩa hiện đại của các thuật ngữ này, tức là thế kỷ 20). Làm thế nào …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

Tôi đã cố gắng quấn đầu xung quanh cái gì, tại sao và như thế nào về -calculus nhưng tôi không thể hiểu được "tại sao nó hoạt động"?λλ\lambda "Trực giác" Tôi có được mô hình tính toán của Turing Machines (TM). Nhưng việc này chỉ khiến tôi bối rối.λλ\lambda …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

Ngôn ngữ Dyck được xác định bởi ngữ pháp sau S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) trên tập các biểu tượng { ( 1 , ... , ( k , ) 1 , ... , ) k } . Ngôn ngữ Dyck trực giác là ngôn ngữ của dấu ngoặc đơn cân …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

Trong khi dạy cách triển khai các FSM bằng các mạch logic đồng bộ, tôi nhận thấy một sự trùng hợp thú vị: trong cả thế giới CS lý thuyết và trong thế giới kỹ thuật điện, "trạng thái" thường được ký hiệu là (và không gian trạng thái ). …

12 automata-theory  ho.history-overview 

Thuật ngữ đầu tiên được Hilbert sử dụng trong tác phẩm năm 1928 của mình, nhưng trong tác phẩm sau này của Gôdel, điều tương tự được gọi là Unvollständigkeitssatz ("định lý không hoàn chỉnh"). Đối với các nhà nghiên cứu CS người Đức ngày nay, dường như Unvollständigkeitssatz được …

11 lo.logic  computability  ho.history-overview 

Tất cả các bảo tàng và triển lãm liên quan đến máy tính mà tôi biết dường như chỉ bao gồm lịch sử của máy móc máy tính, nhưng không có gì về các chủ đề của khoa học máy tính. Bạn đang tham gia vào việc tạo ra một …

11 soft-question  big-list  ho.history-overview 

Người ta biết rằng cỗ máy phân tích của Charles Babbage có kiến ​​trúc mạnh mẽ giống với kiến ​​trúc Von Neumann hiện đại. Ngoài ra, đáng chú ý là các bảng biểu diễn một chương trình cho máy phân tích của Babbage ( http://www.fourmilab.ch/babbage/fftime/menat3.png ) và công việc của …

10 ho.history-overview 

Có ai biết tên Hệ thống "F" và Hệ thống "T" đến từ đâu không? Tôi không hỏi ai đã giới thiệu những cái tên đó (Girard System F, và Goddel System T), nhưng "F" và "T" nghĩa là gì.

9 ho.history-overview  type-systems  formal-systems 

Nếu tôi hiểu chính xác, để chứng minh rằng vấn đề là NP khó, bạn cần chọn tất cả các vấn đề có thể có B i trong NP và sau đó chứng minh rằng chúng giảm xuống A bằng cách sử dụng hàm tính toán thời gian đa thức, …

9 soft-question  ho.history-overview  cook-levin 

(Xin lỗi nếu điều này bị đặt sai chỗ hoặc quá rộng. Tôi sẵn sàng đề xuất về cách cải tổ nó.) Tôi quan tâm đến việc truy ngược lại lịch sử "cổ đại" của các thuật toán dòng chảy tối đa và các thuật toán tối ưu hóa riêng …

9 ds.algorithms  graph-algorithms  ho.history-overview