Ruang Lingkup Informatika

 1. Program Komputer dan Model Komputasi.

Ada tiga model dasar komputasional yaitu fungsional, logika, dan imperatif. Sebagai tambahan terhadap satuan nilai-nilai dan operasi yang berhubungan, masing-masing model komputasional mempunyai satu set operasi yang digunakan untuk menggambarkan komputasi.

Model Fungsional : terdiri dari satu set nilai-nilai, fungsi-fungsi dan operasi aplikasi fungsi dan komposisi fungsi. Fungsi dapat mengambil fungsi lain sebagai argumentasi dan mengembalikan fungsi sebagai hasil (higher-order function). Suatu program adalah koleksi definisi fungsi-fungsi dan suatu komputasi adalah aplikasi fungsi.

Model Logika : terdiri dari satu set nilai-nilai, definisi hubungan dan kesimpulan logis. Program terdiri dari definisi hubungan dan suatu komputasi adalah suatu bukti(suatu urutan kesimpulan).

Model Imperatif : terdiri dari satu set nilai-nilai yang mencakup suatu keadaan dan operasi tugas untuk memodifikasi pernyataan. Pernyataan adalah set pasangan nilai-nama dari konstanta dan variabel. Program terdiri dari urutan tugas dan suatu komputasi terdiri dari urutan pernyataan. 

2. Perbaikan Model Komputasi. 

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 keduacabang berurusan dengan model formal komputasi. Model komputasi adalah suatu kumpulan dari nilai dan operasi - operasi.

Ada tiga model dasar komputasional-- fungsional, logika, dan imperatif. Sebagai tambahan terhadap satuan nilai-nilai dan operasi yang berhubungan, masing-masing model komputasional mempunyai satu set operasi yang digunakan untuk menggambarkan komputasi

a. Model Fungsional : terdiri dari satu set nilai-nilai, fungsi-fungsi dan operasi aplikasi fungsi dan komposisi fungsi. Fungsi dapat mengambil fungsi lain sebagai argumentasi dan mengembalikan fungsi sebagai hasil (higher-order function). Suatu program adalah koleksi definisi fungsi-fungsi dan suatu komputasi adalah aplikasi fungsi.

b. Model Logika : terdiri dari satu set nilai-nilai, definisi hubungan dan kesimpulan logis. Program terdiri dari definisi hubungan dan suatu komputasi adalah suatu bukti(suatu urutan kesimpulan).

c. Model Imperatif : terdiri dari satu set nilai-nilai yang mencakup suatu keadaan dan operasi tugas untuk memodifikasi pernyataan. Pernyataan adalah set pasangan nilai-nama dari konstanta dan variabel. Program terdiri dari urutan tugas dan suatu komputasi terdiri dari urutan pernyataan.

3. Pengalaman Berpikir Komputasional.

Berpikir komputasional dibangun dengan dasar dan batasan proses komputasi, entah proses tersebut dieksekusi oleh manusia atau mesin. Metode dan model komputasional memberikan kemampuan bagi kita untuk memecahkan masalah dan mendesain/ merangkai sistem yang tidak bisa kita tangani sendiri. Berpikir komputasional adalah kemampuan dasar untuk setiap orang, bukan hanya bagi orang-orang yang berkutat dalam studi komputer-sains. Berpikir komputasional mencakup pemecahan masalah, mendesain sistem, dan memahami perilaku manusia, dengan menggambar konsep berdasarkan komputer sains. Berpikir komputasional meliputi batasan kemampuan mental yang merefleksikan betapa luasnya cakupan komputer-sains. Komputer sains adalah studi komputasi-mengenai apa yang dapat dikomputasikan dan bagaimana mengkomputasikan. Berpikir komputasional memiliki karakteristik sebagai berikut:

1. Berdasarkan konsep, bukan pemrograman. Komputer sains bukan sekedar pemrogaman komputer. Berpikir seperti orang yang ahli dalam computer-sains berarti lebih dari sekedar pemrogaman komputer. Dibutuhkan berpikir pada beberapa tingkat abstraksi.
2. Mendasar, bukan menghafal. Kemampuan dasar yaitu kemampuan yang harus dimiliki setiap orang dizaman sekarang. Menghafal berarti rutinitas mekanikal.
3. Cara manusia berpikir, bukan cara komputer berpikir. Berpikir komputasional adalah cara orang untuk memecahkan masalah; berikir komputasional tidak membuat orang mencoba berpikir seperti komputer. Manusia itu cerdas dan imajinatif. Komputer seharusnya dikendalikan oleh manusia, untuk menemukan suatu pemecahan masalah, bukan sebaliknya.
4. Saling melengkapi dan mengkombinasikan antara pemikiran matematis dan pemikiran teknik. Komputer sains erat kaitannya dengan berpikir matematis, sama seperti ilmu sains lainnya yang didasari oleh matematika.
5. Merupakan ide, bukan benda. Bukan sekedar software atau hardware yang secara fisik ada dikehidupan kita, namun lebih pada konsep-konsep komputasional yang kita gunakan untuk mendekati dan memecahkan masalah, mengatur kehidupan sehari-hari kita, komunikasi dan interaksi dengan orang lain.
6. Untuk setiap orang, disetiap tempat. Pemikiran komputasional akan menjadi nyata ketika ia begitu integral dalam usaha manusia, dan berubah menjadi suatu filosofi yang eksplisit.
7. Secara intelektual menantang dan mengharuskan masalah saintifik dapat dipahami dan diselesaikan. Domain masalah dan domain solusi hanya terbatas pada rasa ingin tahu dan kreativitas kita sendiri.
8. Orang yang memiliki kemampuan komputasional dapat menguasai komputer sains dan melakukan apa saja. Orang yang memiliki kemampuan komputasional dapat menguasai komputer sains dan meneruskan karirnya dibidang kesehatan, hukum, bisnis, politik, dan semua jenis teknik sains, atau bahkan seni.