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"...
Menurut Wikipedia : Entropi Shannon mengukur informasi yang terkandung dalam pesan sebagai lawan bagian pesan yang ditentukan (atau dapat diprediksi). Contoh yang terakhir termasuk redundansi dalam struktur bahasa atau sifat statistik yang berkaitan dengan frekuensi kemunculan pasangan huruf...
Saya mengalami kesulitan menemukan sumber daya yang baik yang memberikan kasus terburuk di tempat algoritma penyortiran stabil . Adakah yang tahu sumber daya yang bagus?O(nlnn)O(nlnn)O(n \ln n) Hanya pengingat, di tempat berarti menggunakan array yang diteruskan dan algoritma pengurutan hanya...
Linear programming (LP) dalam P dan integer programming (IP) adalah NP-hard. Tetapi karena komputer hanya dapat memanipulasi angka dengan ketepatan yang terbatas, dalam praktiknya komputer menggunakan bilangan bulat untuk pemrograman linier. Karena itu, bukankah LP dan IP harus berada dalam kelas...
Sebagai seorang pendidik CS tingkat universitas, masalah yang mana bahasa pemrograman untuk mengajar dalam kursus pemrograman pertama sering muncul untuk diskusi. Ada ribuan bahasa untuk dipilih, dan banyak demam agama (atau demam) mendukung satu kamp bahasa di atas yang lain. Semua ini bias...
Saya tahu bahwa Idris memiliki tipe dependen tetapi belum selesai. Apa yang tidak bisa dilakukan dengan melepaskan kelengkapan Turing, dan apakah ini terkait dengan memiliki tipe dependen? Saya kira ini adalah pertanyaan yang cukup spesifik, tetapi saya tidak tahu banyak tentang tipe dependen dan...
Ini adalah pseudocode standar untuk pencarian pertama luasnya: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true Di sini pushdan popdianggap...
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...
Saya baru memahami algoritma ilmu komputer. Saya mengerti proses pencarian biner, tetapi saya memiliki sedikit kesalahpahaman dengan efisiensinya. Dalam ukuran elemen, dibutuhkan, rata-rata, n langkah untuk menemukan elemen tertentu. Mengambil logaritma basis 2 dari kedua sisi menghasilkan log 2 (...
Dalam teori automata, kita semua membaca automata sebagai automata terbatas, sejak awal. Yang ingin saya ketahui adalah, mengapa automata terbatas? Untuk lebih jelasnya, apa yang ada dalam otomat yang terbatas - alfabet, bahasa, string yang dibuat dengan ekspresi reguler, atau apa? Dan apakah ada...
Sebagian besar dari kita belajar pemrograman menggunakan bahasa pemrograman "tekstual" seperti Basic, C / C ++, dan Java. Saya percaya itu lebih alami dan efisien bagi manusia untuk berpikir secara visual. Pemrograman visual memungkinkan pengembang untuk menulis program dengan memanipulasi elemen...
Secara klasik, ada 3 cara populer untuk memikirkan komputasi: Mesin Turing, sirkuit, dan lambda-calculus (Saya menggunakan ini sebagai tangkapan semua untuk sebagian besar tampilan fungsional). Semua 3 cara berbuah untuk berpikir tentang berbagai jenis masalah, dan bidang yang berbeda menggunakan...
Asumsikan saya memiliki daftar fungsi, misalnya nloglog( n ), 2n, n ! , n3, n lnn , ...nloglog(n),2n,n!,n3,nlnn,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Bagaimana cara saya mengurutkannya asimptotik, yaitu setelah relasi didefinisikan oleh f≤HAIg⟺f∈ O ( g)f≤Og⟺f∈O(g)\qquad f...
Melihat bahwa dalam Chomsky Hierarchy Type 3 bahasa dapat dikenali oleh mesin negara tanpa memori eksternal (yaitu, otomat terbatas), Tipe 2 oleh mesin negara dengan tumpukan tunggal (yaitu otomat push-down) dan Tipe 0 oleh mesin negara dengan dua tumpukan (atau, ekuivalen, sebuah kaset, seperti...
Saya bertanya-tanya apakah ada cara standar untuk mengukur "pengurutan" array? Apakah array yang memiliki jumlah rata-rata kemungkinan inversi dianggap tidak tersortir secara maksimal? Maksud saya pada dasarnya sejauh mungkin dari yang diurutkan atau dibalik
Seorang kolega saya dan saya baru saja menekan beberapa catatan dari salah satu profesor kami. Catatan menyatakan bahwa ada tugas-tugas yang mungkin diselesaikan dalam waktu polinomial (berada dalam kelas PF) tetapi yang TIDAK dapat diverifikasi dalam waktu polinomial (TIDAK dalam kelas...
Can anyone menyarankan saya algoritma waktu linear yang mengambil sebagai masukan diarahkan asiklik grafik dan dua simpul dan dan kembali jumlah jalur sederhana dari ke di . Saya memiliki algoritma di mana saya akan menjalankan DFS (Depth First Search) tetapi jika DFS menemukan maka tidak akan...
Saya melihat bahwa sebagian besar definisi Turing-complete adalah tautologis. Misalnya jika Anda Google "apa artinya menjadi Turing lengkap", Anda mendapatkan: Komputer Turing lengkap jika dapat menyelesaikan masalah apa pun yang dapat dilakukan mesin Turing ... Sementara itu didefinisikan...
Apakah ada masalah yang diketahui di (dan tidak di ) yang bukan Selesai? Pemahaman saya adalah bahwa saat ini tidak ada masalah yang diketahui, tetapi hal itu belum dikesampingkan sebagai suatu kemungkinan. P N PN PNP\mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP} Jika ada masalah yaitu (dan bukan )...
Ini mungkin terdengar seperti pertanyaan bodoh, tetapi saya benar-benar ingin tahu bagaimana komputer mengetahui bahwa ? Juga, bagaimana komputer mengetahui bahwa urutan bilangan bulat adalah dan alfabet adalah A, B, C, D, ...? Apakah di suatu tempat tersimpan di perangkat keras atau apakah sistem...