«terminology» etiketlenmiş sorular

Bilgisayar ve karmaşıklıkla ilgili bir kursa gidiyorum ve bu terimlerin ne anlama geldiğini anlayamıyorum. Tek bildiğim, NP'in NP zorluğunun bir alt kümesi olan NP tamamının bir alt kümesi olduğu, ancak gerçekte ne anlama geldiklerini bilmiyorum. Açıklamalar hala biraz fazla yüksek olduğu için Wikipedia da pek yardımcı değil.

247 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Giriş algoritma sınıflarının çoğunda, (Büyük O) ve gibi notasyonlar tanıtılır ve bir öğrenci genellikle zaman karmaşıklığını bulmak için bunlardan birini kullanmayı öğrenir.OOOΘΘ\Theta Bununla birlikte, bu gibi başka gösterimleri vardır,ooo , ve ω . Bir gösterimin diğerine tercih edilebileceği herhangi bir özel senaryo var mı?ΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

Bir dikdörtgenin alanını hesaplarsanız, sadece yüksekliği ve genişliği çarpın ve birimi tekrar kareye alın. Örnek: 5cm * 10cm = 50cm² Aksine, bir görüntünün boyutunu hesaplarsanız, yüksekliği ve genişliği de çarparsınız, ancak çarpma işleminden önce yüksekliği ve genişliği birimi olduğu gibi birimi - Piksel'i geri alırsınız. Örnek: Gerçekte hesapladığınız şey şudur: …

79 terminology 

Geçenlerde Lambda matematiği hakkında okudum ama garip bir şekilde neden "Lambda" dendiğini veya ifadenin nereden geldiğiyle ilgili bir açıklama bulamıyorum. Terimin kökenlerini açıklayan var mı?

73 terminology  computation-models  lambda-calculus  history 

(Yapısal) indüksiyon duydum. Küçük yapılardan sonlu yapılar oluşturmanıza izin verir ve bu tür yapılar hakkında akıl yürütme için kanıt ilkeler sunar. Fikir yeterince açık. Peki ya coinduction? O nasıl çalışır? Sonsuz bir yapı hakkında kesin bir şey nasıl söylenebilir? Bir şeyi tanımlamanın bir yolu olarak ve bir ispat tekniği olarak …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

İnsanların paralel hesaplamalardan ve dağıtılmış bilgisayarlardan bahsettiğini sık sık duyuyorum , ancak bu ikisi arasında net bir sınır olmadığı izlenimini edindim ve insanlar çok farklı olduğuna inanırken, bunu oldukça kolay karıştırıyorlar: Paralel hesaplama, çoklu iş parçacığına veya tek bir CPU'dan nasıl tam olarak yararlanılacağına daha sıkı bir şekilde bağlıdır. Dağıtılmış …

61 terminology  distributed-systems  parallel-computing 

Birileri bağımlı tipler ile arıtma tipleri arasındaki farkı açıklayabilir mi? Anladığım kadarıyla bir geliştirme türü, bir yüklemeyi yerine getiren bir türün tüm değerlerini içerir. Onları ayıran bağımlı türlerin bir özelliği var mı? Eğer yardımcı olursa, Liquid Haskell projesi ile Rafine tiplerine ve Coq ve Agda üzerinden bağımlı tiplere rastladım. Bu, …

57 terminology  programming-languages  type-theory  functional-programming  dependent-types 

Neden bilgisayar bilimlerinde en fazla polinom olan herhangi bir karmaşıklığın verimli olduğu düşünülmektedir? Herhangi bir pratik uygulama için (a) , karmaşıklığı olan algoritmalar, zaman içinde çalışan, diyelim ki algoritmalardan çok daha hızlıdır , ancak ikincisi verimli iken ilk olarak verimsiz olarak kabul edilir. Mantık nerede? n 80nlognnlog⁡nn^{\log n}n80n80n^{80} (a) Örneğin, …

50 algorithms  complexity-theory  terminology  efficiency 

O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| + |E|)

44 terminology  asymptotics  mathematical-analysis  landau-notation 

Eşzamanlı programlamaya bakıldığında, iki terim sıklıkla kullanılır, yani eşzamanlı ve paralel. Bazı programlama dilleri, özellikle Java gibi paralel programlama için destek talep eder . Bu paralel ve eşzamanlı programlamanın aslında farklı olduğu anlamına mı geliyor?

44 terminology  parallel-computing  concurrency 

"Büyük O" 'da, ortak notasyonların ortak isimleri vardır ("sabit bir faktörden Oh" demek yerine): O (1) "Sabit" O (log n) "Logaritmik" tir. O (n) "Doğrusal" dır O (n ^ 2) "Kuadratik" dir O (n * log n) , ??? Sadece "n log n" mi, yoksa yukarıdaki gibi özel bir adı …

40 terminology  asymptotics 

Görünüşe göre bu sitede, insanlar "algoritmaları" ve "sorunları" karıştırdıkları için başkalarını da düzeltirler. Bunlar arasındaki fark nedir? Algoritmaları ne zaman düşünmem ve problemleri düşünmem gerektiğini nasıl bilebilirim? Bunlar biçimsel dil teorisindeki dil kavramı ile nasıl ilişkilidir?

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

Bilgisayar Bilimi alanında lisans bekliyorum, ancak bunun erken bir noktasındayım ve devam etmesi akademik ve kariyer açısından esnek bir eğitim gibi göründüğü için seçimimden memnun kalacağımdan eminim. Bilgisayar Biliminin akademi, özel sektör ve “Bilgisayar Bilimi” ndeki gerçek “Bilim” ile ilgili olarak gerçekte ne olduğu konusunda çeşitli tanımların olduğu söyleniyor. Bilgisayar …

39 terminology  history 

“Karma” kelimesinin farklı bağlamlarda (bilgisayar dünyasının tümü içinde) farklı anlamlarla kullanıldığını duydum. Mesela, Python'u Zor Yoldan Öğrenin kitabında , sözlükler bölümünde "Python onları çağırır" denir. Diğer diller ise bunları "hashlar" olarak adlandırır. Sözcüğün diğer yaygın kullanımı şifreleme ile ilgilidir. Ayrıca "hash" kelimesini yüksek seviye programlamada özel bir fonksiyon olarak kullanan …

38 terminology  hashing 

Özet: Rice teoremine göre her şey mümkün değildir. Yine de, sözde imkansız şeyleri her zaman yapıyorum ! Tabii ki, Rice teoremi sadece "her şey imkansız" demiyor. Daha spesifik bir şey söylüyor: "Bir bilgisayar programının her özelliği hesaplanamaz." (Eğer kılları bölmek istiyorsanız, her "önemsiz" mülkün mülkiyeti vardır. Yani, tüm programların sahip …

37 terminology  computability  undecidability  rice-theorem