Pembahasan dalam buku ini: - Himpunan - Logika - Pembuktian - Fungsi, Barisan, dan Deret - Relasi dan Matriks Relasi - Pengantar Teori Bilangan - Metode Perhitungan - Peluang Diskret - Relasi Rekuensi - Teori Graf - Pohon - Ajabar Boolean dan Kombinatorial Sirkuit
Daftar Isi: - Kerangka Kerja Konseptual dan Teoretis Model dan Pemodelan - Kompetensi dan Sub-Kompetensi Pemodelan - Contoh Kasus Pemodelan dalam Pembelajaran Matematika - Pembelajaran Aljabar dengan Menggunakan Konteks - Pendidikan Aljabar di Era Digital - Belajar dan Mengajar Aljabar dengan Alat DIgital - Perspektif Pemodelan dalam Studi Bangun-Bangun Geometri
Buku ini membahas ; - pengenalan logika matematika - pengantar logika proposisional - pengantar logika predikat - komponen-komponen sintatik - kuantor-kuantor - penafsiran dan validitas - derivasi - ekuivalen logis untuk logika predikat - tablo semantik untuk logika predikat - bentuk normal prenex - resolusi untuk logika predikat
Daftar Isi: - Bab 1: Logika - Bab 2: Himpunan - Bab 3: Matriks, Relasi, dan Fungsi - Bab 4: Induksi Matematik - Bab 5: Algoritma dan Bilangan Bulat - Bab 6: Kombinatorial dan Peluang Diskrit - Bab 7: Aljabar Boolean - Bab 8: Graf - Bab 9: Pohon - Bab 10: Kompleksitas Algoritma