«soft-question» etiketlenmiş sorular

Yumuşak bir soru, teorik bilgisayar bilimi alanında bir soru olmanın aksine, teorik bilgisayar bilimi alanı ile ilgili bir sorudur (muhtemelen öznel).

5
Turing Makinesinin birincil hesaplama modeli olarak benimsenmesinin tarihsel nedenleri.
Anladığım kadarıyla Turing'in modelinin hesaplamayı tarif ederken "standart" olduğu ortaya çıktı. Bunun neden böyle olduğunu bilmek ilgimi çekiyor - yani, TM modeli neden diğer teorik olarak eşdeğer (benim bilgime göre) modellerden daha yaygın bir şekilde kullanıldı, örneğin Kleene's Rec-Recursion veya Lambda Calculus (anlıyorum) eski olan daha sonra görünmüyordu ve ikincisi …
16
TCS'de fizik sonuçları?
Bazı teorik bilgisayar bilimi alt alanlarının, teorik fiziğin sonuçlarından önemli ölçüde etkilendiği açıktır. Bunun iki örneği Kuantum hesaplama Karmaşıklık analizi / sezgisel algoritmalarda kullanılan istatistiksel mekanik sonuçlar. Yani sorum şu ki, kaçırdığım önemli alanlar var mı? Motivasyonum çok basit: Ben kuantum bilgisiyle TCS'ye gelen teorik bir fizikçiyim ve iki bölgenin …
10
Gerçek bilgisayarların yalnızca sınırlı sayıda devleti vardır, bu yüzden Turing makinelerinin gerçek bilgisayarlarla ilgisi nedir?
Gerçek bilgisayarlar sınırlı belleğe ve yalnızca sınırlı sayıda duruma sahiptir. Bu yüzden aslında sonlu otomatlardır. Teorik bilgisayar bilim adamları neden bilgisayarları incelemek için Turing makinelerini (ve diğer eşdeğer modellerini) kullanıyorlar? Gerçek bilgisayarlara göre bu çok daha güçlü modelleri incelemek ne anlama geliyor? Sonlu otomata modeli neden yeterli değil?
8
Üzerinde çalıştığınız problem konusunda ilerleme kaydedemediğinizde ne yaparsınız?
Ben teoride 2. sınıf yüksek lisans öğrencisiyim. Geçen sene bir problem üzerinde çalışıyorum (grafik teorisi / algoritmalarında). Düne kadar iyi olduğumu düşünmüştüm (bir teoremi bir gazeteden genişletiyordum). Bugün basit bir hata yaptığımı farkettim. Yapmayı düşündüğüm şeyi düşündüğümden daha zor olacağını fark ettim. Çok fazla hayal kırıklığına uğradım, liseden ayrılmayı düşünüyorum. …
6
Hangi hesaplama modeli “en iyisi”?
1937'de Turing, bir Turing makinesini tanımladı. O zamandan beri birçok bilgisayar modelinin gerçek bir bilgisayar gibi bir model bulma girişimi olduğu, ancak algoritmaları tasarlayacak ve analiz edecek kadar basit olduğu belirtildi. Sonuç olarak, farklı hesaplama modelleri için SORT problemi için bir düzine algoritmamız var. Maalesef, bit vektör işlemleri ile izin …
8
Titizlik anlayışı için lider
MathOverflow'ta Timothy Gowers, "Titizliği göstermenin önemli olduğunu gösterme " başlıklı bir soru sordu . Tartışmanın çoğu, CSTheory'deki insanların muhtemelen ikna edilmelerine gerek duymadıkları ispatın önemini gösteren vakalar hakkındaydı. Tecrübelerime göre, teorik bilgisayar bilimlerinde kanıtların sürekli matematiğin birçok bölümünden daha titiz olması gerekir, çünkü sezgilerimiz çoğu zaman ayrı yapılar için yanlış …
1
Tek yazarlı makalelerin önemi?
Ben dördüncü sınıf doktora öğrencisiyim teorik bilgisayar bilimi. Akademi'de kalmak istiyorum, bu yüzden kariyerimi nasıl geliştirebileceğimi düşünüyorum. Açıkçası, bunu yapmanın en iyi yolu birçok iyi makale yazmaktır, ancak bir başka soru da, bu makalelerin daha fazlasının tek yazar olması için çalışmam gerekip gerekmediğidir. Şimdiye kadar sadece bir tane yazar makalem …
3
İlginç araştırma problemleri nasıl bulunur
Birkaç yıl süren derslere rağmen, bir araştırma konusu seçmeye gelince hala kaybediyorum. Farklı alanlardan makaleler inceledim ve profesörlerle konuştum ve bunun yanlış bir yaklaşım olduğunu düşünmeye başladım. İlginç bir problem bulmanın (bölgedeki boşuna) ve bunun üzerinde çalışmanın yardımcı olduğunu okudum. Ders kitapları ünlü çözülmemiş olanlardan bahsediyor ama ben onlarla doğrudan …
3
Okunacak kağıtları seçme
YASAL UYARI: Bu açık uçlu bir soru ve stackexchange püritenleri muhtemelen aşağılanmaya oy vermek için olağanüstü bir dürtü hissedeceklerdir. Ancak, bu soruya cevap alabilmemiz için daha uygun ve başka bir forum düşünemiyorum. Tabii projesi için bir araştırma problemi üzerinde çalışırken ben belirli bir şekilde sorunumu modellemek eğer özel bir parçadan …
4
Danışmanımın iradesine karşı tek yazar makaleleri?
Danışmanımla zor bir durum için tavsiye almak isteyen teorik CS alanında üçüncü sınıf doktora öğrencisiyim. Danışmanım araştırma projelerime hiç dahil değil. Özellikle, kağıt fikirlerimin tümünü buldum ve kağıtları tek başıma yürüttüm. Ancak, adını her zaman ortak yazar olarak eklemekte ısrar ediyor. Araştırmam için çok sıkı (yalnız başına) çalıştığım ve bunun …
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ı …
5
Ne biliyorsan onu ne zaman söylemelisin?
Halka açık bir soruyu gördüğünüzde, burada borsanın değiş tokuşunu yaptığınız, cevabını bildiğiniz için, mevcut araştırma projesinin bir parçası olarak baktığınız için ne yapmalısınız? Örneğin, son zamanlarda sorun üzerinde çalıştığım için cevabı bildiğim bir TCS.SX sorusu görüyorum. Sonuçları henüz yazmayı tamamlamadım ve kabul edilebilir bir makale oluşturmak için birkaç sonuç daha …
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.