Khoa học máy tính

7

Có một mối liên hệ giữa vấn đề tạm dừng và entropy nhiệt động?

Alan Turing đã đề xuất một mô hình cho một máy (Máy Turing, TM) tính toán (số, hàm, v.v.) và chứng minh Định lý Dừng . TM là một khái niệm trừu tượng về máy (hoặc động cơ nếu bạn muốn). Định lý dừng là một kết quả không thể. …

31 turing-machines halting-problem entropy

8

Làm thế nào để một máy tính xác định kiểu dữ liệu của một byte?

Ví dụ: nếu máy tính đã 10111100lưu trữ trên một byte RAM cụ thể, làm thế nào máy tính biết để giải thích byte này dưới dạng một số nguyên, ký tự ASCII hoặc một cái gì khác? Là loại dữ liệu được lưu trữ trong một byte liền kề? …

31 memory-hardware memory-access type-checking

8

Có phải là một vấn đề để trở thành một lập trình viên không có kiến thức về độ phức tạp tính toán?

Tôi đã được chỉ định một bài tập trong trường đại học của tôi. Tôi đoán nó về nhà và cố gắng lập trình một thuật toán để giải nó, nó là thứ gì đó liên quan đến đồ thị, tìm các thành phần được kết nối, tôi đoán vậy. …

30 algorithms algorithm-analysis education applied-theory

4

Một mật mã bất đối xứng cực kỳ cơ bản mà tôi có thể trình bày tại quán rượu là gì?

Tôi đang cố gắng giải thích những điều cơ bản về Bitcoin cho bố mẹ tôi. Một trong những thành phần cốt lõi của bitcoin, là ký các giao dịch để đảm bảo danh tính của bạn không thể bị mạo danh, và do đó cần phải giải thích một …

30 cryptography

2

Những gì ngữ cảnh bối cảnh trong các ngữ pháp trong bối cảnh ngữ pháp miễn phí ngữ pháp đề cập đến những gì?

Có rất nhiều định nghĩa trực tuyến về ngữ pháp không ngữ cảnh là gì, nhưng không có gì tôi thấy là thỏa mãn rắc rối chính của mình: Có gì bối cảnh là nó giải phóng của? Để điều tra, tôi đã tìm hiểu "ngữ pháp nhạy cảm ngữ …

30 terminology context-free formal-grammars

2

Làm thế nào để lập trình phản ứng chức năng và mô hình diễn viên liên quan với nhau?

FRP là về truyền phát các sự kiện và hành vi thông qua các chức năng thuần túy. Mô hình Actor - ít nhất, như được triển khai trong Akka - là về việc truyền các thông điệp bất biến (có thể được coi là các sự kiện rời rạc) …

30 distributed-systems functional-programming programming-paradigms

6

Tại sao ngữ pháp mơ hồ xấu?

Tôi hiểu rằng nếu tồn tại 2 hoặc nhiều cây phái sinh trái hoặc phải, thì ngữ pháp là mơ hồ, nhưng tôi không thể hiểu tại sao nó tệ đến mức mọi người đều muốn loại bỏ nó.

30 compilers ambiguity

2

Sự tương đương của Büchi automata và tuyến tính

Đó là một thực tế được biết rằng tất cả các công thức LTL có thể được thể hiện bằng một Buchi -automaton. Nhưng, rõ ràng, Büchi automata là một mô hình mạnh mẽ hơn, biểu cảm hơn. Tôi đã nghe đâu đó rằng Buchi automata tương đương với tuyến …

30 logic automata formal-methods linear-temporal-logic buchi-automata

2

Làm thế nào là ngôn ngữ lập trình và nền tảng của toán học liên quan?

Về cơ bản tôi nhận thức được ba nền tảng cho toán học Đặt lý thuyết Lý thuyết loại Chuyên mục lý thuyết Vậy những ngôn ngữ lập trình và nền tảng của toán học liên quan đến những cách nào? CHỈNH SỬA Câu hỏi ban đầu là "Ngôn ngữ …

30 programming-languages history type-theory category-theory

1

Bảng băm so với cây nhị phân

Khi triển khai từ điển ('Tôi muốn tra cứu dữ liệu khách hàng bằng ID khách hàng của họ'), các cấu trúc dữ liệu điển hình được sử dụng là bảng băm và cây tìm kiếm nhị phân. Ví dụ, tôi biết rằng thư viện C ++ STL thực hiện …

30 algorithms data-structures binary-trees hash-tables

1

Định lý Rice cho các thuộc tính phi ngữ nghĩa

Định lý Rice cho chúng ta biết rằng các thuộc tính ngữ nghĩa duy nhất của Turing Machines (tức là các thuộc tính của hàm được tính bằng máy) mà chúng ta có thể quyết định là hai thuộc tính tầm thường (nghĩa là luôn luôn đúng và luôn luôn …

30 computability undecidability

2

Sự khác biệt giữa TM lượng tử và TM không điều kiện là gì?

Tôi đã trải qua các cuộc thảo luận về câu hỏi Làm thế nào để xác định máy Turing lượng tử? và tôi cảm thấy rằng TM lượng tử và TM không điều kiện là một và giống nhau. Các câu trả lời cho câu hỏi khác không chạm vào …

30 computability turing-machines quantum-computing nondeterminism

9

Giải thích sự khác biệt giữa khoa học máy tính và kiến thức máy tính [đóng]

Một ẩn dụ hay ví dụ hay để giải thích cho một người Anh chính là sự khác biệt giữa khoa học máy tính cổ điển và "tốt với việc sử dụng MS-Windows" khoa học máy tính lập trình máy tính sử dụng máy tính 3 điều sâu sắc khác …

30 terminology education

2

Không phải tất cả các cây Đỏ-Đen đều cân đối?

Theo trực giác, "cây cân bằng" phải là cây trong đó các cây con trái và phải ở mỗi nút phải có số lượng nút "xấp xỉ như nhau". Tất nhiên, khi chúng ta nói về cây đỏ-đen * (xem định nghĩa ở cuối) được cân bằng, chúng tôi thực …

30 data-structures binary-trees search-trees

5

Ý nghĩa của: '' Nếu bao thanh toán số nguyên lớn là khó, thì phá RSA là khó, 'là không được chứng minh

Tôi đã đọc CLRS và được cho biết: Nếu bao thanh toán số nguyên lớn là dễ dàng, thì việc phá vỡ hệ thống mật mã RSA là dễ dàng. Điều này có ý nghĩa với tôi bởi vì với kiến thức về và q , thật dễ dàng để …

30 cryptography