Ilmu Komputer

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 …

21 lambda-calculus  functional-programming 

Jika grafik berbobot memiliki dua pohon rentang minimum yang berbeda dan , maka apakah benar bahwa untuk setiap tepi dalam , jumlah tepi dalam dengan jumlah tepi pada dengan bobot yang sama dengan (termasuk sendiri) sama dengan jumlah tepi dalam dengan bobot yang sama dengan ? Jika pernyataan itu benar, …

21 graph-theory  spanning-trees  weighted-graphs 

Saya mencari penjelasan tentang bagaimana seseorang dapat membuktikan bahwa dua model perhitungan adalah setara. Saya telah membaca buku-buku tentang masalah ini kecuali bahwa bukti kesetaraan dihilangkan. Saya punya ide dasar tentang apa artinya dua model perhitungan menjadi setara (tampilan automata: jika mereka menerima bahasa yang sama). Apakah ada cara lain …

21 proof-techniques  computation-models  simulation 

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 …

21 probability-theory  randomness  random-number-generator  sampling 

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 …

21 algorithms  reference-request  books 

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. …

21 education  reference-request 

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 …

21 logic  concurrency  process-algebras 

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 …

21 computer-architecture  empirical-research  data-sets 

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 …

21 logic  terminology  lambda-calculus  type-theory 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya ingin membuktikan atau menyangkal keberadaan suatu algoritma yang, mengingat array dari bilangan bulat, menemukan tiga indeks dan sedemikian rupa sehingga dan (atau menemukan bahwa tidak ada …

21 algorithms  arrays  subsequences 

Pertimbangkan jenis induktif yang memiliki beberapa kejadian rekursif di lokasi bersarang, tetapi sangat positif. Sebagai contoh, pohon dengan cabang terbatas dengan node menggunakan struktur data daftar umum untuk menyimpan anak-anak. Inductive LTree : Set := Node : list LTree -&gt; LTree. Cara naif mendefinisikan fungsi rekursif atas pohon-pohon ini dengan …

21 logic  coq  type-theory  recursion  proof-assistants 

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, …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

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 …

21 complexity-theory  oracle-machines 

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 …

21 complexity-theory  reductions  np-hard 

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.

21 terminology  education