Ruang lingkup informatika 1.program komputer dan model komputasi 2.perbaikan model komputasi

Dalam ruang lingkup yang lebih luas, informatika meliputi beberapa aspek:Teori informasi yang mempelajari konsep matematis dari suatu informasiIlmu informasi yang mempelajari tentang cara pengumpulan, klasifikasi, manipulasi penyimpanan, pengaksesan, dan penyebarluasan informasi untuk keperluan sosial dan kemasyarakatan secara menyeluruhIlmu komputer dan teknik komputer yang mempelajari tentang pemrosesan, pengarsipan, dan penyebaran informasi dengan menggunakan teknologi informasi dan pemrograman yang berbasis komputer.Sistem informasi yang mempelajari mengenai teknik pengembangan suatu sistem untuk mengolah berbagai macam informasi yang ada.Keamanan informasi ilmu yang mempelajari mengenai kajian proses mengamankan dan melindungi data pada yang ada pada sistem atau komputer.Informatika sosial yang mengkaji aspek sosial dari TIK dalam perubahan sosial dan organisasional, penggunaan teknologi dalam konteks sosial, dan cara kelembagaan sosial teknologi informasi yang dipengaruhi oleh kekuatan sosial dan praktik-praktik sosial/kemasyarakatan.Dalam Pemahaman di Teknik informatika mempunyai aspek kedisiplinan dalam menguasai bidang ilmu informatika yang cukup luas. Informatika dalam prospek ke depan dalam dunia pekerjaan masa depan karena informatika berada dalam segala bidang ilmu membutuhkan sentuhan ahli dari ilmu informatika

1.Model komputasi

1. 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.

2. 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).

3. 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 modern

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.