Pertanyaan yang diberi tag «terminology»

Saya dalam kursus tentang komputasi dan kompleksitas , dan saya tidak dapat memahami apa arti istilah-istilah ini. Yang saya tahu adalah bahwa NP adalah subset dari NP-complete, yang merupakan subset dari NP-hard, tapi saya tidak tahu apa yang sebenarnya mereka maksud. Wikipedia juga tidak banyak membantu, karena penjelasannya masih terlalu …

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Di sebagian besar kelas algoritma pengantar, notasi seperti (Big O) dan diperkenalkan, dan seorang siswa biasanya akan belajar menggunakan salah satu dari ini untuk menemukan kompleksitas waktu.ΘOOOΘΘ\Theta Namun, ada notasi lain, seperti , dan . Apakah ada skenario khusus di mana satu notasi lebih disukai daripada yang lain?Ω ωoooΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

Jika Anda menghitung luas persegi panjang, Anda hanya mengalikan tinggi dan lebar dan mendapatkan kembali unit kuadrat. Contoh: 5cm * 10cm = 50cm² Sebaliknya, jika Anda menghitung ukuran gambar, Anda juga mengalikan tinggi dan lebar, tetapi Anda mendapatkan kembali unit - Pixel - sama seperti itu adalah satuan tinggi dan …

81 terminology 

Saya telah membaca tentang kalkulus Lambda baru-baru ini tetapi anehnya saya tidak dapat menemukan penjelasan mengapa ini disebut "Lambda" atau dari mana ungkapan itu berasal. Adakah yang bisa menjelaskan asal usul istilah ini?

75 terminology  computation-models  lambda-calculus  history 

Saya pernah mendengar tentang induksi (struktural). Ini memungkinkan Anda untuk membangun struktur yang terbatas dari yang lebih kecil dan memberi Anda prinsip-prinsip bukti untuk alasan tentang struktur tersebut. Idenya cukup jelas. Tapi bagaimana dengan coinduction? Bagaimana cara kerjanya? Bagaimana seseorang dapat mengatakan sesuatu yang konklusif tentang struktur yang tak terbatas? …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

Saya sering mendengar orang berbicara tentang komputasi paralel dan komputasi terdistribusi , tetapi saya mendapat kesan bahwa tidak ada batasan yang jelas antara keduanya, dan orang-orang cenderung bingung dengan cukup mudah, sementara saya percaya itu sangat berbeda: Komputasi paralel lebih erat digabungkan ke multi-threading, atau bagaimana memanfaatkan sepenuhnya CPU tunggal. …

61 terminology  distributed-systems  parallel-computing 

Bisakah seseorang menjelaskan perbedaan antara tipe dependen dan tipe perbaikan? Seperti yang saya pahami, tipe penyempurnaan berisi semua nilai dari tipe yang memenuhi predikat. Apakah ada fitur tipe dependen yang membedakannya? Jika itu membantu, saya menemukan tipe Refined melalui proyek Liquid Haskell, dan tipe dependen via Coq dan Agda. Yang …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

Mengapa dalam ilmu komputer setiap kompleksitas yang paling banyak jumlahnya dianggap efisien? Untuk setiap aplikasi praktis (a) , algoritma dengan kompleksitas jauh lebih cepat daripada algoritma yang berjalan dalam waktu, katakanlah, n 80 , tetapi yang pertama dianggap tidak efisien sementara yang kedua efisien. Dimana logikanya ?!ncatatannnlog⁡nn^{\log n}n80n80n^{80} (a) Anggaplah, …

50 algorithms  complexity-theory  terminology  efficiency 

O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| + |E|)

44 terminology  asymptotics  mathematical-analysis  landau-notation 

Ketika melihat pemrograman konkuren, dua istilah yang umum digunakan yaitu konkuren dan paralel. Dan beberapa bahasa pemrograman secara khusus mengklaim dukungan untuk pemrograman paralel, seperti Java . Apakah ini berarti pemrograman paralel dan konkuren sebenarnya berbeda?

44 terminology  parallel-computing  concurrency 

Dalam "Big O", notasi umum memiliki nama yang sama (alih-alih mengatakan, "Oh faktor konstan"): O (1) adalah "Constant" O (log n) adalah "Logaritmik" O (n) adalah "Linear" O (n ^ 2) adalah "Kuadratik" O (n * log n) adalah ??? Apakah hanya "n log n" atau apakah ia memiliki nama …

40 terminology  asymptotics 

Tampaknya di situs ini, orang akan sering mengoreksi orang lain karena membingungkan "algoritma" dan "masalah." Apa perbedaannya? Bagaimana saya tahu kapan saya harus mempertimbangkan algoritma dan mempertimbangkan masalah? Dan bagaimana ini berhubungan dengan konsep bahasa dalam teori bahasa formal?

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

Saya mengejar gelar BS dalam Ilmu Komputer, tetapi saya berada di titik awal, dan saya cukup yakin saya akan senang dengan pilihan saya mengingat bahwa itu sepertinya pendidikan yang fleksibel secara akademis dan karir untuk mengejar. Karena itu, tampaknya ada berbagai definisi tentang apa sebenarnya Ilmu Komputer dalam hal akademia, …

39 terminology  history 

Saya telah mendengar kata "hash" digunakan dalam konteks yang berbeda (semua dalam dunia komputasi) dengan makna yang berbeda. Misalnya, dalam buku Learn Python the Hard Way, dalam bab tentang kamus dikatakan "Python menyebut mereka" dicts. "Bahasa lain menyebutnya" hashes. " Penggunaan kata lain yang umum dalam kaitannya dengan enkripsi. Saya …

38 terminology  hashing 

Ringkasan: Menurut teorema Rice, semuanya tidak mungkin. Namun, saya melakukan hal - hal yang dianggap mustahil sepanjang waktu! Tentu saja, teorema Rice tidak hanya mengatakan "semuanya tidak mungkin". Itu mengatakan sesuatu yang lebih spesifik: "Setiap properti dari program komputer tidak dapat dikomputasi." (Jika Anda ingin membagi rambut, setiap properti "non-sepele". …

37 terminology  computability  undecidability  rice-theorem