Pertanyaan yang diberi tag ?mathematical-foundations?

29
Mengapa menuliskan bukti matematis lebih banyak bukti kesalahan daripada menulis kode komputer?
Saya telah memperhatikan bahwa saya merasa jauh lebih mudah untuk menuliskan bukti matematika tanpa membuat kesalahan, daripada menuliskan program komputer tanpa bug. Sepertinya ini adalah sesuatu yang lebih luas dari sekedar pengalaman saya. Kebanyakan orang membuat bug perangkat lunak setiap saat dalam pemrograman mereka, dan mereka memiliki kompiler untuk memberi …

3
Apa sebenarnya logika itu?
Permintaan maaf mungkin karena mengajukan pertanyaan lain tentang prasyarat, tapi saya bingung tentang poin awal. Saya telah menemukan berbagai istilah seperti "Modal Logika", "Logika temporal", "Logika Orde Pertama", "Logika Orde Kedua", dan "Logika Orde Tinggi". Apa sebenarnya arti "Logika" dalam konteks ini? Bagaimana kita secara ketat mendefinisikan kata "Logika"? Setelah …

11
Mengapa data dalam ilmu komputer dianggap diskrit?
Saya mengerti bahwa "struktur" data sepenuhnya tergantung pada Aljabar Boolean, tetapi: Mengapa data dianggap sebagai entitas matematika yang terpisah dan bukan yang berkelanjutan? Terkait dengan ini: Apa kelemahannya, atau invarian, yang dilanggar dalam menyusun data sebagai entitas berkelanjutan dalam dimensi ?rrr Saya bukan ahli di bidang ini karena saya seorang …

2
Apakah ada bahasa pemrograman yang menggunakan fungsi rekursif umum sebagai dasarnya?
Ini adalah pertanyaan yang naif dan, karenanya, mungkin cacat, jadi minta maaf terlebih dahulu! Pandangan saya adalah bahwa Mesin Turing dapat dilihat sebagai dasar komputasi untuk bahasa pemrograman prosedural / imperatif. Demikian pula, kalkulus lambda adalah dasar untuk bahasa pemrograman fungsional. Baru-baru ini saya mengetahui bahwa Tesis Gereja-Turing juga menunjukkan …


6
Apa bagian dari aljabar linier yang digunakan dalam ilmu komputer?
Saya telah membaca Aljabar Linier dan Aplikasinya untuk membantu memahami materi sains komputer (terutama pembelajaran mesin), tetapi saya khawatir bahwa banyak informasi yang tidak berguna bagi CS. Misalnya, mengetahui cara memecahkan sistem persamaan linear secara efisien sepertinya tidak terlalu berguna kecuali Anda mencoba memprogram pemecah persamaan baru. Selain itu, buku …

3
Shannon Entropy dari 0,922, 3 Nilai Berbeda
Diberikan serangkaian nilai , Shannon Entropy di log base mencapai . Dari apa yang saya mengerti, dalam basis Shannon Entropy dibulatkan adalah jumlah minimum bit dalam biner untuk mewakili satu nilai.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Diambil dari pengantar di halaman wikipedia ini: https://en.wikipedia.org/wiki/Entropy_%28informasi_theory%29 Jadi, bagaimana tiga nilai diwakili oleh satu bit? bisa , bisa …



2
Apa itu rantai Markov?
Saat ini saya membaca beberapa makalah tentang penggumpalan rantai Markov dan saya gagal melihat perbedaan antara rantai Markov dan grafik tertimbang sederhana yang diarahkan. Sebagai contoh dalam artikel Optimal penggumpalan ruang-negara di rantai Markov, mereka memberikan definisi CTMC (rantai Markov waktu kontinu) sebagai berikut: Kami menganggap CTMC terbatas dengan ruang …
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.
Judi bola