«history» etiketlenmiş sorular

Ya kanıtlama girişimleri çok var veya ve doğal olarak birçok kişi ya yönünü kanıtlayan için fikir sahibi olmak, soru düşünün.P ≠ N PP=NPP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} İşe yaramadığı kanıtlanmış yaklaşımlar olduğunu ve başarısızlık geçmişi olan muhtemelen daha fazlası olduğunu biliyorum. Ayrıca birçok kanıt araştırmasının üstesinden gelemediği engeller de …

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

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 

Genetik algoritmaların kullanımı da dahil olmak üzere günümüzde bazı giriş seviyesi konularını tartışırken; Bu alanda araştırmaların gerçekten yavaşladığı söylendi. Bunun nedeni çoğu insanın makine öğrenmeye ve veri madenciliğine odaklanmış olmasıdır. Güncelleme: Bu doğru mu? Ve eğer öyleyse, ML / DM'nin GA ile karşılaştırıldığında ne gibi avantajları vardır?

45 machine-learning  data-mining  evolutionary-computing  history 

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 

Sadece ilk bölüm tamamlayan Hesaplama Teorisine Giriş tarafından Michael Sipser sonlu otomata temellerini açıklar. Düzenli bir dili sonlu bir otomat tarafından tanımlanabilecek herhangi bir şey olarak tanımlar. Ama neden normal bir dilin "düzenli" olarak adlandırıldığını açıkladığını nerede bulamadım? Bu bağlamda "normal" teriminin kökeni nedir? NOT: Acemiyim, lütfen basit bir şekilde …

31 formal-languages  regular-languages  terminology  finite-automata  history 

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 

Programı çoğunlukla yüksek dilde yazıyoruz. Bu yüzden okurken derleme diliyle karşılaştım. Böylece assembler assembly dilini makine diline dönüştürür ve derleyici de aynı dili yüksek dilde yapar. Assembly diline taşınması r1 r3, 5 taşı vb. Gibi komutlar buldum. Ve çalışmak oldukça zor. Öyleyse neden derleme dili oluşturuldu veya ilk dilden önce …

27 programming-languages  education  history 

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 

Büyük O bilgisayar bilimlerinde ilk ne zaman kullanıldı ve ne zaman standart oldu? Bu konuda Vikipedi sayfası Knuth, değinir Büyük Omicron ve Büyük Omega Ve Big Teta , 1976 SIGACT Nisan-Haziran, ama bu kağıt başlangıcı okur Birçoğumuz, notasyonu , büyük sabit süreleriyle sabit bir fonksiyon için geçerli kılmak için kullanmaya …

22 asymptotics  history 

"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 

Küçük bir tarih sorum var, yani, başlığın dediği gibi, bilgisayar bilimlerinde ağaçların (veri yapısı, arama ağacı, ne olursa olsun) erken kullanımlarını arıyorum .

18 data-structures  reference-request  trees  history 

13 yaşındaki bir çocuğu simüle etmek için geliştirilen bir bilgisayar programı olan 'Eugene Goostman'ın yargıçların yüzde 33'ünü insan olduğuna ikna etmeyi başardığı ve böylece Turing Testini geçtiği söyleniyor. Bir chatbot olarak adlandırılan bilgisayar programı, İngilizce'nin ikinci dil olduğu 13 yaşında bir Ukraynalı çocuk gibi davranıyordu - gerçekten çok farklı bir …

18 reference-request  artificial-intelligence  history  turing-test 

Bu yumuşak bir soru. Şifreleme veya geçmişi hakkında çok fazla şey bilmiyorum, ancak RSA için yaygın bir kullanım, daha uzun bir mesaj göndermek için simetrik bir anahtarı şifreleyerek anahtar değişimi yapmak gibi görünüyor (örneğin, burada iMessage açıklaması ). Diffie-Hellman anahtar değişiminin daha eski (ve benim için daha basit görünen) olduğu …

16 cryptography  history 

Yarı zamanlı parlamento sistemlerinde Yarı Zamanlı Parlamento (Paxos protokolü), Leslie Lamport, Paxon parlamento protokolünde yer alan kurgusal yasa koyucuları adlandırıyor. Bu yazıya göre şunları kaydediyor: Yunan yasa koyucularına bu alanda çalışan bilgisayar bilimcilerinin isimlerini, Guibas'ın yardımıyla sahte bir Yunan lehçesine dönüştürdüm. Herkesin yasa koyuculara isimlendirildiği bilim adamları hakkında herhangi bir …

15 distributed-systems  history 

Bu mesajı yazmak için dijital bir bilgisayar kullanıyorum. Böyle bir makine, düşünürseniz, aslında oldukça dikkat çekici bir özelliğe sahiptir: Uygun şekilde programlandığında, olası herhangi bir hesaplamayı gerçekleştirebilen bir makinedir . Tabii ki, bir ya da başka türdeki hesap makineleri antik çağa geri döner. İnsanlar toplama ve çıkarma (örneğin bir abaküs), …

15 computability  turing-machines  history