Bilgisayar Bilimi

Not, nasıl programlandığını bilmeme rağmen, CS teorisinde oldukça yeni bir başlangıç ​​yapıyorum. Bu cevaba göre Bütünlüğü tamamlamak, soyut bir hesaplanabilirlik kavramıdır. Eğer bir dil Turing tamamlandıysa, diğer bir Turing tamamlayıcı dilin yapabileceği herhangi bir hesaplama yapabilir. Ve herhangi Turing tam bir dilde yazılmış herhangi bir program diğerinde tekrar yazılabilir . …

26 computability  programming-languages  turing-completeness 

Yığın taşmalarını algılamak yazılımın (işletim sistemi) görevi mi yoksa donanımda bir yığın taşması tespit edilip CPU'da bir istisna oluşturuyor mu?

26 computer-architecture  stacks 

Bu soru StackOverflow hakkındaki bir yorumdan ilham almıştır . Garey Johnson kitabının NP-komple sorunlarını bilmenin yanı sıra, diğerleri; Bir problemin NP-tamamlayıcısı gibi görünüp görünmediğini bilmek için bir kural var mı? Sıkı bir şey aramıyorum, ancak çoğu durumda işe yarayan bir şey arıyorum. Tabii ki, her zaman bir problemin NP tamamlandı …

26 complexity-theory  np-complete  intuition 

Birçoğumuz birleştirici mantık ve lambda matematiği arasındaki yazışmaları biliyoruz . Ancak, basitçe yazılan lamda matematiğine tekabül eden "yazılan birleştiricilerin" eşdeğerini hiç görmedim (belki de yeterince derin görmedim). Böyle bir şey var mı? Kişi bu konuda nereden bilgi bulabilir?

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

Programlama dilbilgisi Haskell'i öğreniyorum ve kafamı a typeile a arasındaki farkın etrafına sarmaya çalışıyorum kind. Anladığım kadarıyla a kind is a type of type. Mesela a ford is a type of carve a car is a kind of vehicle. Bu, bunu düşünmek için iyi bir yol mu? Yolu beynim şu …

26 type-theory 

Orada birçok teknik bir dil olduğunu kanıtlamak için değil bağlam içermeyen, ama nasıl bir dil olduğunu ispat yok olduğu bağlamdan-bağımsız? Bunu kanıtlamak için hangi teknikler var? Açıkçası, bunun bir yolu, dil için bağlamsız bir dilbilgisi sergilemektir. Belirli bir dil için bağlamsız bir dilbilgisi bulmak için sistematik teknikler var mı? Düzenli …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Aşağıdaki dil içeriği ücretsiz mi? L = { u x v y| U , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | x | = | y| ,X≠Y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Euclid'in algoritmasının, GCD'yi (büyük ortak bölen) bir pozitif tamsayı listesinden almak için en iyi algoritma olduğunu biliyorum. Ancak pratikte bu algoritmayı çeşitli şekillerde kodlayabilirsiniz. (Benim durumumda Java kullanmaya karar verdim, fakat C / C ++ başka bir seçenek olabilir). Programımda mümkün olan en verimli kodu kullanmam gerekiyor. Özyinelemeli modda, şunları …

26 algorithms  recursion  arithmetic 

Birinin sadece bir döngü yerine özyinelemeyi kullanacağı bazı (göreceli) temel (birinci sınıf üniversite düzeyinde CS öğrencisi) örnekleri ne zamandır?

26 algorithms  recursion 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . Her bir optimizasyon / arama probleminin eşdeğer bir karar problemi olduğu bilinmektedir. Örneğin en kısa yol problemi : optimizasyonu / arama bu bir yönsüz ağırlıksız grafik göz …

26 complexity-theory  optimization  search-problem  decision-problem 

Birkaç kez duydum ki, yeterince küçük n değerleri için O (n) O (1) gibi düşünülüp / tedavi edilebilir. Örnek : Bunu yapmak için motivasyon, O (1) 'in her zaman O (lg n)' den, her zaman O (n) 'den daha iyi olduğu yanlış fikrine dayanır. Bir işlemin asimptotik sırası, yalnızca gerçekçi …

26 asymptotics 

Bu soru Matematik Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsası'ndan cevaplandırılabilir. 6 yıl önce göç etmiş . Dominosa nispeten yeni bir bulmaca oyunudur. Bir ( n + 1 ) × ( n + 2 )(n+1)x(n+2)(n+1)\times(n+2) ızgarasında oynatılır . Oyun başlamadan önce domino kemikleri ( 0 ,0),(0,1),…,(n,n)(0,0),(0,1),…,(n,n)\left(0,0\right),\left(0,1\right),\ldots,\left(n,n\right) …

26 complexity-theory  np-hard  board-games  tiling 

Sadece alfabesini göz önüne alarak , Turing makinelerine giriş olarak verilebilecek diziler Σ ∗ kümesindendir . Fakat girişin sonsuz bir ikili dize olması mantıklı geliyor mu? Örneğin, bir Turing makinesi 0 ile başlayan tüm dizeleri kabul ederse, bir ikili sonsuz sıfır dizisi de Turing makinesi tarafından kabul edilen dile ait …

26 turing-machines 

L1 ve l2 önbellek isteklerinin bir eksikliğe yol açtığını varsayarsak, işlemci ana belleğe erişilinceye kadar durur mu? Başka bir konuya geçme fikrini duydum, eğer öyleyse oyalanmış ipliği uyandırmak için ne kullanılır?

26 computer-architecture  cpu-cache  cpu-pipelines 

Bana farklı görünen iki dengeli ağaç tanımını gördüm. Her düğüm için sol alt ağaçtaki iç düğümlerin sayısının ve sağ alt ağaçtaki iç düğümlerin sayısının en fazla 1 farklılık gösterdiğini tespit etmesi durumunda bir ikili ağaç dengelenir. Herhangi bir iki yaprak için derinlik farkı en fazla 1 ise bir ikili ağaç …

26 data-structures  binary-trees