Pertanyaan yang diberi tag «mathematical-foundations»

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 …

190 correctness-proof  mathematical-foundations  philosophy 

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 …

36 logic  mathematical-foundations 

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 …

35 data-structures  mathematical-foundations 

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 …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Saya seorang mahasiswa tingkat Ilmu Komputer yang memiliki hasrat besar untuk belajar Matematika. Saya memiliki keyakinan yang kuat bahwa Ilmu Komputer atau Ilmu Komputer Teoretis adalah cabang langsung dari Matematika dan Logika dan juga berpendapat bahwa gelar Ilmu Komputer selalu berorientasi pada Matematika sebagai fakta. Tolong koreksi saya jika saya …

15 mathematical-foundations 

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 …

15 education  linear-algebra  didactics  mathematical-foundations 

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 …

14 information-theory  mathematical-foundations  entropy  binary 

Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 2 tahun yang lalu . Umumnya pemrogram komputer yang ahli matematika atau memiliki latar belakang matematika sangat baik …

14 mathematical-foundations 

Pertanyaan ini adalah tentang apakah setiap teorema matematika dapat direduksi menjadi pertanyaan apakah satu mesin Turing berhenti. Secara khusus, saya tertarik pada dugaan yang saat ini tidak terbukti. Sebagai contoh: Wikipedia mengatakan bahwa saat ini tidak diketahui apakah ada angka sempurna yang aneh. Karena dapat diputuskan apakah angka yang diberikan …

11 formal-languages  computability  mathematical-foundations 

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 …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains