Pertanyaan yang diberi tag «ho.history-overview»

Sejarah di balik topik: dari mana nama mereka berasal, siapa yang menemukannya, ketika mereka pertama kali terbukti, bagaimana mereka berevolusi selama bertahun-tahun.

1
Apa akar sejarah bigraph Milner?
Robin Milner mendefinisikan bigraphs sebagai jenis struktur grafis dengan struktur seperti grafik tetapi di mana node dapat bersarang. Mereka menggeneralisasi proses kalkulus seperti CCS dan ` kalkulus, tetapi Milner tampaknya bermaksud agar mereka digunakan secara lebih umum: seminar mencatat beberapa saat sebelum kematiannya merinci perkembangan terakhir.ππ\pi Melihat ke belakang alih-alih …
1
"Tingkat kesulitan Rabin dalam menghitung suatu fungsi, dan urutan parsial set rekursif"
Saya mencari: Michael O. Rabin, "Tingkat kesulitan menghitung fungsi, dan urutan parsial set rekursif", Universitas Ibrani, Yerusalem, 1960 Ringkasan: “Kami berupaya mengukur jumlah pekerjaan yang melekat dalam tugas menghitung fungsi komputasi (rekursif) yang diberikan. Konsep tingkat kesulitan komputasi diperkenalkan dan dipelajari. Gagasan ini invarian dalam arti bahwa itu tidak tergantung …
1
Mengapa Martin-Löf perlu menciptakan teori tipe intuitionistic?
Saya telah membaca tentang Teori Jenis Intuitionistic (ITT) dan itu masuk akal. Tetapi apa yang saya perjuangkan untuk mengerti adalah "mengapa" pertama-tama diciptakan? Intuitionistic Logic (IL) dan Simply-typed -calculus (STLC) dan teori tipe pada umumnya mendahului keberadaan Martin-Löf sendiri! Tampaknya seseorang dapat melakukan segala sesuatu di STLC yang bisa dilakukan …
2
Mengapa keadaan FSM secara tradisional dilambangkan
Sambil mengajar bagaimana menerapkan FSM menggunakan sirkuit logis sinkron, saya melihat sebuah kebetulan yang menarik: baik di dunia CS teoritis, dan di dunia teknik listrik, "negara" biasanya dilambangkan (dan ruang negara Q ). Saya pertama kali bertanya pada EE.sx , tetapi kemudian ketika meneliti sedikit topik ini, saya menemukan bahwa …
2
Bagaimana tepatnya kalkulus lambda menangkap gagasan intuitif tentang komputabilitas?
Saya sudah mencoba untuk membungkus kepala saya di sekitar apa, mengapa dan bagaimana -kalkulus tapi saya tidak bisa memahami "mengapa itu bekerja"?λλ\lambda "Secara Intuitif" Saya mendapatkan model komputer Turing Machines (TM). Tapi -straksi ini membuat saya bingung.λλ\lambda Mari kita asumsikan, TM tidak ada - lalu bagaimana seseorang bisa "secara intuitif" …
1
Entscheidungsproblem vs. Unvollständigkeitssatz (pertanyaan lunak)
Istilah pertama digunakan oleh Hilbert dalam karyanya tahun 1928, tetapi dalam karya Gödel kemudian, hal yang sama disebut sebagai Unvollständigkeitssatz ("teorema ketidaklengkapan"). Untuk peneliti CS Jerman saat ini, tampaknya Unvollständigkeitssatz lebih umum digunakan, dan Entscheidungsproblem ("masalah keputusan") masih dipahami, tetapi belum tentu dikaitkan dengan das Halteproblem (yang tampaknya lebih umum …
2
Pameran untuk Museum Komputer
Semua museum dan pameran yang terkait dengan komputer yang saya sadari tampaknya hanya mencakup sejarah mesin komputasi, tetapi tidak membahas topik-topik ilmu komputer. Anda terlibat dalam pembuatan Museum Komputasi baru, disewa untuk mendidik, menghibur, dan menginspirasi masyarakat umum dalam beragam topik komputasi / ilmu komputer / komunikasi / matematika. Meskipun …
2
Hubungan antara Babbage dan von Neumann
Sudah diketahui secara umum bahwa mesin analitik Charles Babbage memiliki arsitektur yang kuat, yang menyerupai arsitektur Von Neumann modern. Juga, perlu dicatat bahwa tabel untuk mewakili program untuk mesin analitik Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) dan karya von Neumann (seperti http://library.ias.edu /files/pdfs/ecp/planningcodingof0103inst.pdf ) cukup analog. Sekarang saya bertanya-tanya apakah ada indikasi …
1
Apakah Stephen Cook melihat pentingnya menunjukkan bahwa SAT adalah NP-Hard sebelum benar-benar membuktikannya?
Jika saya mengerti dengan benar, untuk membuktikan bahwa masalah adalah NP sulit, Anda harus memilih semua masalah yang mungkin yang ada di NP dan kemudian membuktikan bahwa mereka mengecil menjadi dengan menggunakan fungsi yang dapat dihitung waktu polinomial, yang memetakan setiap contoh untuk contoh .B i A B i ASEBUAHAABsayaBiB_{i}SEBUAHAABsayaBiB_{i}SEBUAHAA …
2
Referensi awal untuk optimasi diskrit
(Permintaan maaf jika ini salah tempat atau terlalu luas. Saya terbuka untuk saran tentang cara merumuskannya kembali.) Saya tertarik menelusuri sejarah "kuno" algoritma max-flow, dan algoritma optimasi diskrit secara umum. Ford-Fulkerson adalah pemain inti saya dari titik awal. Apa kemajuan yang signifikan sebelum itu? Seberapa jauh ke belakang kita bisa …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.