Saya melihat Kalkulus Konstruksi dan tempatnya di Kubus Lambda . Jika saya mengerti dengan benar, setiap sumbu kubus dapat dianggap sebagai menambahkan operasi lain yang melibatkan jenis ke kalkulus yang diketik sederhana, λ→λ→\lambda_\to . Sumbu pertama menambahkan operator tipe-ke-istilah,...
Apakah ada definisi formal tentang tinggi rata-rata pohon biner? Saya punya pertanyaan tutorial tentang menemukan ketinggian rata-rata pohon biner menggunakan dua metode berikut: Solusi alami mungkin mengambil panjang rata-rata dari semua jalur yang mungkin dari akar ke daun, yaitu avh1(T)=1#...
Saya mengajukan pertanyaan (seed) tentang jumlah istilah Landau sebelumnya , mencoba untuk mengukur bahaya penyalahgunaan notasi asimtotik di aritmatika, dengan kesuksesan beragam. Sekarang, di sini guru pengulangan kami, JeffE , pada dasarnya melakukan ini: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad...
Apakah menerima berarti bahwa TM akan membaca dan mengenali arang dari sel yang sedang dibacanya? Dan apakah TM berhenti jika inputnya dapat
Saya membaca di Wikipedia bahwa penyatuan adalah proses penyelesaian masalah kepuasan. Pada saat yang sama, saya tahu bahwa pemecah seperti itu disebut "pemecah SAT" atau "pemecah SMT". Jadi, apakah mereka berbeda nama untuk hal yang sama? Jika Anda mengatakan bahwa mereka berbeda, harap...
Saya tidak tahu terminologi yang benar untuk mengajukan pertanyaan ini, jadi saya akan menggambarkannya dengan banyak kata, bersabarlah. Latar belakang , jadi kita ada di halaman yang sama: Program sering mengandung cache - waktu / memori tradeoff. Kesalahan programmer yang umum adalah lupa...
Ada lambang simbol yang kadang-kadang membingungkan yang digunakan dalam makalah matematika dan CS. Namun banyak yang menganggap keakraban dasar yang tampaknya jarang diajarkan di satu tempat. Saya mencari kamus seperti berikut ini, terutama dari perspektif CS. Ini akan mendaftar semua simbol...
Dari sudut pandang perilaku asimptotik, apa yang dianggap sebagai algoritma "efisien"? Apa standar / alasan untuk menggambar garis pada titik itu? Secara pribadi, saya akan berpikir bahwa apa pun yang mungkin secara naif saya sebut "sub-polinomial", sehingga seperti akan efisien dan apa pun yang...
Saya merasa sulit untuk membedakan secara jelas antara Multiprogramming dan Multitasking. Sumber utama saya adalah Wikipedia , tetapi artikel WP tampaknya sedikit berselisih dengan beberapa sumber yang kurang memiliki reputasi (seperti profesor perguruan tinggi saya). Ketika saya membaca WP,...
Notasi apa yang digunakan untuk membahas koefisien fungsi dalam notasi O besar? Saya memiliki dua fungsi: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Jelas, kedua fungsi adalah O(x2)O(x2)O(x^2) , memang Θ(x2)Θ(x2)\Theta(x^2) , tetapi itu tidak...
Untuk fungsi atau perhitungan, kami memiliki istilah seperti: Deterministik - Determinisme Murni - Kemurnian Sekarang apa kata benda yang tepat untuk bebas efek samping ? "Efek samping"? "Kebebasan efek samping"? "Tidak efektif dari
Secara kasar, grafik tidak terarah sangat mirip dengan grafik terarah di mana untuk setiap sisi (v, w), selalu ada sisi (w, v). Itu menunjukkan bahwa mungkin dapat diterima untuk melihat grafik yang tidak diarahkan sebagai bagian dari grafik yang diarahkan (mungkin dengan batasan tambahan bahwa...
Anda diberi larik panjang . Setiap elemen array milik salah satu kelas K. Anda seharusnya mengatur ulang array menggunakan jumlah minimum operasi swap sehingga semua elemen dari kelas yang sama selalu dikelompokkan bersama, yaitu mereka membentuk subarray yang berdekatan. Sebagai...
Menurut Peter Selinger , The Lambda Calculus adalah Aljabar (PDF). Di awal artikel ini dia berkata: Interpretasi combinatory dari kalkulus lambda diketahui tidak sempurna, karena tidak memenuhi ξξξ -rule: di bawah interpretasi, M=NM=NM = N tidak berarti λx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda...
Saya sedang meneliti pemrograman dinamis dan membaca yang berikut: Seringkali ketika menggunakan metode yang lebih naif, banyak dari subproblem yang dihasilkan dan dipecahkan berkali-kali. Apa itu metode
Whist membaca sebuah artikel yang menguraikan perbedaan dalam pemrograman OO dan Fungsional. Saya menemukan pointer fungsi. Sudah lama sejak saya menyelesaikan gelar Ilmu Komputer saya (2003) dan jadi saya mencari petunjuk untuk menyegarkan ingatan saya. Pointer adalah variabel yang berisi...
Dalam masalah Subset Sum, bisakah beberapa angka yang diberikan sama? Sebagai contoh, kita mungkin memiliki dan targetnya adalah ? Dapatkah saya berasumsi bahwa saya memiliki solusi spesifik dengan angka dan dan dan
Saya telah membaca banyak dokumen tentang konvolusi dalam pemrosesan gambar, dan kebanyakan dari mereka mengatakan tentang formulanya, beberapa parameter tambahan. Tidak ada yang menjelaskan intuisi dan makna sebenarnya di balik melakukan konvolusi pada gambar. Misalnya, intuisi derivasi pada...
Dalam Bab 1 dari Yayasan Praktis untuk Bahasa Pemrograman , penulis menyebutkan bahwa pohon sintaksis abstrak terkait dengan jenis . Secara intuitif, jenis seperti tipe, tetapi saya ingin tahu apakah mereka memiliki definisi yang tepat. Saya akan senang jika beberapa referensi disediakan...
Saya telah membaca beberapa makalah teori bahasa formal, dan saya menemukan istilah yang tidak saya mengerti. Makalah ini akan sering merujuk pada satu set yang "ditutup secara efektif di bawah persimpangan" atau operasi lainnya. Apa arti "efektif" di sini? Apa bedanya dengan penutupan...