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

1

Sự khác biệt giữa logic động và logic thời gian

Để tìm sự khác biệt, tôi chỉ gặp phải các xác nhận bên dưới về logic thời gian trong Wikipedia : một biến thể khác của logic phương thức chia sẻ nhiều đặc điểm chung với logic động, khác với tất cả các logic đã đề cập ở trên bởi …

12 logic  linear-temporal-logic  temporal-logic 

---

3

Cuốn sách giới thiệu về Logic và tính toán

Bạn có thể cho tôi một số gợi ý về một cuốn sách giới thiệu tốt (nhưng toàn diện) về Logic và tính toán không? Một số chủ đề mờ mà tôi có trong tâm trí là: Presih artihm., PA, ZF, ZFC, HOL Đặt lý thuyết, lý thuyết loại Mô …

11 reference-request  logic  books 

---

1

Suy ra các loại sàng lọc

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 

---

1

Ví dụ về tính đúng đắn và hoàn thiện của suy luận

Là ví dụ sau đây đúng về việc một thuật toán suy luận có âm thanh và đầy đủ không? Giả sử chúng ta có kim a, b, c trong đống cỏ khô và cũng có thuật toán suy luận được thiết kế để tìm kim. âm thanh - Chỉ …

11 logic 

---

3

Có sự khác biệt giữa

Tôi hiện đang học tính toán lambda và đã tự hỏi về hai loại khác nhau sau đây viết một thuật ngữ lambda. λ x y. x yλxy.xy\lambda xy.xy λ x . λ y. x yλx.λy.xy\lambda x.\lambda y.xy Có sự khác biệt nào về ý nghĩa hay cách bạn áp …

11 logic  lambda-calculus 

---

2

Quy trình CCS cho một quầy pha chế đồ uống với hai mức giá khác nhau

Một quả uống yêu cầu người dùng để chèn một đồng xu ( ), sau đó một thao tác bấm ba nút: ˉ d trà yêu cầu một tách trà e trà , như trên cho cà phê, và ˉ r yêu cầu một khoản hoàn lại (tức là máy …

11 logic  concurrency  modelling  process-algebras  ccs 

---

1

Có một khái niệm kép để logic Turing Complete dòng trong logic?

Hai mô hình điện toán có thể được hiển thị là hoàn thành nếu mỗi mô hình có thể mã hóa một trình giả lập phổ quát cho mô hình kia. Hai logic có thể được hiển thị là hoàn thành nếu mã hóa các quy tắc suy luận (và …

10 computability  logic  turing-completeness 

---

2

Trực giác đằng sau cổng Hadamard

Tôi đang cố gắng dạy bản thân về điện toán lượng tử và tôi có một sự hiểu biết đúng đắn về đại số tuyến tính. Tôi đã đi qua cổng KHÔNG, điều đó không tệ lắm, nhưng sau đó tôi đã đến cổng Hadamard. Và tôi đã bị mắc …

10 logic  quantum-computing 

---

1

Thuật ngữ viết lại; Tính toán các cặp quan trọng

Tôi đã cố gắng giải bài tập sau nhưng tôi bị kẹt trong khi cố gắng tìm tất cả các cặp quan trọng . Tôi có những câu hỏi sau: Làm thế nào để tôi biết cặp quan trọng nào tạo ra quy tắc mới? Làm thế nào để tôi …

10 logic  first-order-logic 

---

1

Chuyển đổi DNF sang CNF: Dễ hoặc khó

Liên quan đến luồng Chứng minh rằng việc chuyển đổi từ CNF sang DNF là NP-Hard (và một luồng toán học có liên quan ): Làm thế nào về hướng khác, từ DNF đến CNF? Nó dễ hay khó? Trên trang 2 của bài báo này , họ dường như …

10 complexity-theory  logic  satisfiability  normal-forms 

---

1

Vấn đề thứ 10 của Hilbert và phương trình Diophantine của Chaitin Máy tính?

Trong Meta Math của Chaitin ! The Quest For Omega , anh nói ngắn gọn về vấn đề thứ 10 của Hilbert. Sau đó, ông nói rằng bất kỳ phương trình Diophantine có thể được thay đổi thành hai đa thức bằng nhau với các hệ số nguyên dương: .p …

10 logic  halting-problem 

---

3

chức năng lambda ẩn danh (lập trình chức năng)

Hàm nặc danh (lambda) là gì? Định nghĩa chính thức của một chức năng ẩn danh trong ngôn ngữ lập trình chức năng là gì? Nói một cách đơn giản, khi tôi đang lập trình theo sơ đồ / lisp tôi sẽ nói một hàm ẩn danh (lambda) là một …

10 logic  programming-languages  lambda-calculus  functional-programming 

---

1

Một ngôn ngữ lập trình chỉ có thể thực hiện các chức năng phỏng đoán tính toán?

Có ngôn ngữ lập trình (hoặc logic) nào có thể thực hiện (hoặc diễn đạt) một hàm khi và chỉ khi f là một hàm tính toán tính toán?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

---

1

Biến khác biệt cho các mệnh đề khác nhau

Trong định lý độ phân giải chứng minh, thông thường các biến giả định trong các mệnh đề khác nhau là khác biệt. Đây không phải là một cái gì đó xảy ra tự động; nó đòi hỏi mã bổ sung đáng kể và tính toán để thực hiện. Cho …

10 logic  automated-theorem-proving 

---

3

Đa hình và kiểu dữ liệu quy nạp

Tôi tò mò. Tôi đã làm việc với kiểu dữ liệu này ở OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Có thể được thao tác bằng cách sử dụng các hàm …

10 logic  programming-languages  coq  inductive-datatypes 

---