«terminology» etiketlenmiş sorular

Biçimsel dilleri ve üretim üssü sistemlerini (kural-temel sistemleri) inceliyorum ve bu iki kelime "üretim" ve "kural" ın neden Bilgisayar Bilimi'nde bu kadar çok bağlamda aynı anlama geldiği konusunda biraz kafam karıştı. İngilizcede aynı anlama gelmiyorlar. Ben anadili İngilizce değilim ama bir kuralın insanlar hakkında konuşurken yapması gereken / yapmaması gereken …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Profesörden in-situ algoritma tanımım var, ama anlamıyorum. Yerinde algoritmalar Θ (1) bellekle çalışan algoritmaları ifade eder. Bu ne anlama geliyor?

13 algorithms  terminology  landau-notation 

Bu cümleyi Garey and Johnson'un "Bilgisayarlar ve Sürdürülebilirlik" sayfa 6'sında buldum. Zaman karmaşıklığı işlevi bu şekilde sınırlanamayan herhangi bir algoritmaya üstel zaman algoritması denir (bu tanımın normalde üstel fonksiyonlar olarak kabul edilmeyen gibi polinom olmayan zaman karmaşıklığı fonksiyonlarını içerdiği belirtilmelidir ).ngünlüknnlog⁡nn^{\log n} Sorum şu şekilde, Eğer polinom ne de üstel …

13 algorithms  terminology  polynomial-time 

Bilgisayar bilimi konusunda bir kitap okuyorum ama bazı önkoşullardan yoksuyorum. Normalde terimlerle karşılaştığımda anlamadım sadece onları ararım, ancak Evrensel Arama için istatistik / bilgisayar bilimlerinde arka planı olmayan bir okuyucu için uygun bir açıklama bulamadım. Bu konuyu kapsadığı anlaşılan Scholarpedia'dan Evrensel Arama ile ilgili bu makaleyi okudum . Evrensel Arama'nın …

13 algorithms  terminology  search-algorithms 

Fonksiyonel programlama, yedek teori olarak çok zarif Lambda Calculus ve varyantlarına sahiptir. OOP için böyle bir şey var mı? Nesneye yönelik model için soyutlama nedir?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Ben biraz yeniyim, ancak bilgi işlem ve karmaşıklık teorisi alanıyla çok ilgileniyorum ve problemlerin nasıl sınıflandırılacağı ve problemlerin bunları çözmek için kullanılan makine ile ne kadar güçlü bir şekilde ilişkili olduğu konusundaki anlayışımı netleştirmek istiyorum. Anlayışım Standart Turing Makinesi - Sonlu alfabesi, sonlu sayıda durumu ve tek bir sağ sonsuz …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Birinin istemci sunucu modelinin kaynağını bilip bilmediğini merak ediyordum. Terim nereden geliyor (kağıt, yazılım uygulaması, kitap)?

13 terminology  reference-request  distributed-systems  history 

Okuduğumdan preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Bu PTAS Tanımı: X problemi için bir polinom zaman yaklaştırma şeması ( PTAS ) , zaman karmaşıklığı girdi boyutunda polinom olan …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Ben soruyu okuyor Tutarlılık ve tamlık sağlamlığını ima? ve içindeki ilk ifade şöyle diyor: Sağlamlığın tutarlılığı ima ettiğini anlıyorum. Hangi oldukça şaşırdım çünkü sağlamlık tutarlılıktan daha zayıf bir ifade olduğunu düşündüm (yani tutarlı sistemlerin sağlam olması gerektiğini düşündüm ama sanırım doğru değil). Scott Aaronson'un MIT'deki 6.045 / 18.400 kursunda tutarlılık …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

Bir şaka olup olmadığını bilmiyorum, ama bir kez git, hg veya svn gibi bir sürüm sistemindeki bir dosyanın resmi bir tanımı olarak anılan şeyi okudum. Homeomorfizm gibi matematiksel bir nesne gibiydi. Bu bir şaka mıydı yoksa sürüm sistemleri ve VCS'nin matematiği hakkında gerçekten bilgisayar bilimi teorisi var mı?

12 terminology  reference-request 

Ormansızlaşmanın aynı anda nasıl bir liste içerdiğini ve ürettiğini anlıyorum (bir katlama ve bir açılma işlevinden - CodeReview'da bu iyi cevaba bakın ), ama bunu ' teknikten ' wikipedia girişi ile 'kaldırma' ağaçlar 'bir programdan. Bir programın sözdizimsel ayrıştırma ağacına nasıl ayrıştırılabileceğini anlıyorum (bu doğru mu?), Ama programların bir tür …

12 terminology  compilers  functional-programming 

Hesaplanabilirlik teorisine özyineleme teorisi de denir. Neden böyle deniyor? Özyineleme neden bu kadar önemlidir?

12 computability  terminology  history 

karmaşıklık sınıfı ne anlama geliyor? Biliyorum dilleri içeren karmaşıklık sınıf olan bir polinom zaman nondeterministic Turing makinesi olup şekilde IFF makinesi kabul durumlarının sayısı girişine garip.⊕P⊕P⊕P⊕P\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx Peki anlama geliyor? Aslında ne yaptığını takip edemiyorum :)⊕P⊕P⊕P⊕P\oplus P^{\oplus P} Bu tür karmaşıklık sınıfının pratik sonuçları nelerdir ve …

12 complexity-theory  terminology  complexity-classes 

Değilse, bazı durum ve bazı sembol , mevcut değilse ne anlama gelir ?qqqδ ( q , a )biraaδ( q, a )δ(q,a)\delta(q, a)

12 terminology  automata  finite-automata 

Makine öğreniminde yeniyim. Çeşitli uygulamalar için derin öğrenme uyguladıkları ve model tasarım vakalarının çoğunda "önceki" terimini kullandıkları birkaç makale okudum. Birisi bunun ne anlama geldiğini açıklayabilir mi? Ben sadece öğreticiler önceki ve arka matematiksel formülasyonu bulabilirsiniz.

12 terminology  machine-learning  pattern-recognition  bayesian-statistics