Khoa học máy tính

Chúng tôi biết rằng các DFA tương đương với NFA về sức mạnh biểu cảm; cũng có một thuật toán đã biết để chuyển đổi NFA thành DFA (thật không may bây giờ tôi biết người phát minh ra thuật toán đó), trong trường hợp xấu nhất mang lại cho …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Tôi đang cố gắng để có được một ý tưởng về cách kiểm tra tính nguyên thủy của AKS khi tôi tìm hiểu về nó, ví dụ như một hệ quả để chứng minh rằng PRIMES P, hoặc một thuật toán thực tế để kiểm tra tính nguyên thủy trên …

24 algorithms  efficiency  primes 

Logic xây dựng là một hệ thống loại bỏ Định luật trung gian bị loại trừ, cũng như phủ định kép, như các tiên đề. Nó được mô tả trên Wikipedia ở đây và ở đây . Cụ thể, hệ thống không cho phép chứng minh bằng mâu thuẫn. Tôi …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

Cùng suy nghĩ như câu nói này của Andrej Bauer trong câu trả lời này Cộng đồng Haskell đã phát triển một số kỹ thuật lấy cảm hứng từ lý thuyết thể loại, trong đó monads được biết đến nhiều nhất nhưng không nên nhầm lẫn với monads . Mối …

24 programming-languages  functional-programming  category-theory 

Câu hỏi này đã được di chuyển từ Stack Overflow vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Tôi hơi bối rối bởi một số thuật ngữ tôi đã gặp về sự phức tạp của các vấn đề tối ưu …

24 complexity-theory  np-complete  terminology 

Có phải phân tích được làm mịn tìm đường vào phân tích dòng chính của thuật toán? Có phổ biến cho các nhà thiết kế thuật toán để áp dụng phân tích trơn tru cho các thuật toán của họ?

24 algorithms  complexity-theory  algorithm-analysis 

Trong lớp học tuần trước, giáo sư của tôi đã nhận xét và nói rằng máy Turing được sử dụng như một thước đo / mô hình chuẩn của những gì có thể tính toán được và là cơ sở thảo luận hữu ích cho chủ đề đó. Cô cũng …

24 turing-machines  quantum-computing 

Giả sử có một chương trình sao cho nếu bạn cung cấp Sudoku một phần với bất kỳ kích thước nào, nó sẽ cung cấp cho bạn Sudoku hoàn thành tương ứng. Bạn có thể coi chương trình này là một hộp đen và sử dụng nó để giải quyết …

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

Đây là một câu hỏi ngây thơ và, do đó, có thể là sai, vì vậy xin lỗi trước! Quan điểm của tôi là Máy Turing có thể được coi là cơ sở tính toán cho các ngôn ngữ lập trình thủ tục / mệnh lệnh. Tương tự, phép tính …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Tôi đã xem " Năm giai đoạn chấp nhận toán học xây dựng " của Andrej Bauer và ông nói rằng có hai loại bằng chứng bằng mâu thuẫn (hoặc hai điều mà các nhà toán học gọi là bằng chứng bằng mâu thuẫn): Giả sử là sai ... blah …

23 halting-problem  coq 

Tôi đã vào wikipedia trong danh sách các vấn đề khoa học máy tính chưa được giải quyết và nhận thấy điều này: Liệu mật mã khóa công khai có khả thi không? Tôi nghĩ mã hóa RSA là một dạng mật mã khóa công khai? Tại sao điều này …

23 cryptography 

Tôi đã đọc những từ đó trong khá nhiều ấn phẩm và tôi muốn có một số định nghĩa hay cho những thuật ngữ đó cho thấy rõ sự khác biệt giữa phát hiện đối tượng và phân đoạn ngữ nghĩa so với nội địa hóa là gì. Sẽ thật …

23 terminology  computer-vision 

Giống như lỗ đen trong khoa học máy tính. Chúng ta chỉ có thể biết chúng tồn tại nhưng khi chúng ta có một trong số chúng, chúng ta sẽ không bao giờ biết đó là một trong số chúng.

23 halting-problem  correctness-proof 

Trong lý thuyết tính toán, các hàm tính toán còn được gọi là các hàm đệ quy. Ít nhất là từ cái nhìn đầu tiên, họ không có gì chung với cái mà bạn gọi là "đệ quy" trong lập trình hàng ngày (nghĩa là các hàm gọi chúng là …

23 computability  terminology  history 

đây là một đoạn mã hội section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call kernel mov …

23 assembly