Logika Matematika Untuk Ilmu Komputer

Penulis:

Assoc. Prof. Dr. Hengki Tamando Sihotang, S.Kom., M.Kom 

Editor: Dr. Fristi Riandari, S.Kom., M.Kom, Dr. Jonson Manurung, ST., M.Kom 

Penyunting: Dr. Fristi Riandari, S.Kom., M.Kom, Dr. Jonson Manurung, ST., M.Kom 

Desain Sampul dan Tata Letak: Putri Agatha Simbolon., S.Kom

-----------------------------------------------------------------------------------------------------------------------------------------------

Buku Ajar Logika Matematika ini disusun sebagai bahan pembelajaran yang sistematis, aplikatif, dan kontekstual untuk mahasiswa bidang informatika, ilmu komputer, serta bidang terkait teknologi informasi. Materi dalam buku ini membahas konsep-konsep fundamental logika matematika mulai dari pengertian logika dan pernyataan, logika proposisional, operator logika, tabel kebenaran, validitas argumen, hingga penerapan logika dalam sistem komputasi modern, algoritma, basis data, dan artificial intelligence.

Pembahasan disajikan dengan pendekatan yang sederhana dan bertahap sehingga memudahkan mahasiswa memahami hubungan antara teori logika matematika dengan implementasinya dalam dunia komputasi nyata. Setiap materi dilengkapi contoh kasus informatika, studi kasus sistem komputer, latihan soal berbasis analisis, HOTS (Higher Order Thinking Skills), mini project, serta refleksi pembelajaran untuk memperkuat kemampuan berpikir logis, kritis, dan sistematis.

Buku ajar ini telah disusun berbasis Outcome Based Education (OBE) dengan menyesuaikan capaian pembelajaran mata kuliah (CPMK/Sub-CPMK). Pendekatan OBE diterapkan agar proses pembelajaran tidak hanya berfokus pada penguasaan teori, tetapi juga pada kemampuan mahasiswa dalam mengidentifikasi, memformalkan, menganalisis, dan menerapkan konsep logika matematika dalam penyelesaian permasalahan komputasi secara nyata.

Dengan hadirnya buku ini, diharapkan mahasiswa mampu membangun fondasi berpikir logis yang kuat sebagai bekal dalam mempelajari algoritma, pemrograman, kecerdasan buatan, sistem digital, dan pengembangan perangkat lunak secara lebih mendalam.