Ilmu Komputer

Saya telah menemukan istilah ini berkali-kali, dalam berbagai materi pendidikan CS: L2 CS162 (UC Berkeley): I / O yang dipetakan dengan memori L4 CS162 (UC Berkeley): Memori memetakan file L24 CS61 (UC Berkeley): "Memori yang dipetakan I / O": Kontrol perangkat / register data dipetakan ke ruang alamat CPU Bahkan, …

10 data-structures  operating-systems  memory-management 

Jika prosesor hanya dapat menjalankan satu hal pada satu waktu, bagaimana mungkin saya dapat memutar musik terus menerus dan masih dapat menjalankan tugas lain? Saya mengerti sistem interupsi, tetapi bukankah perlu bahwa CPU terus-menerus memproses audio agar tidak terdengar gelisah / lamban? Saya bertanya tentang implementasi yang mendasarinya, apakah pertanyaan …

10 cpu  multi-tasking 

Dua model komputasi dapat ditunjukkan saling melengkapi jika masing-masing dapat menyandikan simulator universal untuk yang lain. Dua logika dapat ditunjukkan untuk melengkapi jika suatu pengkodean aturan inferensi (dan mungkin aksioma jika ada) dari masing-masing ditunjukkan sebagai teorema dari yang lain. Dalam komputabilitas ini telah mengarah pada gagasan alami kelengkapan Turing …

10 computability  logic  turing-completeness 

Pertimbangkan pernyataan masalah berikut: Diberi nomor awal, Anda dan teman Anda bergantian mengurangi kuadrat sempurna darinya. Yang pertama mencapai nol menang. Sebagai contoh: Status awal: 37 Pemain1 mengurangi 16. Negara: 21 Player2 kurangi 8. Status: 13 Pemain1 mengurangi 4. Negara: 9 Player2 kurangi 9. Status: 0 Player2 menang! Tulis program …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

Inilah masalahnya: Ada grafik yang terhubung dengan node yang mewakili sejumlah orang. Setiap node / orang memiliki pendapat tentang topik misalnya trump vs clinton, buku kertas vs kindle, dll Tujuannya adalah membuat setiap node dalam grafik berbagi pendapat yang sama, dengan memilih subset node tertentu, dalam urutan tertentu. Jika mayoritas …

10 graphs  graph-theory  social-networks 

Saya menggambarkan pendekatan pada grafik isomorfisme yang mungkin memiliki positif palsu, dan saya ingin tahu apakah ada literatur yang menunjukkan bahwa itu tidak berhasil. Diberikan dua matriks kedekatan , metode yang diakui naif untuk memeriksa isomorfisma adalah untuk memeriksa apakah untuk setiap baris u dari G , ada baris v …

10 reference-request  graph-isomorphism 

Secara kasar, grafik tidak terarah sangat mirip dengan grafik terarah di mana untuk setiap sisi (v, w), selalu ada sisi (w, v). Itu menunjukkan bahwa mungkin dapat diterima untuk melihat grafik yang tidak diarahkan sebagai bagian dari grafik yang diarahkan (mungkin dengan batasan tambahan bahwa penambahan / penghapusan tepi hanya …

10 graphs  terminology 

Saya relatif baru mengetik teori dan pemrograman dependen. Saya telah mempelajari kalkulus konstruksi (CoC) dan sistem tipe murni lainnya. Saya sangat tertarik menggunakannya sebagai representasi perantara untuk sistem kompiler. Saya mengerti bahwa (co-) tipe rekursif dapat diwakili , secara komputasi , menggunakan sebagai satu-satunya tipe konstruktor. Saya telah membaca, bahwa …

10 type-theory  dependent-types  coq 

Berasal dari latar belakang C ++ saya tidak mengerti mengapa seseorang membutuhkan tipe / tipe ekspresi sebagai warga negara kelas satu? Satu-satunya bahasa yang saya tahu yang mendukung fitur ini adalah Aldor. Adakah yang punya literatur tentang tipe sebagai warga negara kelas satu atau tahu beberapa alasan mengapa ini berguna?

10 programming-languages  language-design  types 

Pertimbangkan mesin keadaan terbatas seperti biasa, tetapi setiap transisi, ia juga dapat memperbarui penghitung bilangan bulat dengan menambahkan atau mengurangi angka. Katakanlah, fungsi transisi dari bentuk pindah ke keadaan baru p , dan tambahkan k ke penghitung, di mana k ∈ Z (jadi k dapat positif, negatif, atau nol) .δ( …

10 finite-automata 

Kami memiliki sekelompok nnn orang. Kami diberi daftar siapa yang harus membeli hadiah untuk siapa di dalam grup. Setiap orang mungkin perlu membeli / menerima sejumlah hadiah, atau mungkin tidak sama sekali. Dalam perjalanan berbelanja, sekelompok orang bepergian bersama ke toko yang sama, dan membeli hadiah untuk siapa saja yang …

10 algorithms  graph-theory  set-cover 

Saya telah belajar hari ini bahwa analisis algoritma berbeda berdasarkan pada model komputasi. Itu adalah sesuatu yang tidak pernah saya pikirkan atau dengar. Contoh yang diberikan kepada saya, yang menggambarkannya lebih lanjut, oleh Pengguna @chi adalah: Misalnya, pertimbangkan tugas: diberikan kembalikan . Dalam RAM ini dapat diselesaikan dalam karena akses …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

Saya mencoba untuk belajar sendiri tentang komputasi kuantum, dan saya memiliki pemahaman yang baik tentang aljabar linier. Saya melewati gerbang NOT, yang tidak terlalu buruk, tapi kemudian saya sampai di gerbang Hadamard. Dan saya terjebak. Terutama karena ketika saya "memahami" manipulasi, saya tidak mengerti apa yang sebenarnya mereka lakukan atau …

10 logic  quantum-computing 

Saya ingin memberikan bukti untuk bagian dari program Haskell yang saya tulis sebagai bagian dari tesis saya. Namun sejauh ini, saya gagal menemukan referensi yang bagus. Buku pengantar Graham Hutton, Programming in Haskell ( Google Books ) —yang saya baca sambil mempelajari Haskell — menyentuh beberapa teknik untuk alasan tentang …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

Saya tidak tahu terminologi yang benar untuk mengajukan pertanyaan ini, jadi saya akan menggambarkannya dengan banyak kata, bersabarlah. Latar belakang , jadi kita ada di halaman yang sama: Program sering mengandung cache - waktu / memori tradeoff. Kesalahan programmer yang umum adalah lupa memperbarui nilai yang di-cache setelah mengubah salah …

10 terminology  reference-request  functional-programming  programming-paradigms