«terminology» etiketlenmiş sorular

Hesaplanabilirlik teorisinde, hesaplanabilir fonksiyonlara özyinelemeli fonksiyonlar da denir. En azından ilk bakışta, günlük programlamada "özyinelemeli" dediğiniz şeyle ortak hiçbir şeyleri yok (yani, kendilerini tanımlayan işlevler). Hesaplanabilirlik bağlamında özyinelemenin asıl anlamı nedir? Neden bu işlevler “özyinelemeli” olarak adlandırılıyor? Başka bir deyişle, “özyinelemenin” iki anlamı arasındaki bağlantı nedir?

23 computability  terminology  history 

Şu anda lambda hesabı üzerinde okuduğum senaryoda beta eşdeğerliği şu şekilde tanımlanıyor: ββ\beta -denklik ≡β≡β\equiv_\beta içeren en küçük denklik olduğunu →β→β\rightarrow_\beta . Bunun ne anlama geldiği hakkında hiçbir fikrim yok. Birisi daha basit bir şekilde açıklayabilir mi? Belki bir örnekle? Kilise-Russer teoreminden sonra bir lemmaya ihtiyacım var, ≡β≡β\equiv_\beta↠ β↠β↠β\twoheadrightarrow_\beta↠β↠β\twoheadrightarrow_\beta

21 logic  terminology  lambda-calculus  type-theory 

18 yaşındakilere bilgisayar öğretiyorum. Onlara ters cila gösterimi açıklandıktan sonra, kamu sınavında olmanın neden önemli olduğu sorulmuştur. 70'li yılların hesap makinelerinin tarihsel önemini açıkladım, ancak bu gerçekten sorunu çözemedi. RPN'in eşzamanlı pratik veya teorik uygulamaları da var.

21 terminology  education 

Hesaplamanın bir anlamda belirsiz olduğunu biliyorum (bilgisayarların yaptığı şeydir), ancak daha titiz bir tanım istiyorum. Dictionary.com'nin hesaplama, hesaplama, hesaplama ve hesaplama tanımları daireseldir, bu yüzden yardımcı olmaz. Wikipediahesaplamayı "iyi tanımlanmış bir modeli izleyen herhangi bir hesaplama türü" olarak tanımlar. Hesaplamayı "bir veya daha fazla girdiyi değişken değişiklikle bir veya daha …

20 terminology  computability 

Bir araştırma yazısı yazıyorum ve temel olarak bir mikrodenetleyicinin diğer bir mikroişlemciden daha yavaş olduğunu söylemeliyim. Ancak, sadece 'daha yavaş' demenin bir araştırma makalesinde uygun olmayacağından endişeleniyorum. Haklı mıyım? Bir işlemcinin 'daha yavaş' olduğunu söylemek doğru mudur yoksa başka bir şey söylemem gerekir mi? Başka ne söyleyebilirim? Geldiğim en iyi …

19 terminology  computer-architecture 

"Makine öğrenimi" terimini kimin kazandığını anlamaya çalışıyorum. Yardımcı bir soru, Arthur Samuel'in 1959'da “makine öğrenimi” alanını şu şekilde tanımladığı yönündedir: bilgisayarlara açıkça programlanmadan öğrenme imkanı veren çalışma alanı ? İnternette bu tanıma çok, çok sayıda referans bulabilirsiniz, ancak kaynağı takip edemedim. Bazıları bunu damada 1959 tarihli bir kağıt olarak veriyor …

19 terminology  reference-request  machine-learning  history 

Aşağıdaki alıntıyla karşılaştığımda Dinamik Programlama üzerine okuyordum Dinamik bir programlama algoritması sorunu çözmek için olası tüm yolları inceleyecek ve en iyi çözümü seçecektir. Bu nedenle, dinamik programlamayı kabaca , en iyisini seçmek için mümkün olan tüm çözümleri gözden geçirmemizi sağlayan akıllı, kaba kuvvet yöntemi olarak düşünebiliriz . Sorunun kapsamı, mümkün …

19 algorithms  terminology  optimization  dynamic-programming 

Stackexchange'te soru ve cevaplarda sabit noktaya referanslarla karşılaşmaya devam ediyorum ve web'deki anlamı Wikipedia gibi sitelerde referans buluyorum. Ancak referansların hiçbiri, sabit bir noktanın ne olduğu ve bilgisayar bilimi dünyasında bunun ne anlama geldiğine dair sorumu gerçekten cevaplamıyor.

19 terminology 

Bir şekilde istisnaları olan bir düzine programlama diline aşinayım, ancak iki "patolojik" eğilime tanık oldum. Ortak bir kalıp veya istisnalar hiyerarşisi yok gibi görünüyor. Her dil temel olarak kendi sürümünü kullanır ve istisnalar standarda dönüştürürse, standartta bulunan istisna türleri oldukça keyfi olacaktır (çoğunlukla kaynak kodunu okumak gibi dil araçları oluştururken …

18 terminology  programming-languages  api-design 

Giderek daha fazla dil araştırma makalesi okumaya başladım. Genel olarak programlama hakkında daha fazla bilgi edinmek için çok ilginç ve iyi bir yol buluyorum. Ancak, genellikle hep (örnek parçanın üç için almak ile mücadele bir bölüm bulunmaktadır geliyor bu Tipi Kuralları: Ben bilgisayar bilimi teorik arka plan eksikliği beri). Bu …

18 logic  reference-request  terminology  type-theory 

Benim içinde Algoritmalar ve Veri Yapıları Tabii, profesörler, slaytlar ve kitap ( Algoritmalar, 3 baskısına giriş ) kelimesini kullanıyoruz NILörneğin mevcut değil (ağaçta) bir düğümün bir çocuk göstermek için. Bir keresinde, bir ders sırasında, söylemek yerine, NILsınıf arkadaşım dedi nullve profesör onu düzeltti ve profesörlerin bu kelimeyi neden vurguladığını anlamıyorum. …

17 algorithms  terminology  data-structures  notation 

Sanırım "zor" gerçek zamanlı bir işletim sisteminin ne olduğunu biliyorum. Uygulama programcısı ile sözleşme sağlayan bir programlayıcıya sahip bir işletim sistemidir. Bir uygulama, her kaynak ayırma isteği için bir son tarih sağlar. Eğer son başvuru isteklerdir uygulanabilir , zamanlayıcı her kaynak tarihinden önce istekte bulunan uygulamaya tahsis edileceğini garanti eder. …

17 terminology  operating-systems  process-scheduling  real-time 

Bilgisayar görme ve görüntü işleme arasındaki farklar nelerdir? Örneğin, nesne tanımada bilgisayar görme ve görüntü işlemenin rolleri nelerdir?

17 terminology  computer-vision  image-processing  education 

Dijital ardışık devre tasarımlarında FSM kullandım. Ama Sonlu Otomata'yı bilmiyorum. Birisi ikisi arasındaki 'temel' farkı anlamama yardımcı olabilir mi?

16 terminology  automata  finite-automata 

Gerçekten bu özellik ile mücadele ediyorum: Let olmak tutarlılık alanlarda ve olduğu bir monoton fonksiyonu. , tüm için yalnızca iseX,YX,YX,Yf:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y)ffff(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x)D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X) , öyle ki yönlendirilmiş bir kümesidir.DDD Yönlendirilmiş küme şu şekilde tanımlanır: POSETD⊆D⊆D \subseteq yönlendirilmiş bir dizi IFF olan ∃ z ∈ …

16 terminology  programming-languages  semantics