Berpikir komputasional (Computational Thinking) merupakan suatu metode untuk menuntaskan persoalan menggunakan penerapan teknik ilmu komputer/informatika. Berpikir komputasional dilakukan dengan batasan proses komputasi yang dieksekusi oleh manusia ataupun mesin. Metode dan model komputasional memberikan kemudahan bagi kita untuk memecahkan masalah dan mendesain sistem yang tidak bisa kita kerjakan sendiri. Berpikir komputasional mencakup pemecahan masalah, mendesain sistem, dan memahami perilaku manusia dengan merancang konsep berbasis teknologi komputer.
Karakteristik berpikir komputasional adalah sebagai berikut:
Berdasarkan konsep, informatika tidak hanya belajar tentang bagaimana cara menulis kode program tapi juga diperlukan pemahaman untuk berpikir pada beberapa tingkat abstraksi.
Kemampuan dasar yaitu kemampuan yang harus dimiliki setiap orang di era milenial.
Perlunya berpikir komputasional agar masalah dapat dipecahkan tanpa harus berpikir sebagaimana komputer.
Memadukan pemikiran matematis dan pemikiran teknik.
Sebuah ide dan bukan sebuah benda.
Diperlukan bagi setiap orang.
Menantang secara keilmuan dan dapat dipahami/diselesaikan secara saintifik.
Informatika dapat dikuasai oleh orang yang memiliki kemampuan komputasional.
Negasi atau ingkaran adalah penolakan dari pernyataan yang ada. Jika sebuah pernyataan bernilai salah maka negasinya bernilai benar dan jika pernyataan bernilai benar maka negasinya bernilai salah. Penulisan lambang negasi P adalah “ ~ P “.
Konjungsi adalah kata penghubung 'dan', disjungsi adalah 'atau', implikasi adalah 'jika' 'maka', dan terakhir adalah biimplikasi berupa 'jika' dan 'hanya jika'
Implikasi adalah kalimat majemuk yang menggunakan kata “jika” dan “maka”. Sehingga, implikasi merupakaan kalimat yang menyatakan sebab akibat
Disjungsi adalah pernyataan majemuk dengan kata hubung “atau”. Sehingga notasi “p ∨ q” dibaca “p atau q”. Berikut adalah tabel nilai kebenaran disjungsi. Jika kita lihat pada tabel kebenaran, disjungsi hanya salah jika kedua pernyataan (p dan q) salah.