Pengantar Logika Informatika, Algoritma, dan Pemrograman Komputer