«ho.history-overview» etiketlenmiş sorular

Konuların arkasındaki tarih: isimlerinin nereden geldiğini, onları kim keşfettiğini, ilk kanıtlandıklarında, yıllar boyunca nasıl geliştiklerini.

1
Milner'ın ikilemlerinin tarihsel kökleri nelerdir?
Robin Milner, bigrafları grafik benzeri yapıya sahip ancak düğümlerin yuvalanabileceği bir tür grafik yapı olarak tanımladı . Onlar CCS ve benzeri süreç taşı genelleme -calculus ama Milner onları çok daha genel olarak kullanılacak yönelik gibi görünüyor: Seminer notları kısaca onun ölümü detay son gelişmeler öncesinde.ππ\pi İleriye bakmak yerine, Milner'ın 2009 …
4
“Verimli” ve “uygulanabilir” hesaplama / algoritma terimlerinin kökeni
Bu iki terimin tarihini bilmek istiyorum: " verimli ", " uygulanabilir ". Onları ilk kez hesaplama / algoritmalarla ilgili olarak kim kullandı? (bu terimlerin modern anlamda, yani 20. yüzyıl). Nasıl ana akım oldular? Bu iki terim eş anlamlı olarak nasıl kullanılmaya başlandı? Cobham'ın tezinin ifadesinde polinom zaman hesaplaması ile ilişkili …
1
Rabin'in “bir işlevi hesaplamanın zorluk derecesi ve özyinelemeli kümelerin kısmi sıralaması”
Bakıyorum: Michael O. Rabin, "Bir işlevi hesaplamanın zorluk derecesi ve özyinelemeli kümelerin kısmi sıralaması", Hebrew Üniversitesi, Kudüs, 1960 Özet: “Belirli bir hesaplanabilir (özyinelemeli) işlevi hesaplama görevinin doğasında bulunan iş miktarını ölçmeye çalışıyoruz. Hesaplamanın zorluk derecesi kavramı tanıtılır ve incelenir. Bu kavram, söz konusu fonksiyonları hesaplamak için kullanılan ideal bilgisayarlardan (Turing …
1
Martin-Löf'in sezgisel tip teorisi yaratmasına neden ihtiyaç duyuldu?
Sezgisel Tip Teorisi (ITT) hakkında okuyordum ve bu mantıklı. Ama anlamak için uğraştığım şey, ilk etapta "neden" yaratıldığı? Sezgisel Mantık (IL) ve Basitçe yazılmış - hesabı (STLC) ve genel olarak tip teorisi, Martin-Löf'ün kendisinin varlığından önce gelir! Görünüşe göre ITT'de yapılabilen her şeyi STLC'de yapabilirim (yanlış olabilirim, ama en azından …
2
Bir FSM'nin durumu neden geleneksel olarak ifade edilir ?
Eşzamanlı mantıksal devreler kullanarak FSM'lerin nasıl uygulanacağını öğretirken, ilginç bir tesadüf fark ettim: hem teorik CS dünyasında hem de elektrik mühendisliği dünyasında, "durum" tipik olarak (ve durum ) olarak gösterilir . Önce EE.sx'e sordum , ama sonra bu konuyu biraz araştırırken, Turing'in orijinal 1936 belgesinde bile Turing makinesinin durumlarını belirtmek …
2
Lambda hesabı, sezgisel hesaplanabilirlik kavramını tam olarak nasıl yakalar?
Başımı hesabının ne, neden ve nasıl sarmaya çalışıyordum ama "neden çalışıyor?"λλ\lambda "Sezgisel" Turing Machines (TM) hesaplanabilirlik modelini alıyorum. Ama bu soyutlama beni şaşırttı.λλ\lambda Diyelim ki TM'ler yok - o zaman hesabının bu hesaplanabilirlik kavramını yakalama yeteneği hakkında nasıl "sezgisel olarak" ikna edilebilir ? Her şey için bir grup fonksiyona sahip …
2
Dyck diller için referans olarak
Dyck dilleri aşağıdaki dilbilgisi S tarafından tanımlanır → S SDyck(k)Dyck(k)\mathsf{Dyck}(k){ ( 1 , … , ( k , ) 1 , … , ) k } simgeler kümesi üzerinden. Sezgisel olarak Dyck dilleri k türünündengeli parantezlerinin dilidir. Örneğin, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S )_1 \,|\, \ldots \,|\, (_k …
1
Entscheidungsproblem vs. Unvollständigkeitssatz (yumuşak soru)
İlk terim Hilbert tarafından 1928 çalışmasında kullanılır, ancak Gödel'in daha sonraki çalışmasında aynı şey Unvollständigkeitssatz ("eksiklik teoremi") olarak adlandırılır. Bugünün Alman CS araştırmacıları için, Unvollständigkeitssatz daha yaygın olarak kullanılıyor ve Entscheidungsproblem ("karar sorunu") hala anlaşılıyor, ancak mutlaka das Halteproblem ile ilişkili değil (Turing'in otomata üzerindeki çalışmasından sonra daha yaygın gibi …
2
Bilgi İşlem Müzesi Sergileri
Bilgisayarla ilgili tüm müzeler ve sergiler farkındayım sadece bilgisayar makinelerinin tarihini kapsıyor, ancak bilgisayar bilimi konularında hiçbir şey yok. Çok çeşitli bilgi işlem / bilgisayar bilimi / iletişim / matematik konularında genel halka eğitim vermek, eğlendirmek ve ilham vermek için kiralanan yeni bir Bilgi İşlem Müzesi oluşturma sürecindesiniz. Tarih ve …
2
Babbage ve von Neumann Arasındaki İlişki
Charles Babbage'nin analitik makinesinin modern Von Neumann mimarisini güçlü bir şekilde yeniden birleştiren bir mimariye sahip olduğu iyi bilinmektedir. Ayrıca, Babbage'ın analitik makinesi ( http://www.fourmilab.ch/babbage/figures/menat3.png ) ve von Neumann'ın çalışması için bir programı temsil eden tabloların ( http://library.ias.edu gibi) dikkat çekicidir. /files/pdfs/ecp/planningcodingof0103inst.pdf ) oldukça benzerdir. Şimdi von Neumann'ın Babbage tarafından …
1
Stephen Cook, gerçekte kanıtlamadan önce SAT'ın NP-Hard olduğunu göstermenin önemini gördü mü?
Doğru , probleminin NP zor olduğunu kanıtlamak için , NP'de bulunan tüm olası sorunları ve daha sonra , her birinin örneklerini eşleyen bir polinom zaman hesaplamalı fonksiyon kullanarak kanıtlamanız gerekir. yi örneklerine .AAABiBiB_{i}AAABiBiB_{i}AAA İlk NP zor problemini bulduktan sonra, indirimleri kullanarak diğer birçok sorunun NP Complete veya NP Hard olduğunu …
2
Ayrık optimizasyon için erken referanslar
(Bu yanlış yerleştirilmiş veya çok genişse özür dilerim. Nasıl yeniden formüle edileceğine dair önerilere açığım.) Maksimum akış algoritmalarının ve genel olarak ayrık optimizasyon algoritmalarının "eski" geçmişini izlemekle ilgileniyorum. Ford-Fulkerson bir başlangıç ​​noktasındaki saman adamım. Bundan önceki önemli gelişmeler nelerdi? Birinin maksimum akış üzerinde çalıştığına dair makul bir argüman ortaya koyarken …
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.