Buku ini disajikan sangat berbeda dari buku Logika Matematika lainnya yang mungkin sudah pernah Anda baca. Terdapat 3 bagian yang dibahas dalam buku ini. Bagian Matematika yang membahas mengenai logika komputasi sampai dengan metode-metode dalam pembuktian matematika. Bagian Ilmu Komputer atau Informasi akan membahas mengenai analisis algoritma mula dari membuktikan kebenaran algoritma sampai dengan menganalisis waktu suatu algoritma. Buku ini tidak hanya menjelaskan tentang algoritma dan menganalisanya secara matematis, tetapi diberikan juga contoh implementasi algoritma dengan menggunakan bahasa pemrograman Python. Tentunya tujuan dari implementasi ini untuk melihat profil kompleksitas waktu algoritma secara komputasi pada komputer dibandingkan dengan hasil analitik secara matetatis. Buku ini akan membahas beberapa pokok bahasan seperti berikut: Pengantar Algoritma; Logika Komputasi; Himpunan Bilangan; Teknik Dasar Pembuktian Matematika; Kebenaran Algoritma lteratif; Kebenaran Algoritma Rekursif; Notasi Waktu Asimptotik Algoritma; Analisis Kompleksitas Waktu Algoritma lteratif; Analisis Kompleksitas Waktu Algoritma Rekursif; Implementasi Algoritma.
