«survey» etiketlenmiş sorular

Bilgisayar Bilimi alanındaki Topoloji uygulamaları hakkında bir anket yazmak istiyorum. Bilgisayar Bilimleri alanındaki topolojik fikirlerin tarihçesini ele almayı ve bazı güncel gelişmeleri vurgulamayı düşünüyorum. Aşağıdaki sorulardan herhangi biri hakkında bilgi verebilecek olmanız son derece yardımcı olacaktır. Bilgisayar Bilimlerinde topoloji kullanımının kronolojisini tanımlayan herhangi bir makale veya not var mı? Topolojideki …

61 reference-request  ho.history-overview  topology  survey 

Bu sorunun amacı, bilgisayarların sistematik kullanımının yardımcı olduğu teorik bilgisayar biliminden örnekler toplamaktır. Bir teoremi yönlendiren bir varsayım oluşturmada, Bir varsayım veya ispat yaklaşımını tahrif etmek, bir kanıtı oluşturmak / doğrulamak (bölümlerini). Belirli bir örneğiniz varsa, lütfen nasıl yapıldığını açıklayın. Belki de bu, başkalarının günlük araştırmalarında bilgisayarları daha etkili kullanmalarına …

55 proofs  survey  examples 

Halen TCS’de hiyerarşi teoremleri hakkında bir anket yazıyorum. İlgili makalelerin araştırılması Hiyerarşinin sadece TCS ve matematikte değil, teoloji ve sosyolojiden biyoloji ve kimyaya kadar birçok bilim dalında temel bir kavram olduğunu fark ettim. Bilgi miktarının çok büyük olduğunu görünce, umarım bu topluluktan yardım isteyebilirim. Tabii ki, benim için bibliyografik bir …

42 cc.complexity-theory  reference-request  big-list  survey 

Geometrik Karmaşıklık Teorisi, cebirsel geometri, temsil teorisi gibi saf matematik hakkında çok fazla bilgi gerektirir. Ben bir CS öğrencisi olduğum halde, çok soyut ve saf matematik sınıflarına sahip değilken, bu programa ilgi duyuyorum. Bu teoriyi öğrenmek için "asgari bilginin" bir listesi var mı? Bu liste CS veya matematik bölümlerinin ders …

38 reference-request  big-list  survey  gct 

Vikipedi'deki hangi eksik TCS konuları hakkında bir makale olmasını istersiniz? İhmalleri göz ardı ediyor olabilirler ya da gerçekten bir makalesi olması gerektiğini düşündüğünüz konular. Cevap başına bir konu, lütfen en çok arananlar oylanabilir. Güncelleme 5/2/2017 : Shuchi Chawla, TCS’nin kapsama alanını iyileştirme çabalarına öncülük ediyor . Bu güncellemeyi, kişilerin cevaplarını …

26 soft-question  big-list  survey 

Cormen, Leiserson, Rivest ve Stein'in "Algoritmalara Giriş" gibi standart ders kitaplarında anlatılanların ötesine geçen gelişmiş veri yapıları üzerine bir kitap arıyorum. MIT'deki Erik Demaine ve André Schulz'un İleri Veri Yapıları dersi gibi ileri veri yapıları üzerine lisans düzeyinde bir ders vermek için kullanılabilecek bir kitap . Veri yapılarının ansiklopedik el …

24 soft-question  ds.data-structures  survey  books 

Borsa tahmin etmek zor! TCS bu düşünceyi daha resmi hale getirebilir mi? Son zamanlarda biraz finans hakkında düşünmeye başladım ve TCS bilgisinin nasıl yardımcı olabileceğini merak ediyordum. Hedge fonları ve yatırım firmaları her zaman algoritmik ticaret, makine öğrenimi ve yapay zeka kullanıyor, ancak TCS sonuçları az görünüyor. Özellikle, sadece iki …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Otomatik teoremi kanıtlama ve ispat araştırması, kasılma eksikliği olan lineer ve diğer önerici alt yapı mantıklarında daha kolay mıdır? Bu mantıklarda kanıtlanan otomatik teorem ve ispat aramada daralmanın rolü hakkında daha fazla bilgiyi nerede bulabilirim?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

Bağlamdan bağımsız bir dil L'nin düzenli olduğunu, yani formun koşullarını ima eden koşulların bir listesini toplamak iyi olur: "belirli bir CFG / PDA'nın P özelliği varsa, dilleri düzenli demektir" P özelliğinin, normal diller üreten CFG'leri tanımlaması gerekmez. Dahası, P'nin karar verilebilir olması gerekmez ve P, bir şekilde bağlamdan bağımsız olan …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

, s ( f ) duyarlılığına ve b s ( f ) duyarlılığına sahip bir boole işlevi olsun .fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) Duyarlılık-Blok duyarlılık varsayımı varsayımı , ∀ f , b s ( f ) ≤ s ( f ) c olacak şekilde olduğunu belirtir .c > 0c>0c>0∀ …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Çeşitli programlama dili özelliklerinin semantiği hakkında bir araştırma (kağıt, kitap bölümü, öğretici, bağlantılar, ...) var mı? Aslen burada D'nin özellikleri karşısında bunalmıştım http://www.digitalmars.com/d/2.0/comparison.html Stackoverflow ile ilgili benzer bir soru sordum ve bu iki sitenin farklı bakış açıları olduğunu anlasam da, muhtemelen buradan ne alabilirim görmek istiyorum . Cevabınızı gerçekten takdir …

12 reference-request  pl.programming-languages  survey 

Geçenlerde Clay Math Institute'ta Stephen A. Cook tarafından açıklandığı gibi ve problemini hatırlattım .PP\mathsf{P}N PN-P\mathsf{NP} Bu benim ilgimi uyandırdı ve ben bu konuda daha fazla bilgi edinmek istiyorum. İlk adım, sorunun daha derin bir şekilde anlaşılması ve genel olarak bölgenin anlaşılması olacaktır. Sorun hakkında daha fazla bilgi edinebileceğim herhangi bir …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Algoritmalar (CLRS ve DPV gibi algoritma ders kitaplarında kapsanan konuların ötesinde konular) ileri konularda kaynaklar (tercihen bir el kitabı) arıyorum. Erik Demaine ve David Karger'in Gelişmiş Algoritmalar kursu gibi algoritma kursunda bir konu öğretmek için kullanılabilecek malzeme türü . Alanla ilgili genel bir bakış sunacak kaynaklar (el kitabı gibi) tercih …

11 ds.algorithms  reference-request  survey  books 

Şimdiye kadar, grafiklerde ayırıcılarda, düzlemsel ayırıcıdan, ağaç ayırıcıdan, sınırlı ağaç genişliği grafiklerinden, sınırlı cins grafiklerden, vb. Vb.

11 reference-request  graph-algorithms  survey 

Bilgisayar biliminde adik sayıların uygulanmasına ilişkin somut (veya zengin bir kaynak) örnekler var mı?ppp

11 survey