Teori Komputasi
TEORI KOMPUTASI
Teori komputasi adalah cabang ilmu komputer dan matematika yang
membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model
komputasi, menggunakan algoritme. Bidang ilmu ini terutama membahas hal terkait
komputabilitas dan kompleksitas, dalam kaitannya dengan formalisme komputasi.
Untuk melakukan studi komputasi dengan ketat, ilmuwan
komputer bekerja dengan abstraksi matematika dari komputer yang dinamakan model
komputasi. Ada beberapa model yang digunakan, namun yang paling umum dipelajari
adalah mesin Turing. Sebuah mesin Turing dapat dipikirkan sebagai komputer
pribadi meja dengan kapasitas memori yang tak terhingga, namun hanya dapat
diakses dalam bagian-bagian terpisah dan diskret. Ilmuwan komputer mempelajari
mesin Turing karena mudah dirumuskan, dianalisis dan digunakan untuk
pembuktian, dan karena mesin ini mewakili model komputasi yang dianggap sebagai
model paling masuk akal yang paling ampuh yang dimungkinkan. Kapasitas memori
tidak terbatas mungkin terlihat sebagai sifat yang tidak mungkin terwujudkan,
namun setiap permasalahan yang “terputuskan” (decidable) yang dipecahkan oleh
mesin Turing selalu hanya akan memerlukan jumlah memori terhingga. Jadi pada
dasarnya setiap masalah yang dapat dipecahkan (diputuskan) oleh meisn Turing
dapat dipecahkan oleh komputer yang memiliki jumlah memori terbatas.
Teori komputasi
dibagi lagi menjadi 3 ranting:
1.
Teori
otomata (automata theory)
2.
Teori
komputabilitas (computability theory) adalah bertugas sebagai pemeriksa
batasan-batasan pada model-model teoritis yang digunakan oleh komputer.
3.
Teori
kompleksitas (computational complexity theory) adalah sebuah ilmu dimana
mengkaji sebuah sistem yang dinamik secara keseluruhan.
Beberapa model komputasi:
Mobile Computing atau Komputasi Bergerak
Mobile computing (komputasi bergerak) adalah sebuah
kemajuan teknologi komputer yang dapat berkomunikasi menggunakan jaringan tanpa
menggunakan kabel serta mudah dibawa atau berpindah tempat, tetapi berbeda
dengan komputasi nirkabel.
Grid Computing
Komputasi grid disini adalah memanfaatkan suatu
kekuatan pengolahan idle berbagai unit komputer, dan menggunakan kekuatan
proses untuk menghitung satu pekerjaan.
Cloud Computing atau Komputasi Awan
Cloud computing adalah perluasan dari konsep
pemrograman berorientasi objek abstraksi.
Comments
Post a Comment