Daftar Isi
8 hubungan: Alan Turing, Bahasa Yunani, Cambridge University Press, Cryptonomicon, Eksperimen pikiran, Ilmu komputer, Komputer, Neal Stephenson.
- Ilmu komputer teoretis
- Metode formal
- Model komputasi
Alan Turing
Alan Mathison Turing di Maide Vale, London, Inggris, ia adalah seorang peneliti matematika dan komputer, dan pahlawan perang Inggris.
Lihat Mesin Turing dan Alan Turing
Bahasa Yunani
Bahasa Yunani (bahasa Yunani Modern: Ελληνικά Elliniká; Hellēnikḗ) adalah suatu bahasa Indo-Eropa yang dituturkan di Yunani, Siprus, Albania bagian selatan, dan sebagian daerah-daerah di pesisir Laut Hitam, Anatolia, dan Semenanjung Italia bagian selatan.
Lihat Mesin Turing dan Bahasa Yunani
Cambridge University Press
Cambridge University Press (CUP) adalah perusahaan penerbit milik Universitas Cambridge.
Lihat Mesin Turing dan Cambridge University Press
Cryptonomicon
Cryptonomicon adalah sebuah novel tahun 1999 karya pengarang Amerika Neal Stephenson, yang berlatar belakang dua masa yang berbeda.
Lihat Mesin Turing dan Cryptonomicon
Eksperimen pikiran
Contoh percobaan pikiran yang terkenal, yaitu kucing Schrödinger (1935), yang terkait dengan kemungkinan seekor kucing ditemukan hidup atau mati, yang bergantung pada peristiwa kuantum yang acak. Percobaan pikiran ini mencoba menggambarkan permasalahan dalam penerapan interpretasi Kopenhagen dalam kehidupan sehari-hari.
Lihat Mesin Turing dan Eksperimen pikiran
Ilmu komputer
Ilmu komputer (Computer Science), Secara umum diartikan sebagai ilmu yang mempelajari baik tentang komputasi, perangkat keras (hardware) maupun perangkat lunak (software).
Lihat Mesin Turing dan Ilmu komputer
Komputer
Komputer (computer) adalah perangkat elektronik yang menerima, menyimpan dan memproses data menjadi informasi secara matematis atau logis sesuai dengan serangkaian instruksi yang diprogram.
Lihat Mesin Turing dan Komputer
Neal Stephenson
Neal Town Stephenson adalah seorang penulis asal Amerika yang dikenal dengan karya-karya bergenre fiksi spekulatif.
Lihat Mesin Turing dan Neal Stephenson
Lihat juga
Ilmu komputer teoretis
- Algoritma
- Bahasa formal
- Idempoten
- Ilmu komputer teoretis
- Kalkulus pi
- Komputasi kuantum
- Mesin Turing
- Metode formal
- Pemelajaran mesin kuantum
Metode formal
- Mesin Turing
- Metode formal
- RUP
- Teori himpunan