Bilgisayar Bilimi

Bilgisayar bilimi öğrencileri, araştırmacıları ve uygulayıcıları için soru-cevap

2
Neden toplam fonksiyonlar numaralandırılamıyor?
Fonksiyon numaralandırma kavramını öğrendik. Uygulamada, programlama dillerine karşılık gelirler. Geçen bir açıklamada, profesör tüm toplam fonksiyonların (yani her girdi için daima sonlanan fonksiyonlar) sınıfının numaralandırılabilir olmadığını belirtti . Bu, toplam fonksiyonların hepsini yazmamıza izin veren bir programlama dili tasarlayamayacağımız anlamına gelir; başkaları olmaz - ki bu güzel olurdu! Peki, düzgün …
4
Bir sosyal ağdaki olası bağlantılar nasıl belirlenir?
"Önerilen arkadaşlar" algoritmasıyla mücadeleye yönelik bir yaklaşım belirlemeyi merak ediyorum. Facebook , size tanıdıklarını düşündüğü bireyleri tavsiye edebileceği bir özelliğe sahiptir. Bu kullanıcılar normalde ( bir kullanıcının özellikle bir arkadaşını önerdiği son durumlar hariç ), kendisiyle oldukça benzer bir ağa sahiptir. Yani, ortak arkadaş sayısı yüksektir. Twitter’ın “Kim Takip Ediyor” …
3
Alt sorgular, SQL sorgularına anlamlı güç katıyor mu?
SQL'in alt sorgulara ihtiyacı var mı? İlişki veritabanları için yapılandırılmış sorgu dilinin yeterince genel bir uygulamasını hayal edin. Kanonik SQL SELECTdeyiminin yapısı aslında anlam ifade etmek için oldukça önemli olduğundan, doğrudan ilişkisel cebirlere hitap etmiyorum, ancak ifadeler biçiminde uygun kısıtlamalar yaparak bu terimlerle çerçevelendirebilirsiniz. Bir SQL SELECTsorgusu, genel olarak bir …
2
Sendika tipi olan lamda terimlerinin karakterizasyonu
Birçok ders kitabı lambda-matemindeki kesişim tiplerini kapsar. Kavşak için yazım kuralları aşağıdaki gibi tanımlanabilir (basit bir şekilde alt tipleme ile yazılan lambda hesabının üstüne): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash M : T_2} {\Gamma \vdash M : T_1 \wedge T_2} (\wedge I) \qquad\qquad \dfrac{} {\Gamma \vdash M …
2
Açgözlü algoritma kanıtlamak nasıl doğru
Doğru olabileceğinden şüphelendiğim açgözlü bir algoritma var ama emin değilim. Doğru olup olmadığını nasıl kontrol edebilirim? Açgözlü bir algoritmayı doğrulamak için kullanılacak teknikler nelerdir? Ortak kalıplar veya teknikler var mı? Bunun yeni başlayanlara işaret etmek için kullanılabilecek bir referans sorusu olacağını umuyorum ; dolayısıyla normalden daha geniş kapsamı. Lütfen en …
2
Belirli bir merdivenin geçerli olup olmadığını etkin bir şekilde belirleme
Yerel squash kulübümde aşağıdaki şekilde çalışan bir merdiven var. Sezonun başında, kulübün her üyesinin adını ayrı bir satırda bir masa inşa ediyoruz. Daha sonra kazanılan oyunların sayısını ve her ismin yanında oynanan oyunların sayısını yazıyoruz (forma: oyuncu kazanır / oyun). Böylece sezonun başında masa şöyle görünür: Carol 0/0 Billy 0/0 …
1
Birçok bölünebilirlik koşuluyla alt küme toplamı
bir doğal sayılar kümesi olsun . Biz düşünün yani bölünebilme kısmi sipariş altında . letS s 1 ≤ s 2SSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V bir antichain }}\} . Sayıların çoklu kümesinin S olduğu alt küme problemini göz önüne …
2
Toplu iş derleyici nedir?
Derleyicimin dersinden şu alıntıyı yaptım (grafik renklendirme bağlamında): Yavaş olduğundan, grafik renklendirme toplu derleyicilerde, doğrusal tarama JIT derleyicilerde kullanılmaya meyillidir. İnternette net bir tanım bulamadım. Peki derleyiciyi toplu derleyici yapan nedir?
28 compilers 
6
İki dil arasında kaynak kodlarını 'çevirebilen' programlar var mı?
Herhangi bir iki dil arasında kaynak kodunu 'çevirebilen' programlar var mı (çevirmenin gerekli kütüphanelere erişimi olduğunu varsayarsak)? Varsa, nasıl çalışırlar (kullanılan teknikler, gerekli bilgi vb.)? Fizibil olarak nasıl inşa edilirler? Olmazlarsa, gelişimlerini engelleyen kısıtlamalar nelerdir? Bu bir AI tam sorunu mu (doğal dil çevirisi bir tane olarak listeleniyor)? DÜZENLEME Dönüşüm, …
2
C'nin boş tipi neden boş / alt tipe benzemiyor?
Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
2
'Gerçek eşzamanlılık' ne anlama geliyor?
Sık sık 'gerçek eşzamanlılık semantiği' ve 'gerçek eşzamanlılık denklikleri' gibi ifadeler referans olmadan duyuyorum. Bu terimler ne anlama geliyor ve neden önemlidir? Bazı gerçek eşzamanlılık denkliği örnekleri nelerdir ve bunlara ihtiyaç duyulan nedir? Örneğin, hangi durumlarda daha fazla standart denklikten daha uygundurlar (bisimülasyon, iz denkliği, vb.)?
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.