Teori Komputasi
Teori Komputasi pada dasarnya adalah salah satu cabang teori dari bidang ilmu komputer (Computer Science) dan juga bidang matematika yang seringkali berkaitan dengan bagaimana suatu masalah dapat dipecahkan secara efisien dengan menggunakan algoritma. Komputer pada dunia nyata melakukan perhitungan yang pada dasarnya berjalan seperti model matematika untuk memecahkan masalah dengan cara yang sistematis. Inti dari teori komputasi adalah untuk membantu mengembangkan model matematika dan logika yang berjalan secara efisien.
Teori Komputasi dapat dianggap sebagai model penciptaan dari seluruh cabang dalam bidang ilmu komputer (computer science). Maka dari itu, logika dan matematika akan selalu digunakan dalam teori komputasi. Pada abad ini, teori komputasi menjadi disiplin akademik mandiri dan telah terpisah dari matematika. Beberapa pencetus dalam bidang teori komputasi adalah Alonzo Church, Kurt Godel, Alan Turing, Stephen Kleene, John von Neumann dan Claude Shannon.
Teori Komputasi ini dimulai oleh matematikawan dan ahli logika pada tahun 1930-an, pada saat itu mereka masih mencoba untuk memahami arti dari apa itu "komputasi" dan bagaimana cara melakukannya. Penelitian yang dimulai pada masa itu pada akhirnya membawa kita ke dunia komputer seperti yang kita kenal sekarang. Saat ini, Teori Komputasi dapat dibagi menjadi tiga bidang, yaitu Teori Otomata (Automata Theory), Teori Komputabilitas (Computability Theory) dan Teori Kompleksitas (Computational Complexity Theory)
Implementasi Pada Bidang Geografi
Komputasi pada bidang Geografis muncul pada 1980-an sebagai tanggapan atas keterbatasan perangkat lunak Geographic Information System (GIS) awal yang menghambat analisis mendalam dari data geografis yang sangat banyak dan saling berbeda. Saat ini, Komputasi di bidang Geografis terus mengintegrasikan berbagai domain untuk memfasilitasi analisis spasial yang memerlukan sumber daya komputasi atau paradigma ontologis di luar yang tersedia dalam paket perangkat lunak GIS tradisional.
Komputasi pada bidang Geografis juga sangat penting untuk memahami dan memprediksi bentuk permukaan bumi dan untuk mengevaluasi skenario perubahan iklim atau pengelolaan lingkungan. Komputasi pada bidang Geografis akan mengembangkan metode dan perangkat lunak untuk pemodelan Spatiotemporal, termasuk simulasi besar pada cluster komputer. Komputasi ini juga akan digunakan untuk membangun model-model di berbagai cabang lainnya, misalnya hidrologi, degradasi lahan dan epidemiologi lingkungan.
Referensi :
- https://www.uu.nl/en/research/department-of-physical-geography/research/computational-geography-and-earth-observation
- https://web2.qatar.cmu.edu/~dabousen/theory%20of%20computation.htm
- https://gistbok.ucgis.org/bok-topics/computational-geography
- https://www.engati.com/glossary/theory-of-computation
- https://helmifadhiel.wordpress.com/2018/03/11/pengertian-teori-komputasi-dan-pengimplementasiannya/
