Ilmu Komputer

T&J untuk siswa, peneliti, dan praktisi ilmu komputer

5
Kalkulus Lambda di luar pemrograman fungsional?
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya seorang mahasiswa, dan kami sedang mempelajari Lambda Calculus. Namun, saya masih kesulitan memahami dengan tepat mengapa ini berguna bagi saya. Saya menyadari jika Anda melakukan banyak …



3
Apakah penolakan sampel adalah satu-satunya cara untuk mendapatkan distribusi angka acak yang benar-benar seragam?
Misalkan kita memiliki generator acak yang mengeluarkan angka dalam kisaran [0..R−1][0..R−1][0..R-1] dengan distribusi seragam dan kita perlu menghasilkan angka acak dalam kisaran [0..N−1][0..N−1][0..N-1] dengan distribusi seragam. Misalkan N&lt;RN&lt;RN < R dan NNN tidak membagi secara merata RRR; untuk mendapatkan distribusi yang benar - benar seragam, kita dapat menggunakan metode sampel …

4
Buku untuk algoritme di luar Cormen
Saya telah menyelesaikan sebagian besar materi dalam buku Cormen Intro to Algorithms dan saya mencari buku algoritma yang mencakup materi di luar buku Corman. Apakah ada rekomendasi? CATATAN: Saya menanyakan ini pada stackoverflow tetapi tidak terlalu senang dengan jawabannya. CATATAN: Melihat sebagian besar komentar yang saya pikir idealnya saya ingin …

7
Buku Ilmu Komputer untuk Dewasa Muda
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Apa buku ilmu komputer pemula yang bagus untuk seorang dewasa muda, katakanlah, berusia 15 tahun? Saya ingin memulai di CS, tetapi tidak tahu harus mulai dari mana. …

3
Persamaan dan perbedaan dalam proses utama aljabar
Setahu saya, ada tiga aljabar proses utama yang telah mengilhami berbagai penelitian ke dalam model formal konkurensi. Ini adalah: CCS dan -kalkulus keduanya oleh Robin Milnerππ\pi CSP oleh Tony Hoare dan ACP oleh Jan Bergstra dan Jan Willem Klop Ketiganya tampaknya sampai hari ini memiliki pengikut yang cukup aktif dan …

4
Frekuensi CPU per tahun
Saya tahu bahwa sejak ~ 2004, hukum Moore berhenti bekerja untuk kecepatan clock CPU. Saya mencari grafik yang menunjukkan ini, tetapi saya tidak dapat menemukannya: sebagian besar grafik di luar sana menunjukkan jumlah transistor atau kapasitas per tahun. Di mana saya dapat menemukan beberapa data yang menunjukkan frekuensi CPU komputer …

2
Apa itu kesetaraan beta?
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Dalam skrip yang saat ini saya baca pada kalkulus lambda, kesetaraan beta didefinisikan sebagai ini: The ββ\beta -equivalence adalah kesetaraan terkecil yang berisi .→ β≡β≡β\equiv_\beta→β→β\rightarrow_\beta Saya tidak …



1
Mesin untuk bahasa bebas konteks yang tidak memperoleh daya ekstra dari nondeterminisme
Ketika mempertimbangkan model mesin dari perhitungan, hierarki Chomsky biasanya ditandai oleh (dalam urutan), automata terbatas, automata push-down, automata terikat linier dan Mesin Turing. Untuk level pertama dan terakhir 1 (bahasa reguler dan bahasa yang berulang secara berulang), tidak ada bedanya dengan kekuatan model apakah kami mempertimbangkan mesin deterministic atau nondeterministic, …

4
Kelas kompleksitas di mana
Salah satu motivasi yang mungkin untuk mempelajari kelas kompleksitas komputasi adalah untuk memahami kekuatan berbagai jenis sumber daya komputasi (keacakan, non-determinisme, efek kuantum, dll.). Jika kita melihatnya dari perspektif ini, maka sepertinya kita dapat memperoleh satu aksioma yang masuk akal untuk setiap upaya mengkarakterisasi perhitungan mana yang layak dalam beberapa …

2
Kurangi masalah berikut menjadi SAT
Inilah masalahnya. Diberikan , di mana setiap . Apakah ada subset dengan ukuran paling banyak sehingga untuk semua ? Saya mencoba mengurangi masalah ini menjadi SAT. Gagasan saya tentang solusi adalah memiliki variabel untuk masing-masing 1 hingga . Untuk setiap , buat klausa jika . Kemudian dan semua klausa ini …

7
Apa pentingnya notasi polesan terbalik?
Saya mengajar komputasi untuk anak berusia 18 tahun. Setelah notasi polesan terbalik dijelaskan kepada mereka, satu orang bertanya mengapa cukup signifikan untuk mengikuti ujian publik. Saya menjelaskan arti historis kalkulator 70-an tetapi ini gagal untuk benar-benar mengatasi masalah ini. Begitu juga dengan aplikasi praktis atau teoretis RPN.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.