Saya sering mendengar frasa seperti 'semantik konkurensi sejati' dan 'kesetaraan konkurensi sejati' tanpa referensi. Apa arti istilah-istilah itu dan mengapa itu penting? Apa saja contoh kesetaraan konkurensi yang sebenarnya dan apa perlunya bagi mereka? Misalnya dalam kasus mana mereka lebih...
Saya sedang melakukan presentasi tentang mesin Turing dan saya ingin memberikan latar belakang tentang FSM sebelum memperkenalkan Mesin Turing. Masalahnya adalah, saya benar-benar tidak tahu apa yang SANGAT berbeda satu sama lain. Inilah yang saya tahu berbeda: FSM memiliki status berurutan...
Dalam artikel CACM baru-baru ini [1], penulis menyajikan implementasi untuk fungsi bertahap . Mereka menggunakan istilah itu seolah-olah itu terkenal, dan tidak ada referensi yang terlihat seperti pengantar yang jelas. Mereka memberikan penjelasan singkat (penekanan saya dan nomor referensi...
Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya sedikit bingung dengan beberapa terminologi yang saya temui mengenai kompleksitas masalah optimasi. Dalam kelas algoritma, saya
Jika saya memiliki beberapa fungsi yang kompleksitas waktunya adalah O ( mn ), di mana m dan n adalah ukuran dari dua inputnya, apakah kita akan menyebut kompleksitas waktunya "linear" (karena linear pada m dan n ) atau "kuadratik" ( karena ini adalah produk dari dua ukuran)? Atau sesuatu yang...
Terminologi itu membingungkan saya. Seperti yang saya mengerti Pemecah SAT: memutuskan kepuasan logika proposisional (menggunakan DPLL atau Pencarian Lokal). Prosedur pengambilan keputusan adalah prosedur untuk memutuskan kepuasan suatu teori tingkat pertama tertentu yang dapat ditentukan. SMT...
Bagi saya, 'implikasi' dalam bahasa Inggris tidak berarti sama dengan operator logis 'implikasi', dengan cara yang sama bagaimana kata 'ATAU' dalam banyak kasus berarti 'Eksklusif ATAU' dalam penggunaan bahasa sehari-hari kita. Mari kita ambil dua contoh: Jika hari ini adalah Senin maka besok...
Saya telah membaca kata-kata itu dalam publikasi yang cukup banyak dan saya ingin memiliki beberapa definisi yang bagus untuk istilah-istilah tersebut yang memperjelas perbedaan antara deteksi objek vs segmentasi semantik vs lokalisasi. Alangkah baiknya jika Anda bisa memberikan sumber untuk...
Dalam teori komputabilitas, fungsi yang dapat dihitung juga disebut fungsi rekursif. Setidaknya pada pandangan pertama, mereka tidak memiliki kesamaan apa pun dengan apa yang Anda sebut "rekursif" dalam pemrograman sehari-hari (yaitu, fungsi yang menyebut dirinya sendiri). Apa arti sebenarnya dari...
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...
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...
Saya tahu komputasi dalam arti yang kabur (itu yang dilakukan komputer), tapi saya ingin definisi yang lebih ketat. Dictionary.comDefinisi komputasi, komputasi, menghitung, dan menghitung bersifat melingkar, sehingga tidak membantu. Wikipediamendefinisikan komputasi sebagai "segala jenis...
Saya sedang menulis makalah penelitian dan pada dasarnya saya harus mengatakan bahwa satu mikrokontroler lebih lambat dari mikroprosesor lainnya. Namun, saya khawatir bahwa hanya mengatakan bahwa 'lebih lambat' tidak akan sesuai dalam makalah penelitian. Apakah saya benar? Apakah boleh mengatakan...
Saya terus menemukan referensi ke titik tetap dalam pertanyaan dan jawaban di stackexchange dan saya mencari artinya di web jelas menemukan referensi di situs-situs seperti Wikipedia. Namun tidak ada referensi yang benar-benar menjawab pertanyaan saya tentang apa itu titik tetap dan apa artinya...
Saya mencoba mencari tahu siapa yang menciptakan istilah "pembelajaran mesin". Sebuah pertanyaan tambahan adalah dari mana Arthur Samuel dikutip mendefinisikan bidang "pembelajaran mesin" pada tahun 1959 sebagai: bidang studi yang memberikan komputer kemampuan untuk belajar tanpa diprogram...
Saya membaca tentang Pemrograman Dinamis ketika saya menemukan kutipan berikut Algoritma pemrograman dinamis akan memeriksa semua cara yang mungkin untuk menyelesaikan masalah dan akan memilih solusi terbaik. Oleh karena itu, kita dapat secara kasar menganggap pemrograman dinamis sebagai metode...
Saya mulai membaca semakin banyak makalah penelitian bahasa. Saya merasa sangat menarik dan cara yang baik untuk mempelajari lebih lanjut tentang pemrograman secara umum. Namun, biasanya ada bagian di mana saya selalu berjuang dengan (ambil misalnya bagian ketiga dari ini ) karena saya tidak...
Saya akrab dengan selusin bahasa pemrograman yang memiliki pengecualian dalam beberapa cara, namun saya datang untuk menyaksikan dua kecenderungan "patologis". Tampaknya tidak ada pola umum atau hierarki pengecualian. Setiap bahasa pada dasarnya memutar versinya sendiri, dan jika pengecualian...
Saya rasa saya tahu apa sistem operasi real-time yang "sulit". Ini adalah sistem operasi dengan penjadwal yang menyediakan kontrak dengan pemrogram aplikasi. Aplikasi menyediakan tenggat waktu dengan setiap permintaan alokasi sumber daya. Jika permintaan tenggat waktu layak , penjadwal menjamin...
Dalam kursus Algoritma dan Struktur Data saya , profesor, slide dan buku ( Pengantar Algoritma, edisi ke-3 ) telah menggunakan kata NILuntuk menunjukkan misalnya anak dari simpul (di pohon) yang tidak ada. Suatu kali, selama kuliah, alih-alih mengatakan NIL, teman sekelasku berkata null, dan...