«didactics» etiketlenmiş sorular

Bazı problemler için bir algoritmanın doğru olup olmadığını test etmek için, normal başlangıç ​​noktası algoritmayı bir dizi basit test durumunda elle çalıştırmayı denemek - birkaç basit "köşe durumu" da dahil olmak üzere birkaç örnek problem örneğinde deneyiniz. ". Bu harika bir buluşsal yöntemdir: Bir algoritmada birçok yanlış girişimi hızlı bir …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

Lisans öğrencisi olduğumdan beri bu soruyu merak ediyorum. Bu genel bir sorudur ancak aşağıdaki örneklerle çalışacağım. Bir çok algoritma gördüm - örneğin, maksimum akış problemleri için, problemi çözebilecek yaklaşık 3 algoritma biliyorum: Ford-Fulkerson, Edmonds-Karp ve Dinic, Dinic en iyi karmaşıklığa sahip. Veri yapıları için - örneğin yığınlar - ikili yığınlar, …

91 algorithms  data-structures  education  didactics 

Dijkstra, makalesinde , bilgisayar bilimlerini öğretmenin zulmü üzerine , bir giriş programlama kursu için aşağıdaki öneride bulundu: Bir yandan, belirleyici hesabın neye benzediğini öğretiyoruz, ancak bunu filozoflardan çok farklı yapıyoruz. Acemi programcıyı yorumlanmamış formüllerin manipülasyonunda eğitmek için, öğrenciye mantıksal bağlaçların tüm cebirsel özelliklerini tanıyarak, boolean cebiri olarak öğretiyoruz. Sezgiye olan …

33 reference-request  programming-languages  education  didactics 

Bilgisayar bütünlüğü uzmanlarına NP eksiksizliği öğretmenin en iyi yolunu sormakla ilgileniyorum. Özellikle, Karp azaltmalarını kullanarak mı yoksa Turing azaltmalarını mı kullanmalıyız? NP bütünlüğü ve azaltma kavramlarının her bilgisayar biliminin bilmesi gereken bir şey olduğunu hissediyorum. Ancak, NP'nin eksiksizliğini öğretirken, Karp azaltmalarının kullanımının bazı olumsuzlukları olduğunu fark ettim. Her şeyden önce, …

25 complexity-theory  np-complete  reductions  education  didactics 

Aşırı burada Dave Clarke asimptotik büyümesini karşılaştırmak amacıyla eldeki fonksiyonun grafiğinin gerektiğini önerdi. Teorik olarak eğimli bir bilgisayar bilimcisi olarak, bu vodooyu bir komplo olarak kanıtlamayan olarak adlandırdım. İkinci düşünceme göre, bunun bazen kullanılmayan bir yaklaşım olduğu konusunda hemfikir olduğumda; bir komplo ilk fikirleri edinmenin etkili bir yoludur ve bazen …

23 asymptotics  didactics 

De Morgan Yasası genellikle bilgisayar bilimleri dersi için bir giriş matematikte tanıtılmaktadır ve bunu sık sık terimleri reddederek VE'dan VEYA'ya çevirmenin bir yolu olarak görüyorum. Bunun neden doğruluk tablolarını hatırlamaktan ziyade işe yaradığına dair daha sezgisel bir açıklama var mı? Bana göre bu kara büyü kullanmak gibidir, daha az matematiksel …

19 logic  discrete-mathematics  didactics 

Geçen yıl, “Anaokulu İçin Kuantum Mekaniği” üzerine harika bir makale okuyordum . Kolay bir kağıt değildi. Şimdi, çabuk çabayı mümkün olan en basit kelimelerle nasıl açıklayacağımı merak ediyorum. Bir anaokulu sınıfına ortalama karmaşıklığın olduğunu ve en iyi ve en kötü durumların neler olduğunu nasıl kanıtlayabilirim (veya en azından el dalgalarını) …

16 algorithms  education  algorithm-analysis  didactics  sorting 

Mantık kapıları, elektromanyetik röleler, vakum tüpleri veya transistörler ile uygulanabilen soyut bir cihazdır. Bu uygulamalar, kısmen temel ikili kararlılıklarının ötesinde, zincirlenebilirlik, dayanıklılık ve boyutun çeşitli özellikleri nedeniyle hesaplamada başarılı olmuştur. Ayrıca iyi çalışırlar, çünkü elektrik kolayca sevk edilebilen enerji kaynağıdır. Ahşap, mermer ve yerçekiminden yapılmış toplayıcılar gördüm . Ben "çip …

15 computer-architecture  didactics 

Bilgisayar bilimi materyallerini (esas olarak makine öğrenimi) anlamaya yardımcı olmak için Doğrusal Cebir ve Uygulamalarını okuyorum , ancak birçok bilginin CS için yararlı olmadığından endişeliyim. Örneğin, yeni bir denklem çözücü programlamaya çalışmadığınız sürece lineer denklem sistemlerinin verimli bir şekilde nasıl çözüleceğini bilmek çok yararlı görünmüyor. Ayrıca, bir matrisin tersi olduğunda, …

15 education  linear-algebra  didactics  mathematical-foundations 

İki ve sayısı verildiğini ve l \ le i, \, j \ le r için bulmak istediğimizi varsayalım .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Saf algoritma tüm olası çiftleri kontrol eder; örneğin yakutta: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max …

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 

İlk yıl programlama ve algoritma kursuna katılıyorum. Son zamanlarda yapılan bir derste, materyali canlı kodlama kullanarak sunmaya karar verdim , bu da aslında klavyenin arkasında oturduğum ve kod yazıp değerlendirdiğim , süreci kolaylaştırmak için emacs kullandığım anlamına geliyordu . Bu oldukça başarılıydı ve öğrenciler daha fazla (arası) aktif formatı ne …

11 education  didactics