Pertanyaan yang diberi tag terminology

Jika Anda dapat mengubah nama pemrograman dinamis, apa

Tanyakan bahkan kepada seseorang dengan latar belakang dalam ilmu komputer apa ekspresi reguler itu, dan jawabannya cenderung melampaui batasan berada dalam jangkauan robot kondisi-terbatas. Misalnya, "ekspresi reguler" /^1?$|^(11+?)\1+$/ dibuat oleh kepribadian Perl yang terkenal Abigail (dan...

Dalam beberapa pertanyaan terakhir ( q1 q2 ), telah ada diskusi tentang "Teori A" vs "Teori B", yang tampaknya menangkap kesenjangan antara studi logika dan bahasa pemrograman dan studi tentang algoritma dan kompleksitas. Terminologi ini baru bagi saya, dan pencarian web cepat tidak menghasilkan...

Apakah seseorang berani mencoba untuk menjelaskan apa hubungan bidang studi ini atau bahkan mungkin memberikan jawaban yang lebih konkret di tingkat masalah? Seperti yang termasuk yang mengasumsikan beberapa formulasi diterima secara luas. Jika saya mendapatkan ini dengan benar, ketika Anda beralih...

Karena tidak ada tanggapan di Lambda the Ultimate, saya coba lagi di sini: istilah sistem penulisan ulang digunakan misalnya dalam teorema otomatis yang membuktikan perhitungan simbolis, dan tentu saja untuk mendefinisikan tata bahasa formal. Ada beberapa bahasa pemrograman yang berbasis pada...

Apakah ada masalah dalam CS di mana tidak ada algoritma efisien yang diketahui, meskipun ada teorema yang membuktikan algoritma efisien seperti itu harus ada? Apa sebutan masalah ini? Di mana saya bisa tahu lebih

Salah satu hal menakjubkan tentang ilmu komputer adalah bahwa implementasi fisik dalam beberapa hal "tidak relevan". Orang-orang telah berhasil membangun komputer dari beberapa substrat yang berbeda - relay, tabung hampa udara, transistor diskrit, dll. Orang mungkin akan segera berhasil membangun...

Ambil grafik terarah mana tepinya didekorasi dengan bilangan alami. Kami ingin himpunan semua jalur P antara dua simpul v 1 dan v 2 sedemikian rupa sehingga setiap tepi berurutan di jalur dihiasi dengan bilangan alami yang lebih besar dari bilangan alami yang menghiasi tepi

Maaf, jika ini adalah pertanyaan naif, tapi saya tidak dapat menemukan pembenaran di salah satu buku teks utama seperti Bondy-Murty, Diestel atau Barat. Grafik sempurna memiliki banyak properti yang indah, tetapi apa alasan mereka disebut sempurna? Atau itu hanya preferensi estetika oleh...

Pertanyaan ini adalah tentang logika proposisional dan semua kejadian "resolusi" harus dibaca sebagai "resolusi proposisional". Pertanyaan ini adalah sesuatu yang sangat mendasar tetapi telah mengganggu saya untuk sementara waktu. Saya melihat orang-orang menyatakan bahwa resolusi proposisional...

Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: a -> b...

Untuk waktu yang paling lama saya berpikir bahwa masalah adalah NP-lengkap jika keduanya (1) NP-hard dan (2) ada di NP. Namun, dalam makalah terkenal "Metode ellipsoid dan konsekuensinya dalam optimasi kombinatorial" , para penulis mengklaim bahwa masalah bilangan kromatik fraksi milik NP dan...

Kami mengatakan bahwa fungsi f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} adalah konstruktif-waktu , jika ada mesin Turing multi-tape deterministik MMM yang pada semua input panjang nnn membuat paling banyak f(n)f(n)f(n) langkah dan untuk setiap nnn ada beberapa input dari panjang nnn di mana MMM...

Pertanyaan ini mungkin tidak bersifat teknis. Sebagai pembicara non-asli dan TA untuk kelas algoritma, saya selalu bertanya-tanya apa arti gadget dalam 'gadget klausa' atau 'gadget variabel'. Kamus mengatakan gadget adalah mesin atau perangkat, tapi saya tidak yakin apa artinya bahasa sehari-hari...

Satu-satunya definisi "kalkulus" yang saya ketahui adalah studi tentang batas, turunan, integral, dll dalam analisis. Dalam arti apa kalkulus lambda (atau hal-hal seperti kalkulus mu) adalah "kalkulus"? Bagaimana kaitannya dengan kalkulus dalam

Saya saat ini mendengarkan pembicaraan Alan Kays, "Apakah ini benar-benar rumit atau apakah kita membuatnya rumit?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) di mana ia mengatakan bahwa "semafor adalah ide yang buruk dan ada sesuatu yang disebut waktu semu yang lebih unggul" (pada 51:40...

Kita semua tahu bahwa kompleksitas minimal dari algoritma pengurutan berbasis perbandingan adalah perbandingan . Saya mencoba untuk melakukan semacam buta , yaitu diberi nomor keluaran sirkuit (dengan gerbang boolean, aritmatika dan "perbandingan") yang mengurutkan daftar item

Grafik berwarna dapat digambarkan sebagai tuple mana adalah grafik dan adalah pewarnaannya. Dua grafik berwarna dan dikatakan isomorfis jika ada isomorfisma sedemikian rupa sehingga pewarnaannya dipatuhi, yaitu untuk semua .(G,c)(G,c)(G,c)GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow...

Saya ingin tahu apakah masalah berikut memiliki nama, atau hasil apa pun yang terkait dengannya. Misalkan adalah grafik berbobot di mana menunjukkan bobot tepi antara dan , dan untuk semua , . Masalahnya adalah untuk menemukan subset dari simpul yang memaksimalkan jumlah dari bobot tepi yang...

Dalam dua pertanyaan berikut ini, Asal dan penerapan Teori A vs Teori B? dan aplikasi teori kategori Solid dalam TCS? , banyak orang berbagi pengetahuan dan pendapat mereka tentang pembagian dua area dalam CS teoritis. Saya seorang siswa dalam matematika dengan pengalaman di kedua teori grafik dan...