Teori komputasi adalah cabang ilmu komputer
dan matematika yang membahas apakah dan bagaimanakah suatu masalah dapat
dipecahkan pada model komputasi, menggunakan algoritma. Bidang ini dibagi
menjadi dua cabang: teori komputabilitas dan teori kompleksitas, namun kedua
cabang berurusan dengan model formal 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 kapasitasmemori 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.
Komputasi sendiri adalah sebuah proses perhitungan, pemrosesan informasi atau pemecahan masalah dengan menggunakan algoritma. Komputasi merupakan bagian dari ilmu komputer yang mempunyai tugas untuk menganalisa apa saja yang bisa dan tidak bisa dilakukan oleh secara komputasi, dari sini lah muncul Teori Komputasi yang menjadi sub-bidang ilmu komputer dan ilmu matematika.
Secara umum teori komputasi adalah ilmu yang menekankan pada penyusunan model matematika dan penyelesaian numerik serta penggunaan komputer untuk memecahkan persoalan dalam dunia sains. tapi pada perkembangannya sekarang ini teori komputasi juga digunakan untuk menemukan prinsip - prinsip baru dalam berbagai bidang.
Komputasi modern diciptakan dan dikembangkan untuk suatu tujuan, yaitu dapat di implementasikan pada bidangnya masing – masing. Pada saat ini berbagai bidang memerlukan proses komputasi sebagai alat bantu pemrosessan, diantaranya dalam bidang Matematika, Fisika, Kimia, Ekonomi, Geologi dan Geografi.
Implementasi komputasi moderen pada bidang Geografi
Pada bidang geologi teori komputasi biasanya digunakan untuk pertambangan, sebuah sistem komputer digunakan untuk menganalisa bahan-bahan mineral dan barang tambang yang terdapat di dalam tanah.
Nama: Bimo Satriyo Dwiputro Prabowo
NPM: 51411495
Kelas : 4IA05
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 kapasitasmemori 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.
Komputasi sendiri adalah sebuah proses perhitungan, pemrosesan informasi atau pemecahan masalah dengan menggunakan algoritma. Komputasi merupakan bagian dari ilmu komputer yang mempunyai tugas untuk menganalisa apa saja yang bisa dan tidak bisa dilakukan oleh secara komputasi, dari sini lah muncul Teori Komputasi yang menjadi sub-bidang ilmu komputer dan ilmu matematika.
Secara umum teori komputasi adalah ilmu yang menekankan pada penyusunan model matematika dan penyelesaian numerik serta penggunaan komputer untuk memecahkan persoalan dalam dunia sains. tapi pada perkembangannya sekarang ini teori komputasi juga digunakan untuk menemukan prinsip - prinsip baru dalam berbagai bidang.
Komputasi modern diciptakan dan dikembangkan untuk suatu tujuan, yaitu dapat di implementasikan pada bidangnya masing – masing. Pada saat ini berbagai bidang memerlukan proses komputasi sebagai alat bantu pemrosessan, diantaranya dalam bidang Matematika, Fisika, Kimia, Ekonomi, Geologi dan Geografi.
Implementasi komputasi moderen pada bidang Geografi
Pada bidang geologi teori komputasi biasanya digunakan untuk pertambangan, sebuah sistem komputer digunakan untuk menganalisa bahan-bahan mineral dan barang tambang yang terdapat di dalam tanah.
Nama: Bimo Satriyo Dwiputro Prabowo
NPM: 51411495
Kelas : 4IA05