Pertanyaan yang diberi tag «didactics»

Untuk mencoba menguji apakah suatu algoritma untuk beberapa masalah sudah benar, titik awal yang biasa adalah mencoba menjalankan algoritme dengan tangan pada sejumlah kasus uji sederhana - cobalah beberapa contoh contoh masalah, termasuk beberapa "kasus sudut" sederhana. ". Ini adalah heuristik yang hebat: ini adalah cara yang bagus untuk dengan …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

Saya telah bertanya-tanya tentang pertanyaan ini sejak saya masih mahasiswa. Ini adalah pertanyaan umum tetapi saya akan menguraikan dengan contoh di bawah ini. Saya telah melihat banyak algoritma - misalnya, untuk masalah aliran maksimum, saya tahu sekitar 3 algoritma yang dapat menyelesaikan masalah: Ford-Fulkerson, Edmonds-Karp & Dinic, dengan Dinic memiliki …

91 algorithms  data-structures  education  didactics 

Dijkstra, dalam esainya Tentang kekejaman yang benar-benar mengajarkan ilmu komputasi , membuat proposal berikut untuk kursus pemrograman pengantar: Di satu sisi, kami mengajarkan apa yang tampak seperti kalkulus predikat, tetapi kami melakukannya sangat berbeda dari para filsuf. Untuk melatih programmer pemula dalam memanipulasi formula yang tidak diinterpretasikan, kami mengajarkannya lebih …

33 reference-request  programming-languages  education  didactics 

Saya tertarik pada pertanyaan tentang cara terbaik untuk mengajarkan kelengkapan NP ke jurusan ilmu komputer. Secara khusus, haruskah kita mengajarkannya menggunakan pengurangan Karp atau menggunakan pengurangan Turing? Saya merasa bahwa konsep pelengkapan dan pengurangan NP adalah sesuatu yang harus dipelajari oleh setiap ilmu komputer. Namun, ketika mengajarkan kelengkapan NP, saya …

25 complexity-theory  np-complete  reductions  education  didactics 

Di sini , Dave Clarke mengusulkan bahwa untuk membandingkan pertumbuhan asimptotik, Anda harus merencanakan fungsinya. Sebagai ilmuwan komputer yang secara teori cenderung, saya menyebut (ed) vodoo ini sebagai plot tidak pernah menjadi bukti. Setelah dipikir-pikir, saya harus setuju bahwa ini adalah pendekatan yang sangat berguna yang bahkan kadang kurang dimanfaatkan; …

23 asymptotics  didactics 

Hukum De Morgan sering diperkenalkan dalam matematika pengantar untuk kursus ilmu komputer, dan saya sering melihatnya sebagai cara untuk mengubah pernyataan dari DAN ke ATAU dengan meniadakan istilah. Apakah ada penjelasan yang lebih intuitif mengapa hal ini berhasil daripada hanya mengingat tabel kebenaran? Bagi saya ini seperti menggunakan ilmu hitam, …

19 logic  discrete-mathematics  didactics 

Tahun lalu, saya membaca makalah yang fantastis tentang "Mekanika Kuantum untuk Taman Kanak-Kanak" . Itu bukan kertas mudah. Sekarang, saya ingin tahu bagaimana menjelaskan quicksort dengan kata-kata sesederhana mungkin. Bagaimana saya bisa membuktikan (atau paling tidak gelombang tangan) bahwa kompleksitas rata-rata adalah , dan apa kasus terbaik dan terburuk, untuk …

16 algorithms  education  algorithm-analysis  didactics  sorting 

Gerbang logika adalah perangkat abstrak yang dapat diimplementasikan dengan relay elektromagnetik, tabung vakum, atau transistor. Penerapan ini telah berhasil dalam komputasi sebagian karena berbagai sifat rantai, daya tahan, dan ukuran di luar stabilitas biner dasar mereka. Mereka juga bekerja dengan baik karena listrik adalah sumber energi yang agak mudah dikirim. …

15 computer-architecture  didactics 

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 

Misalkan kita diberi dua angka dan dan kita ingin menemukan untuk l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Algoritma naif hanya memeriksa semua pasangan yang mungkin; misalnya dalam ruby, kita akan memiliki: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Saya terlibat dalam kursus pemrograman dan algoritma tahun pertama. Dalam sebuah kuliah baru-baru ini, saya memutuskan untuk mempresentasikan materi menggunakan live coding , yang pada dasarnya berarti bahwa saya duduk di belakang keyboard dan menulis kode dan mengevaluasinya, menggunakan emacs untuk memfasilitasi proses. Ini cukup berhasil dan siswa berkomentar tentang …

11 education  didactics