«soft-question» etiketlenmiş sorular

Orada algoritmik grafik teorisi / sayılar teorisi / combinatorics / enformasyon teorisi / oyun teorisi. Algoritmik matematiksel analiz var mı? Wiki'ye göre, matematiksel analiz farklılaşma, integrasyon, ölçü, limitler, sonsuz seriler ve analitik fonksiyonlar teorilerini içerir. Gerçek bir değişkenin gerçek sayıları ve gerçek değerli fonksiyonları ile ilgilenen gerçek analize (wiki) odaklanmak …

11 cc.complexity-theory  reference-request  soft-question  computability 

Teorik bilgisayar bilimi ve özellikle de yaklaşım algoritmaları üzerine yüksek lisans öğrencisiyim. Şimdi saf matematikle daha fazla ilgilendiğimi görüyorum (bunu söyleyebilirim çünkü matematik derslerinden CS derslerinden daha fazla keyif aldım). Teorik bilgisayar bilimlerinde oldukça saf matematik (daha kesin olmak gerekirse, CS'ye yapılan uygulamaları düşünmeden saf matematikle ilgilenen bir alan) veya …

11 reference-request  soft-question 

Teorik bilgisayar bilimi araştırmalarına neyin dahil olduğunu anlamaya çalışıyorum. Teorik bilgisayar bilimcileri ne yapıyor? Yüksek lisans öğrencilerinin öğretilmesi, denetlenmesi, finansman başvurusu ve bölüm görevleri için önemli bir zaman harcandığını biliyorum. Onları bir kenara bırakmak, araştırma zamanınızı nasıl harcıyorsunuz? Genelde yaptığınız başlıca faaliyetler nelerdir? Sanırım kağıtları okuyup düşünür, toplantılar yapar ve …

11 soft-question  research-practice 

Temel kural, TCS makalelerinde yazarların alfabetik olarak sıralanması olmasına rağmen, akla gelen bazı önemli karşı örnekler vardır, burada yazarlar farklı bir şekilde sipariş edilir, örn. İnteraktif Prova Sistemlerinde Cebirsel Yöntemler [Lund, Fortnow, Karloff, Nisan] Dijital İmzalar ve Açık Anahtarlı Şifreleme Sistemleri Edinme Yöntemi [Rivest, Shamir, Adleman] Üstel Zaman Gerektiren Kelime …

11 soft-question 

Açık cs.stackexchange İstediğim algebird onlar soyut cebir paketi gerekebilir neden spekülasyon, github scala kütüphanesine. Github sayfasının bazı ipuçları var: Bloom filtresi, HyperLogLog ve CountMinSketch gibi ilginç yaklaşım algoritmaları için Monoid uygulamaları. Bunlar, sayıları yapabileceğiniz gibi bu karmaşık işlemleri düşünmenizi ve güçlü istatistikler ve analizler oluşturmak için bunları hadoop veya çevrimiçi …

11 soft-question  machine-learning  linear-algebra  db.databases 

1996 yılında uzun süredir devam eden bir sorun bilgisayar tarafından çözüldü; Yani, Robbins cebiri ve Boolean cebiri aynıdır. Kanıt, otomatik bir teorem uzmanı tarafından bulundu. Ayrıca, Dört renk teoreminin bilinen kanıtı bilgisayar tarafından üretilen bileşenler içerir. Bu sorunun amacı, bilgisayar tarafından (tamamen veya kısmen) bulunan kanıtları listelemektir (bilinen tek kanıt …

11 soft-question  big-list  proofs  automated-theorem-proving 

-calculus'u bir hesap yerine bir cebir olarak adlandırmanın farkı nedir ? Bu soruyu gündeme getiriyorum çünkü bir yerde " -calculus bir matematik değil bir cebir" (iirc, Dana Scott'a atfedilen). Amaç ne? Teşekkürler.λλ\lambdaλλ\lambda

11 soft-question  lambda-calculus 

Yakın zamanda yüksek lisans dersime başladım. Geçen dönem ağlar, yazılım mühendisliği, mimarlık gibi farklı disiplinlerden dersler aldım. Son zamanlarda, algoritmalar ve veri yapılarında ileri bir ders aldıktan sonra, beni en çok ilgilendiren bir ders bulduğumu düşünüyorum (diğer benzer konular dahil programlama dilleri vb. ). Tezim için çalışabileceğim ve muhtemelen doktora …

11 soft-question  career 

Bilgisayarla ilgili tüm müzeler ve sergiler farkındayım sadece bilgisayar makinelerinin tarihini kapsıyor, ancak bilgisayar bilimi konularında hiçbir şey yok. Çok çeşitli bilgi işlem / bilgisayar bilimi / iletişim / matematik konularında genel halka eğitim vermek, eğlendirmek ve ilham vermek için kiralanan yeni bir Bilgi İşlem Müzesi oluşturma sürecindesiniz. Tarih ve …

11 soft-question  big-list  ho.history-overview 

Bir süredir bir SAT algoritması geliştiriyorum ve paylaşmak istediğim bir noktaya geldim. Bilgisayar bilimlerinde çok insan tanımıyorum ve tam olarak nereye döneceğimi bilmiyorum. Yayınlamayı düşünen bir algoritmaya sahip biri için hangi kaynakların kullanılabilir olduğunu merak ediyorum. Ayrıca algoritmamın çalışma zamanını ve doğruluğunu analiz etmek için yardıma ihtiyacım var. Benim en …

11 sat  soft-question  proofs 

Polymath projelerinde büyük bir grup açık bir problem üzerinde çalışır. Bu çerçevede en iyi ne tür sorunlar işe yarıyor? Teorik bilgisayar bilimlerinde çok yönlü bir proje için iyi adaylar var mı? Polymath projelerinin teorik bilgisayar biliminde başarılı olma olasılığını diğer matematiğe kıyasla daha az engelleyen herhangi bir engel var mı?

11 soft-question  open-problem  research-practice 

Kendi alanı dışında, hatta kendi alanı ile ilgili olmayanları bile düzenli olarak okumak hakkında ne düşünüyorsunuz? Sezgim, kendi sorunlarımda bana yardımcı olabilecek tamamen farklı bir perspektif veya teknik verebilmesidir. Ama aynı zamanda bu konuda biraz şüpheliyim, çünkü yeni bilgi kendi işinde ona yardımcı olmazsa zaman kaybı olacaktır. Bu konudaki düşünceleriniz …

10 soft-question  advice-request 

Doğru alan emin değilim, ama burada gidiyor. İletişim ağlarında Güven ve İtibar Yönetimi alanında doktora yapmak (çok fazla grafik teorisi, olasılık analizi vb.) Ve önümde çok fazla okuma var. Herkes akademik okumayı yönetmenin en iyi yollarını ve edebiyat inceleme / ilerleme raporları vb.

10 soft-question  advice-request  research-practice 

Bilgisayar bilimindeki temel sınıfların paralel analogu gibi, paralel programlamaya iyi bir giriş sağlayan çevrimiçi kullanılabilir Ders notları veya diğer kaynakları arıyorum. Odak noktam şu: böl ve fethet, açgözlü algoritmalar, dinamik programlama ve benzerleri, yani sıralı algoritmaların (ve problemlerin) temel kalıpları hakkında konuşabiliyorum ve yaklaşımları paralel algoritmalarda sınıflandırmak için uygun bir …

10 reference-request  soft-question  dc.parallel-comp  survey 

Oldukça sert bir ikilemle karşı karşıyayım: - M.Tech'i CS'de 2 yıl önce tamamladım, VLSI Test alanındaki tezimi tamamladım. Çalışmamdan hoşlanırken, doktora derecemi devam ettirmek için geri dönmek istemiyorum - doktora derecemi almak için bir araç olarak (yaklaşık / çevrimiçi algoritmalarda) teorik bir ders almak istiyorum. Ancak, TCS'de (Teorik Bilgisayar Bilimi) …

10 soft-question  advice-request  career