«soft-question» etiketlenmiş sorular

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 

Teorik bilgisayar bilimlerinde bazen isimsiz bir bekar yazar olarak yazılar yazıyorum. Daha önce, bu tür gazetelerde ilk kişiyi kullandım, örneğin: X ve Y'nin karmaşıklık sınıflarının çakıştığını göstereceğiz. Ben ne İngilizce, ne de İngilizce konuşabiliyorum. Son zamanlarda, ana dili İngilizce olan bir konuşmacıdan (kim bilime giriyor, bilgisayar bilimcisi değil) tekil 1. …

21 soft-question  paper-review  writing 

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 

Ben bir lisans öğrencisiyim ve yakın zamanda teorik bilgisayar bilimi alanında araştırma yapma zekasına sahip olamayacağım veya bir doktora programına alınabilip tamamlayamayacağım gerçeği ile karşılaştım. Ancak, yine de ilginç bulduğum için teorik bilgisayar bilimi ile uğraşmak istiyorum. Şimdiye kadar, teorik bilgisayar bilimlerinde doktora gerektirmeyen tek kariyerim, bazı üniversitelerde teorik grup …

21 soft-question  career 

Sonuçları bir araya getirirken, MS Paint'te bir araya getirilen şemalardan ziyade bazı profesyonel görünümlü şemalara sahip olmak genellikle arzu edilir. Veri yapılarını çizmek için standart nedir?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

İki tarihsel sorum var: Belirsiz hesaplamayı ilk kim açıkladı? Cook'un NP-tam problemlerini tanımladığını ve Edmonds'un P algoritmalarının "verimli" veya "iyi" algoritmalar olduğunu önerdiğini biliyorum. Bu Wikipedia makalesini araştırdım ve "Algoritmaların Hesaplama Karmaşıklığı Üzerine" ifadesini kullandım, ancak belirsiz hesaplamanın ilk ne zaman tartışıldığı konusunda herhangi bir referans bulamadım. NP sınıfına ilk …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Çoğu makale artık birlikte yazılıyor ve ortak çalışanlar genellikle farklı yerlerde bulunuyor. Belgelerim ve kodum için her zaman sürüm kontrol sistemlerini kullandım ve aynı zamanda işbirlikçi yazılım projeleri için sürüm kontrolünü kritik buldum, ancak teoride birçok araştırmacı ortak makaleler yazmak için kullanımlarından kaçınıyor gibi görünüyor. Ortak çalışanlarımı sürüm kontrolünün (revizyon …

20 soft-question  research-practice  software  writing 

Bu soru, bir bilgisayarın algoritma ve veri yapılarını tasarlamak için doğru teorik modelin ne olduğu hakkında daha genel bir soruya benzer . Burada, özellikle mevcut yüksek performanslı bilgisayarlar ( Top 500 olarak listelenenler gibi ) veya hatta yaklaşan süper bilgisayarlar. Bu bilgisayarların genellikle I / O modelinin ( 1988'de Aggarwal …

20 reference-request  soft-question  machine-models 

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 

CS teorisinde fakülte pozisyonları için iş ilanları bulmak için en iyi kaynaklar nelerdir? Özellikle oldukça kapsamlı bir web sitesi veya posta listesi var mı? Şu anda dünya çapında kapsamlı bir iş ilanı listesi almak için çeşitli kaynakları kullanmak zorunda olduğu izlenimine sahibim. Durum böyle mi? Bu soru nasıl iş bulacağımla …

19 soft-question  career 

Bu son oyun teorisi sorusu beni düşündürdü (elbette bu bir teğet): Oyun teorisini kullanmak için araştırma sorularını seçmek için kişisel bir stratejiyi verimli bir şekilde optimize etmek mümkün mü? Sorunun resmileştirilmesine yönelmek için aşağıdaki (gayri resmi olarak belirtilen) varsayımları yapacağım: Eşit şekilde çalışabileceğim herhangi bir problemi "beğeniyorum" ("İstediğinizi yapın!" Sorusunun …

19 soft-question  gt.game-theory 

Şu anda matematik okuyorum. Ancak, gelecekte profesyonel bir matematikçi olmak istediğimi sanmıyorum. Matematik bilgimi yapay zekada araştırma yapmak için uygulamayı düşünüyorum. Ancak, kaç matematik dersini izlemem gerektiğinden emin değilim. (Ve hangi CS teorisi derslerini takip etmeliyim.) Quora'dan Doğrusal Cebir, İstatistik ve Konveks Optimizasyon konularının Makine Öğrenimi ile en alakalı olduğunu …

19 soft-question  machine-learning  ai.artificial-intel 

Bunun tartışmalı bir soru olabileceğini anlıyorum, ama burası sormak için doğru yer gibi görünüyordu. Lütfen değilse yeniden yönlendir. Arka plan, bir "uygulayıcı" olduğumdur (doktora öğrencisi, CS teorisi çalışmıyorum), ancak lisans algoritmaları ve matematik konusunda makul bir temelim var. Bununla birlikte, teorisyenlerle tartışmalar genellikle çok yüzey seviyesindedir, sanki korkmam durumunda benimle …

18 soft-question  advice-request 

TCS'de uzun süredir kanıtlanmamış, daha sonra başka bir teoremden çıkarımla kanıtlanmış, kanıtlanması daha kolay olabilecek varsayımlar olup olmadığını bilmek istiyorum.

18 reference-request  soft-question  big-list 

Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism