«teaching» etiketlenmiş sorular

11
Sonlu otomatalar okuduktan sonra elde etmem gereken aydınlanma nedir?
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 …


5
Chomsky-hiyerarşi modası geçmiş mi?
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 …

13
Son sınıf lise öğrencileri için ilham verici konuşma
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 …

14
Otomat Teorisi ne kadar pratiktir?
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ı …

6
Atadığın ödevleri çözemeyeceğini hiç farkettin mi?
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 …

8
Asimptotik büyüme hızının hangi tanımını öğretmeliyiz?
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)). …


10
Mükemmel algoritmalar, makine öğrenmesi ve doğrusal cebir yok
İ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 …

1
Karger-Stein dallanma kuvvetlendirmesinin diğer uygulamaları?
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ı …

5
Problem öğretme hesaplanabilirliği
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 …

6
Müfredat: Güvenlikte Mantıksal / Örgün Yöntemler
Ş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 …


4
Teorik Bilgisayar Bilimcileri için Soyut Cebir
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 …

4
Lise TCS öğretimi - mevcut programlar
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 

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.