Teori komputasi (theory of computation) adalah cabang ilmu komputer teoritis (theoritical computer science). Teori komputasi berkaitan dengan studi bagaimana persoalan (problem) dapat diselesaikan pada sebuah model dengan menggunakan algoritma. Model tersebut dinamakan model komputasi. Teori komputasi dibagi lagi menjadi 3 ranting :
- Teori Otomata (automata theory)
- Teori Komputabilitas (computability theory)
- Teori Kompleksitas (computational complexity theory)
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 komputabilitas bertujuan untuk memeriksa apakah persoalan komputasi dapat dipecahkan pada suatu model komputasi teoritis. Dengan kata lain, teori komputabilitas mengklasifikasikan persoalan sebagai dapat dipecahkan (solvable) atau persoalan yang tidak dapat dipecahkan (unsolvable). Teori kompleksitas bertujuan untuk mengkaji kebutuhan waktu dan ruang untuk memecahkan persoalan yang diselesaikan dengan pendekatan yang berbeda-beda.
Dengan kata lain, teori kompleksitas mengklasifikasikan persoalan sebagai persoalan mudah (easy) atau persoalan sukar (hard). Teori komputabilitas memperkenalkan beberapa konsep yang digunakan di dalam teori kompleksitas. Teori otomata mengacu pada definisi dan sifat-sifat model komputasi. Di dalam teori komputasi, model komputasi yang sering dipakai adalah Mesin Turing.
KOMPUTASI MODERN
Komputasi modern bisa disebut sebuah konsep sistem yang menerima intruksi-intruksi dan menyimpannya dalam sebuah memory, memory disini bisa juga dari memory komputer. Oleh karena pada saat ini kita melakukan komputasi menggunakan komputer maka bisa dibilang komputer merupakan sebuah komputasi modern. Konsep ini pertama kali digagasi oleh John Von Neumann (1903-1957). Dalam kerjanya komputasi modern menghitung dan mencari solusi dari masalah yang ada. Komputasi modern terbagi menjadi tiga macam, yaitu :
- Mobile Computing atau komputasi bergerak adalah kemajuan teknologi komputer sehingga dapat berkomunikasi menggunakan jaringan tanpa kabel dan mudah dibawa dan mudah di pindah – pindahkan. Contoh dari perangkat komputasi bergerak, seperti smartphone, GPS, dll.
- Grid Computing atau komputasi grid menggunakan komputer yang terpisah oleh geografis, didistribusikan dan terhubung oleh jaringan untuk menyelesaikan masalah komputasi skala besar.
- Cloud Computing atau Komputasi cloud merupakan gaya komputasi yang terukur dinamis dan sumber daya virtual yang sering menyediakan layanan melalui internet, Komputasi cloud menggambarkan pelengkap baru, konsumsi, dan layanan IT berbasis model dalam internet dan biasanya melibatkan ketentuan dari keterukuran dinamis dan sumber daya virtual yang sering menyediakan layanan melalui internet.
- Implementasi Komputasi Modern pada Bidang Kimia
- Implementasi Komputasi Modern pada Bidang Matematika.
- Implementasi Komputasi Modern pada Bidang Ekonomi
Pemrograman yang didesain khusus untuk komputasi ekonomi, dan pengembangan alat bantu dalam pendidikan komputasi ekonomi. Karena dibidang ekonomi pasti memiliki permasalahan yang harus dipecahkan oleh algoritma contohnya adalah memecahkan teori statistika untuk memecahkan permasalahan keuangan.
Salah satu contoh komputasi di bidang ekonomi adalah komputasi statistik. Komputasi statistik adalah jurusan yang mempelajari teknik pengolahan data, membuat program, dan analisis data serta teknik penyusunan sistem informasi statistik seperti penyusunan basis data, komunikasi data, sistem jaringan, dan diseminasi data statistik.
#MochamadAfriansyahGahunting
#4ia19
#TeoriKomputasi
#PengantarKomputasiModern
Referensi :
#4ia19
#TeoriKomputasi
#PengantarKomputasiModern
Referensi :
https://ariefimam2.wordpress.com/2015/08/03/implementasi-komputasi-pada-bidang-kimia/
https://deadydiedy.wordpress.com/2015/04/05/komputasi-teori-komputasi/
http://istanateknologi.blogspot.co.id/2015/04/pengertian-komputasi-dan-teori-komputasi.html
Tidak ada komentar:
Posting Komentar