Bilgisayar Bilimi

Bunu yapmanın en hızlı yolu (algoritmik bir perspektiften ve pratik bir konudan) ne olabilir? Aşağıdaki satırlar boyunca bir şey düşünüyordum. Bir dizinin sonuna ekleyebilir ve daha sonra buna yakın olan ve en iyi durumda (en iyi durumda) doğrusal çalışma süresine sahip en iyi durum (başlangıçta tamamen sıralanan dizi) olduğundan bubblesort …

31 algorithms  efficiency  arrays  sorting 

Alan Turing, hesaplayan (sayılar, fonksiyonlar vb.) Bir makine (Turing Machine, TM) için bir model önerdi ve Halting Teoremini ispatladı . TM, bir makinenin soyut bir konseptidir (ya da isterseniz motoru). Halting Teoremi imkansız bir sonuçtur. Bir Carnot Motoru (CE), bir ısı motorunun soyut bir konseptidir ve Carnot , termodinamik entropi …

31 turing-machines  halting-problem  entropy 

Örneğin, bilgisayar 10111100belirli bir RAM baytında depolandıysa, bilgisayar bu baytı bir tamsayı, ASCII karakteri veya başka bir şey olarak yorumlamayı nasıl bilir? Tip verileri bitişik bir baytta mı depolanıyor? (Bunun bir bayt için iki katı alan kullanmasıyla sonuçlanacağını sanmıyorum.) Belki bir bilgisayarın veri türünü bile bilmediğinden, yalnızca onu kullanan programın …

31 memory-hardware  memory-access  type-checking 

Üniversitemde bir alıştırma yapıldı. Eve götürdüm ve çözmek için bir algoritma programlamaya çalıştım, sanırım grafiklerle ilgili bir şeydi, bağlı bileşenleri buldum. Sonra aklıma gelen en önemsiz şeyi yaptım ve sonra öğretim görevlisine gösterdim. Kısa bir gözlemden sonra, çözümümün çalışma zamanı karmaşıklığının yenilmez olduğunu ve daha verimli bir şey gösterdiğini algıladı. …

30 algorithms  algorithm-analysis  education  applied-theory 

Bağlamsız Dilbilgisinin ne olduğu hakkında çevrimiçi birçok tanım var, ancak bulduğum hiçbir şey birincil sorunumu tatmin etmiyor: Hangi bağlamda özgür? Araştırmak için, "bağlam duyarlı dilbilgisi" kelimesini Googled'im ama yine de "bağlam" ın neyle ilgili olduğunu bulamadım. Birisi lütfen contextbu isimlerde terimin ne anlama geldiğini açıklayabilir mi?

30 terminology  context-free  formal-grammars 

Bitcoin'in temellerini aileme anlatmaya çalışıyorum. Bitcoin'in temel bileşenlerinden biri, kimliğinizin kimliğine bürünülmemesini sağlamak için işlemlerin imzalanması ve böylece basitleştirilmiş bir asimetrik şifrenin açıklanması gereğidir. Örnek olarak kullanabileceğim son derece basit bir asimetrik şifre nedir? Bu basitleştirilmiş şifre imzalama için nasıl kullanılabilir?

30 cryptography 

Temel olarak matematiğin üç temelinin farkındayım Küme teorisi Tip teorisi Kategori teorisi Peki programlama dilleri ve matematiğin temelleri hangi yollarla ilişkilidir? DÜZENLE Asıl soru "Matematiğin temellerini temel alan programlama dilleri" idi. eklenen paragarph ile Ve teori gerçeklenimcilerine 1. Tip teorisi Coq 2. Set teoride SETl 3. Kategori teorisi Haskell Bir …

30 programming-languages  history  type-theory  category-theory 

2 veya daha fazla sol veya sağ türetme ağacı varsa, o zaman dilbilgisinin belirsiz olduğunu, ancak neden herkesin ondan kurtulmak istediğini bu kadar kötü anlayamadığımı anlıyorum.

30 compilers  ambiguity 

CLRS okuyordum ve şöyle dedi: Büyük tamsayıları çarpanlara ayırmak kolaysa, RSA şifreleme sistemini kırmak kolaydır. Bana mantıklı geliyor çünkü ppp ve qqq bilgisiyle, kamu anahtarının bilgisinin olduğu gizli anahtarı yaratmak kolaydır. Yine de, tam olarak anlamadığım converse ifadesini açıklıyor: Converse ifadesi, eğer büyük tamsayıları çarpanlara ayırmak zorsa, RSA'yı kırmanın zor …

30 cryptography 

FRP, saf işlevler aracılığıyla olayları ve davranışları akışla ilgilidir. Aktör modeli - en azından Akka'da uygulandığı gibi - aktör olarak adlandırılan potansiyel olarak saf olmayan nesneler yoluyla değişmez mesajların (ayrı olaylar olarak kabul edilebilir) aktarılmasıyla ilgilidir. Böylece yüzeyde ilişkili görünüyorlar. Nasıl ilişki kurdukları hakkında başka ne söyleyebiliriz? Ayrıca, farklı uygulama …

30 distributed-systems  functional-programming  programming-paradigms 

İngilizceye klasik bilgisayar bilimi ile "MS-Windows kullanarak iyi olmak" arasındaki farkı açıklamak için iyi bir metafor veya örnek nedir? bilgisayar Bilimi bilgisayar Programlama bilgisayarları kullanmak 3 derinden farklı şeyler. Çoğu insan, Bilgisayar Bilimi'nin ne olduğu hakkında hiçbir fikre sahip değildir. Sadece "bilgisayar" kelimesini görüyorlar. Bu nedenle, "O bir Bilgisayar Bilimi …

30 terminology  education 

Her LTL formülünün bir Büchi- automaton ile ifade edilebileceği bilinen bir gerçektir . Fakat görünüşe göre, Büchi otomatları daha güçlü ve etkileyici bir modeldir. Bir yerlerde Büchi otomatlarının linear-time calculus'a eşdeğer olduğunu duydum (yani, normal fiksasyon noktaları ve sadece bir temporal işleci ile calculus: ).ωω\omegaμμ\muμμ\muXX\mathbf{X} Bu eşitliğin bir algoritması (yapıcı …

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

Rice teoremi bize Turing Machines'in tek anlamsal özelliklerinin (yani makine tarafından hesaplanan fonksiyonun özellikleri) karar verebileceğimiz iki önemsiz özellik olduğunu (yani her zaman doğru ve her zaman yanlış olduğunu) söyler. Ancak Turing Makinelerinin kararsız olmayan başka özellikleri de var. Örneğin, belirli bir Turing makinesinde erişilemez bir durum olması özelliği belirlenemez. …

30 computability  undecidability 

Sezgisel olarak "dengeli ağaçlar", her düğümdeki sol ve sağ alt ağaçların "yaklaşık aynı" düğüm sayısına sahip olması gereken ağaçlar olmalıdır. Tabii ki, kırmızı-siyah ağaçlardan * bahsedince (sondaki tanımlara bakınız) dengelendikten sonra, aslında yükseklik dengeli olduklarını ve bu anlamda dengeli olduklarını kastediyoruz . Yukarıdaki sezgiyi resmileştirmeye çalıştığımızı varsayalım: Tanım: İkili Ağaç, …

30 data-structures  binary-trees  search-trees 

Bir sözlük uygularken ('Müşteri verilerini müşteri kimlikleriyle aramak istiyorum'), kullanılan tipik veri yapıları karma tabloları ve ikili arama ağaçlarıdır. Örneğin, C ++ STL kitaplığının (dengeli) ikili arama ağaçlarını kullanarak sözlükleri (onları haritalar olarak adlandırırlar) uyguladığını ve .NET çerçevesinin başlık altında karma tabloları kullandığını biliyorum. Bu veri yapılarının avantajları ve dezavantajları …

30 algorithms  data-structures  binary-trees  hash-tables