Pertanyaan yang diberi tag history

Pertanyaan tentang asal-usul dan pengembangan ilmu komputer sebagai disiplin ilmu dan aplikasinya.

27
Mengapa kita perlu bahasa rakitan?

Kami kebanyakan menulis program dalam bahasa tingkat tinggi. Jadi saat belajar saya menemukan bahasa assembly. Jadi assembler mengkonversi bahasa assembly ke bahasa mesin dan compiler melakukan hal yang sama dengan bahasa tingkat tinggi. Saya menemukan bahasa assembly memiliki instruksi seperti...

15
Siapakah legislator Paxos?

Dalam makalah sistem terdistribusi mani Parlemen Paruh Waktu (protokol Paxos), Leslie Lamport menyebutkan legislator fiksi yang terlibat dalam protokol parlemen Paxon. Menurut tulisan ini , ia mencatat bahwa: Saya memberi para legislator Yunani nama-nama ilmuwan komputer yang bekerja di...

15
Mengapa Turing kelengkapannya benar?

Saya menggunakan komputer digital untuk menulis pesan ini. Mesin semacam itu memiliki properti yang, jika Anda pikirkan, sebenarnya sangat luar biasa: Ini adalah mesin yang, jika diprogram dengan tepat, dapat melakukan perhitungan yang memungkinkan . Tentu saja, mesin hitung dari satu jenis atau...

11
Inferring type refinement

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...