«teaching» etiketlenmiş sorular

Eğlenmek için Hesaplama Teorisini revize ettim ve bu soru bir süredir beni rahatsız ediyor (lisansımdaki Automata Teorisini öğrendiğimde hiç düşünmemiştim). Öyleyse “neden” tam olarak deterministik ve deterministik olmayan sonlu otomataları (DFA / NFA) inceliyoruz? İşte bu nedenle, çözme işleminden sonra elde ettiğim bazı cevaplar var ancak yine de 'aha' anına …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Bu sitede ilk sorum. Hesaplama teorisi üzerine bir yüksek lisans kursu alıyorum. P = NP problemini 10 yaşındaki bir çocuğa nasıl açıklarsınız ve bunun üzerinde neden böyle bir para ödülü kazanırsınız? Sen al Kafam açıkladığında soruyu güncelleyeceğim.

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

Chomsky (–Schützenberger) hiyerarşisi, teorik bilgisayar bilimi ders kitaplarında kullanılmaktadır, ancak açıkça, karmaşıklık Hayvanat Bahçesi Diyagramının tamamıyla karşılaştırıldığında, sadece resmi dillerin (REG, CFL, CSL, RE) çok küçük bir kısmını kapsamaktadır . Hiyerarşi artık mevcut araştırmalarda herhangi bir rol oynuyor mu? Chomsky'ye cstheory.stackexchange'te sadece küçük referanslar buldum ve Karmaşıklık Hayvanat Bahçesi'nde Chomsky …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

Bölüm lise son sınıf öğrencilerine bilgisayar biliminin daha matematiksel unsurları hakkında konuşmaları isteniyor. TCS'den ilgi alanlarına ilham verebilecek (çoğunlukla Halting problemiyle ilgili bir şey içeren) konular seçmek için elimden geleni yapıyorum, ancak diğer insanların fikirlerini / başarılarını / başarısızlıklarını duymayı çok isterim. Asıl mesele şudur ki, bunlar iyi bir üniversitede …

38 soft-question  teaching 

Teorik bilgisayar bilimi ile ilgili konularda her zaman bir uygulama yolu vardır. Ancak ders kitapları ve lisans dersleri genellikle otomata teorisinin önemli bir konu olmasının nedenini ve hala uygulamada uygulamalarının olup olmadığını açıklamıyor. Bu nedenle lisans öğrencileri, otomat teorisinin önemini anlamada güçlük çekebilir ve bunun artık pratik bir kullanım olmadığını …

37 soft-question  fl.formal-languages  automata-theory  teaching 

Bu soru sorun atan insanları hedef almaktadır: öğretmenler, öğrenci asistanları, öğretmenler vb. Bu bana 12 yıllık kariyerimde profesör olarak bir kaç kez başıma geldi: Aceleyle "Bu iyi görünüyor" metninden bir sorun çıkardım. Sonra anladım, çözemedim. Birkaç şey daha utanç verici. İşte yeni bir örnek: " digrafinin tuhaf uzunluk döngüsüne sahip …

36 soft-question  teaching 

Standart ders kitaplarını veya gelenekleri takip ettiğimizde, birçoğumuz bir algoritma sınıfının ilk birkaç dersinde aşağıdaki büyük-Oh notasyon tanımını öğretiyoruz: Belki tüm listeyi tüm niceleyicileriyle birlikte veriyoruz:f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f = O(g) \mbox{ iff } (\exists c > 0)(\exists n_0 \geq 0)(\forall n \geq n_0)(f(n) \leq c \cdot g(n)). …

35 ds.algorithms  soft-question  teaching 

Sanırım bu olası bir soru değil, ancak bu izleyiciye anlamlı bir şekilde hitap etmek için açıkça yapılmış bir malzeme görüp görmediğini merak ediyorum.

34 soft-question  teaching 

İleri bir algoritma dersi veriyorum ve öğrencilerimin ilgisini çekecek makine öğrenmesi ile ilgili bazı konuları dahil etmek istiyorum. Sonuç olarak, insanların makine öğrenmesinde en güncel / en ilginç algoritmik sonuçlarla ilgili görüşlerini duymak istiyorum. Potansiyel olarak zor olan kısıtlama, öğrencilerin daha önce herhangi bir özel lineer cebir bilgisine veya makine …

30 ds.algorithms  machine-learning  teaching 

Sadece öğretilen Karger-Stein mincut algoritma randomize yüksek lisans algoritmaları sınıfında. Bu gerçek olduğunu algoritmik mücevher Ben bu yüzden, değil öğretmek, ama ana tekniğin diğer uygulamaları bilmiyorum çünkü her zaman bana sinirli bırakır. (Yani, evdekileri yönlendiren ödev vermek zor.) Karger ve Stein'ın algoritması, grafiğin yalnızca iki köşesi oluncaya kadar rasgele kenarları …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Hesaplanabilir fonksiyonlar kavramını öğretmekte zorlanıyorum. Neden Hilbert / Ackermann / Godel / Turing / Church / ... gibi araştırmacıların 'hesaplanabilirlik' kavramını icat ettiği fikrini geliştirmeye çalıştım. Öğrenciler derhal şunları söyledi: "Hesaplanabilirlik ne anlama geliyor?" ve onlara Turing makinelerini öğretmediğim sürece cevap veremem ve sonra "bir Turing makinesi hesaplarsa bir fonksiyonun …

22 soft-question  computability  turing-machines  teaching 

Şu anda Güvenlik Konusunda Mantıksal Yöntemler konulu küçük bir ders (Yüksek Lisans düzeyinde dört iki saat ders) öğretmekteyim , ancak Güvenlikte Örgün Yöntemler başlığı daha uygun olabilir. Kısaca şu konuları kapsar (ilişkili mantıksal yöntemlerle): Dijital Haklar Yönetimi ve Politika Uygulama (genel formalizasyon, modal mantık, otomata yoluyla yaptırım) Prova taşıma kodu …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

Gelecek dönem diller ve otomatlar üzerine standart bir lisans dersi öğreteceğim ve meşru bir ücretsiz veya düşük maliyetli metin kullanmayı tercih ederim. Baska öneri? Sipser metnini çok seviyorum ama son sürüm 196 $ 'a mal oluyor, ki bu ücretsiz kurslar çağında düz bir yüzle söylemek zor.

21 soft-question  teaching  books 

Makul bir lisans eğitimim var ama soyut cebirle (grupların, halkaların, alanların matematiği)% 100 hiç rahat olmadım. Sanırım bu kısmen uygulamaları görmek için ihtiyaç duyduğum şeydi ve bulabildiğim her şey CS'de değil, fizikte. İlgi alanım gerçekten CS olduğundan, CS'deki uygulamalar ve özellikle algoritmalar / teori açısından soyut cebiri kapsayan herhangi bir …

19 soft-question  algebra  teaching 

Müfredat oluşturmayı gerektiren yeni bir TCS lise programı öğretmem teklif edildi. Bununla ilgili görüş ve önerilerinizi duymak isterim. İlk olarak, bir TCS programının başarılı bir şekilde (veya başarısız bir şekilde) öğretildiği liseleri bilen var mı? Fikir, seçkin seçkin öğrenciler için 3 yıllık bir program (10-12. Sınıflar, 16-18 yaş arası), yaklaşık …

16 teaching