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

Tôi thường sử dụng ký hiệu cho chuỗi rỗng (từ trống hoặc chuỗi rỗng). Nhưng tôi biết một số người sử dụng λ thay vì ε .εε\varepsilonλλ\lambdaεε\varepsilon Tôi nghĩ có nguồn gốc từ chữ "Empty". Tuy nhiên tôi không biết nguồn gốc của những gì λ .εε\varepsilonλλ\lambda Trong lý thuyết …

14 formal-languages  automata  reference-request  notation  history 

Tài liệu khá rõ ràng rằng RAM chi phí đơn vị với phép nhân nguyên thủy là không hợp lý, trong đó chúng không thể được mô phỏng bằng máy Turing trong thời gian đa thức có thể giải quyết các vấn đề hoàn chỉnh PSPACE trong thời gian đa …

13 complexity-theory  reference-request  computation-models  history 

Tôi đã tự hỏi nếu ai đó biết nguồn gốc của mô hình máy chủ khách hàng. Thuật ngữ này đến từ đâu (giấy, ứng dụng phần mềm, sách)?

13 terminology  reference-request  distributed-systems  history 

Tại sao biến đổi laplace không phổ biến để xử lý hình ảnh? Hầu hết các sách giáo khoa chỉ hội tụ các biến đổi Fourier.

12 history  image-processing 

Người ta nói rằng lý thuyết tính toán còn được gọi là lý thuyết đệ quy. Tại sao nó được gọi như vậy? Tại sao đệ quy có tầm quan trọng này?

12 computability  terminology  history 

Tiêu đề nói lên tất cả, nhưng tôi tò mò vì không rõ bằng cách nào một người hoạt động theo định lý được đặt tên là 'Isabelle'. Nó được đặt tên cho một người? Tôi không thể tìm ra bởi một số tìm kiếm Google.

11 history  automated-theorem-proving  isabelle 

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Tôi đang đọc bài báo "Máy tính và trí thông minh" của Turing ( https://www.csee.umbc.edu/cifts/471/ con / turing.pdf ) và tìm thấy một đoạn trong đó anh ta nói: Tôi đã thiết lập trên máy tính Manchester một chương trình nhỏ chỉ sử dụng 1.000 đơn vị lưu trữ, theo …

10 algorithms  history 

Tôi đã nghe một số giải thích có thể, vì vậy tôi muốn một số tài liệu tham khảo đáng tin cậy. Cập nhật 05.19: Tôi quan tâm đến câu hỏi vì một trong những sinh viên của tôi đã viết trong luận án của mình rằng tên này xuất …

9 terminology  reference-request  history 

Về tình trạng nghệ thuật mà tôi đang chạy trước Lý thuyết Loại Tôi có tất cả những câu hỏi liên quan đến lịch sử của các loại. Ý tưởng về Type đến từ đâu? (Dường như tất cả bắt đầu khi Russell và Whitehead đề xuất một cách để …

8 type-theory  history 

Tôi đã tìm kiếm học giả google để tham khảo và thu hẹp đề cập đầu tiên vào đâu đó vào khoảng năm 1963 với một sự hốt hoảng rất kỳ lạ vào năm 1949. Vì vậy, tôi đang cố gắng theo dõi bài báo gốc giới thiệu các biểu …

7 graph-theory  reference-request  history 

Tôi hiện đang nghiên cứu cho luận án văn bằng của tôi về khoa học máy tính với một chủ đề trong lĩnh vực bảng băm phân tán. Đương nhiên, tôi đi đến câu hỏi là thuật ngữ bảng băm phân phối xuất phát từ. (Tôi biết rằng đó không …

7 data-structures  terminology  distributed-systems  hash-tables  history 

Tôi đã hỏi câu hỏi này tại math.stackexchange , nhưng tôi đã được chuyển hướng ở đây. Câu hỏi của tôi là, nếu có bất kỳ mối quan hệ lịch sử nào giữa các lĩnh vực của hệ thống Động lực học (và các lĩnh vực liên quan như Điều …

7 history