Pertanyaan yang diberi tag «history»

Ada banyak upaya untuk membuktikan atau , dan secara alami banyak orang berpikir tentang pertanyaan itu, memiliki ide untuk membuktikan arah mana pun.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Saya tahu bahwa ada pendekatan yang terbukti tidak berhasil, dan mungkin ada lebih …

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

Saya telah membaca tentang kalkulus Lambda baru-baru ini tetapi anehnya saya tidak dapat menemukan penjelasan mengapa ini disebut "Lambda" atau dari mana ungkapan itu berasal. Adakah yang bisa menjelaskan asal usul istilah ini?

75 terminology  computation-models  lambda-calculus  history 

Saat membahas beberapa topik tingkat intro hari ini, termasuk penggunaan algoritma genetika; Saya diberitahu bahwa penelitian sangat lambat di bidang ini. Alasan yang diberikan adalah bahwa kebanyakan orang berfokus pada pembelajaran mesin dan data mining. Pembaruan: Apakah ini akurat? Dan jika demikian, apa kelebihan ML / DM jika dibandingkan dengan …

45 machine-learning  data-mining  evolutionary-computing  history 

Saya mengejar gelar BS dalam Ilmu Komputer, tetapi saya berada di titik awal, dan saya cukup yakin saya akan senang dengan pilihan saya mengingat bahwa itu sepertinya pendidikan yang fleksibel secara akademis dan karir untuk mengejar. Karena itu, tampaknya ada berbagai definisi tentang apa sebenarnya Ilmu Komputer dalam hal akademia, …

39 terminology  history 

Saya baru saja menyelesaikan bab pertama dari Pengantar Teori Komputasi oleh Michael Sipser yang menjelaskan dasar-dasar automata terbatas. Dia mendefinisikan bahasa reguler sebagai apa pun yang dapat dijelaskan oleh automata terbatas. Tetapi saya tidak dapat menemukan di mana dia menjelaskan mengapa bahasa biasa disebut "biasa?" Apa asal usul istilah "reguler" …

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

Pada dasarnya saya mengetahui tiga dasar untuk matematika Tetapkan teori Jenis teori Teori kategori Jadi dalam hal apa bahasa pemrograman dan dasar matematika terkait? EDIT Pertanyaan aslinya adalah "Memprogram bahasa berdasarkan dasar matematika" dengan paragarph ditambahkan Dan implementasi teori 1. Ketikkan teori dalam Coq 2. Set teori dalam SETL 3. …

30 programming-languages  history  type-theory  category-theory 

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 memindahkan r1 r3, memindahkan 5 dll. Dan itu agak sulit …

27 programming-languages  education  history 

Dalam teori komputabilitas, fungsi yang dapat dihitung juga disebut fungsi rekursif. Setidaknya pada pandangan pertama, mereka tidak memiliki kesamaan apa pun dengan apa yang Anda sebut "rekursif" dalam pemrograman sehari-hari (yaitu, fungsi yang menyebut dirinya sendiri). Apa arti sebenarnya dari rekursif dalam konteks kemampuan komputasi? Mengapa fungsi-fungsi itu disebut "rekursif"? …

23 computability  terminology  history 

Kapan O besar digunakan pertama kali dalam ilmu komputer dan kapan itu menjadi standar? Halaman Wikipedia tentang ini mengutip Knuth, Big Omicron dan Big Omega Dan Big Theta , SIGACT April-Juni 1976, tetapi awal tulisan itu berbunyi Sebagian besar dari kita telah terbiasa dengan gagasan menggunakan notasi untuk berdiri untuk …

22 asymptotics  history 

Saya mencoba mencari tahu siapa yang menciptakan istilah "pembelajaran mesin". Sebuah pertanyaan tambahan adalah dari mana Arthur Samuel dikutip mendefinisikan bidang "pembelajaran mesin" pada tahun 1959 sebagai: bidang studi yang memberikan komputer kemampuan untuk belajar tanpa diprogram secara eksplisit ? Anda dapat menemukan banyak, banyak referensi untuk definisi ini di …

19 terminology  reference-request  machine-learning  history 

Saya punya sedikit pertanyaan sejarah, yaitu, seperti judulnya, saya mencari kegunaan awal pohon (sebagai struktur data, pohon pencarian, apa pun) dalam ilmu komputer.

18 data-structures  reference-request  trees  history 

Dikatakan bahwa 'Eugene Goostman', sebuah program komputer yang dikembangkan untuk mensimulasikan seorang bocah lelaki berusia 13 tahun, berhasil meyakinkan 33 persen hakim bahwa itu adalah manusia, dan dengan demikian lulus dari Tes Turing. Program komputer, alias obrolan, berpura-pura menjadi bocah lelaki Ukrania berusia 13 tahun yang bahasa Inggrisnya adalah bahasa …

18 reference-request  artificial-intelligence  history  turing-test 

Ini pertanyaan lembut. Saya tidak tahu banyak tentang kriptografi atau sejarahnya, tetapi sepertinya RSA biasa digunakan untuk melakukan pertukaran kunci dengan mengenkripsi kunci simetris untuk mengirim pesan yang lebih panjang (misalnya, deskripsi iMessage di sini ). Bukankah ini hal yang tepat untuk pertukaran kunci Diffie-Hellman, yang lebih tua (dan bagi …

16 cryptography  history 

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 lapangan, ditransliterasikan dengan bantuan Guibas ke dalam dialek Yunani palsu. Apakah …

15 distributed-systems  history 

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 lainnya kembali ke jaman dahulu. Orang-orang telah …

15 computability  turing-machines  history