Buku teks ini disusun sebagai materi ajar formal untuk memperkenalkan fondasi logika matematika yang menjadi pilar mendasar dalam ilmu komputer dan informatika. Materi di dalam buku ini dirancang agar mahasiswa dapat memahami bagaimana penalaran logis diaplikasikan dalam pembentukan struktur instruksi pemrograman, basis data, kecerdasan buatan, hingga analisis kompleksitas algoritma. Cakupan ba…