Pertanyaan yang diberi tag «logic»

Untuk mengetahui perbedaannya, saya baru saja menemukan pernyataan di bawah tentang logika temporal di Wikipedia : varian lain dari logika modal yang berbagi banyak fitur umum dengan logika dinamis, berbeda dari semua logika yang disebutkan di atas dengan menjadi apa yang telah ditandai oleh Pnueli sebagai logika "endogen", yang lain …

12 logic  linear-temporal-logic  temporal-logic 

Bisakah Anda memberi saya beberapa saran tentang buku pengantar (tapi komprehensif) yang bagus tentang Logika dan Komputasi? Beberapa topik kabur yang ada dalam pikiran saya adalah: Artihm Presburger, PA, ZF, ZFC, HOL Teori set, teori tipe Modeling Computation (Turing Machines) dalam berbagai teori Tautan dengan kompleksitas komputasi (FMT, kompleksitas deskriptif)

11 reference-request  logic  books 

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

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 

Apakah contoh berikut ini benar tentang apakah algoritma inferensi suara dan lengkap ? Misalkan kita memiliki jarum a, b, c di tumpukan jerami, dan juga memiliki algoritma inferensi yang dirancang untuk menemukan jarum. sound - Hanya jarum a, b dan c yang diperoleh. complete - Jarum a, b dan c …

11 logic 

Saat ini saya sedang mempelajari kalkulus lambda dan bertanya-tanya tentang dua jenis penulisan istilah lambda berikut. λ x y. x yλxy.xy\lambda xy.xy λ x . λ y. x yλx.λy.xy\lambda x.\lambda y.xy Apakah ada perbedaan makna atau cara Anda menerapkan pengurangan beta, atau hanya dua cara untuk mengekspresikan hal yang sama? …

11 logic  lambda-calculus 

Dispenser minuman mengharuskan pengguna untuk memasukkan koin ( ), lalu tekan salah satu dari tiga tombol: meminta secangkir teh , selain kopi , dan meminta pengembalian uang (yaitu mesin mengembalikan koin: ). Dispenser ini dapat dimodelkan dengan proses CCS berikut :ˉ d teheteh ˉ r ˉ bc¯c¯\bar cd¯tehd¯tea\bar d_{\text{tea}}eteheteae_{\text{tea}}r¯r¯\bar rb¯b¯\bar …

11 logic  concurrency  modelling  process-algebras  ccs 

Dua model komputasi dapat ditunjukkan saling melengkapi jika masing-masing dapat menyandikan simulator universal untuk yang lain. Dua logika dapat ditunjukkan untuk melengkapi jika suatu pengkodean aturan inferensi (dan mungkin aksioma jika ada) dari masing-masing ditunjukkan sebagai teorema dari yang lain. Dalam komputabilitas ini telah mengarah pada gagasan alami kelengkapan Turing …

10 computability  logic  turing-completeness 

Saya mencoba untuk belajar sendiri tentang komputasi kuantum, dan saya memiliki pemahaman yang baik tentang aljabar linier. Saya melewati gerbang NOT, yang tidak terlalu buruk, tapi kemudian saya sampai di gerbang Hadamard. Dan saya terjebak. Terutama karena ketika saya "memahami" manipulasi, saya tidak mengerti apa yang sebenarnya mereka lakukan atau …

10 logic  quantum-computing 

Sehubungan dengan utas Membuktikan bahwa konversi dari CNF ke DNF adalah NP-Hard (dan utas Matematika terkait ): Bagaimana dengan arah lain, dari DNF ke CNF? Apakah itu mudah atau sulit? Pada halaman 2 makalah ini , mereka tampaknya mengisyaratkan bahwa kedua arah sama-sama sulit ketika mereka mengatakan " Kami tertarik …

10 complexity-theory  logic  satisfiability  normal-forms 

Saya telah mencoba untuk menyelesaikan latihan berikut tetapi saya macet ketika mencoba menemukan semua pasangan yang kritis . Saya punya pertanyaan berikut: Bagaimana saya tahu pasangan kritis mana yang menghasilkan aturan baru? Bagaimana saya tahu saya menemukan semua pasangan kritis? Misalkan Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, i, e \right \} mana …

10 logic  first-order-logic 

Dalam Chaitin Meta Math! The Quest For Omega , ia secara singkat berbicara tentang Masalah ke-10 Hilbert. Dia kemudian mengatakan bahwa Persamaan Diophantine dapat diubah menjadi dua polinomial yang sama dengan koefisien bilangan bulat positif: .p = 0p = 0p=0p=0p = 0⟺hal1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Lalu dia berkata …

10 logic  halting-problem 

Apa fungsi anonim (lambda)? Apa definisi formal dari fungsi anonim dalam bahasa pemrograman fungsional? Dalam istilah sederhana saya, ketika saya pemrograman dalam skema / lisp saya akan mengatakan fungsi anonim (lambda) adalah fungsi yang tidak terikat pada pengenal. Apakah hanya itu yang dapat Anda katakan secara formal tentang fungsi lambda? …

10 logic  programming-languages  lambda-calculus  functional-programming 

Apakah ada bahasa pemrograman (atau logika) yang dapat mengimplementasikan (atau mengekspresikan) fungsi jika dan hanya jika f adalah fungsi bijektif yang dapat dihitung?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Dalam pembuktian teorema resolusi, biasanya diasumsikan variabel dalam klausa yang berbeda berbeda. Ini bukan sesuatu yang terjadi secara otomatis; itu membutuhkan kode dan perhitungan tambahan yang signifikan untuk diterapkan. Mengingat itu, saya mencari test case untuk itu. Masalahnya adalah, dalam semua kasus uji yang saya coba sejauh ini, tidak ada …

10 logic  automated-theorem-proving 

Saya penasaran. Saya telah mengerjakan tipe data ini di OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Yang dapat dimanipulasi menggunakan fungsi rekursif yang diketik secara eksplisit (fitur yang telah ditambahkan baru-baru …

10 logic  programming-languages  coq  inductive-datatypes