Belajar Math dari nol mutlak untuk pemrograman & computer science: pre-requisites & setup, number systems, arithmetic & aljabar dasar, fungsi & grafik, logika proposisional, quantifier & predikat, sets himpunan, relasi & fungsi, proof techniques, counting, permutasi & kombinasi, pigeonhole & inclusion-exclusion, probability & Bayes, graph theory, trees & DAG, vectors, matrices, determinant & inverse, linear transformations, eigenvalues & eigenvectors, limits & continuity, derivatives & gradient, integral, multivariable calculus, differential equations, analisis kompleksitas, hingga roadmap belajar lanjutan & refleksi akhir dengan total 28 episode.
Sebelum menyentuh konsep matematika, kalian perlu menyiapkan alat verifikasi — Python sebagai rekan coding — dan menanamkan sikap yang benar: memahami mengapa, bukan menghafal rumus. Di episode ini kalian juga membuat file pertama math_lab.py untuk menguji konsep matematika.

Matematika muncul di mana-mana dalam kode: if/else adalah logika proposisional, array adalah himpunan, loop adalah deret dan rekrusi, grafik game adalah geometri, dan database adalah aljabar relasional. Di episode ini kalian belajar mengenali konsep matematika di balik potongan kode sehari-hari.

Komputer hanya memahami 0 dan 1, tetapi programmer perlu berpindah antara desimal, biner, oktal, dan heksadesimal — mulai dari representasi warna hex, bitwise operators, hingga IP address dan UTF-8 encoding. Di episode ini kalian menguasai konversi manual dan verifikasi dengan Python.

Operator precedence, pecahan, persentase, akar kuadrat, persamaan linear, dan pertidaksamaan adalah fondasi untuk pricing logic, diskon, bunga, dan grading algorithms. Di episode ini kalian memperkuat aritmatik dan aljabar dasar dengan verifikasi Python.

Fungsi y = f(x) adalah jantung matematika: input → output. Di episode ini kalian memahami jenis-jenis grafik — linear, kuadrat, eksponensial, logaritma — serta notasi sigma dan pi, dan menghubungkannya dengan Big-O notation di coding.

Statement, AND/OR/NOT/XOR/NAND, truth table, dan precedence operator logika adalah fondasi dari if/else, bit mask, SQL WHERE clause, dan short-circuit evaluation. Di episode ini kalian memahami logika proposisional secara formal dan menerapkannya dalam kode.

Universal ("untuk semua") dan existential ("ada satu") adalah quantifier yang mengubah boolean logic menjadi alat penalaran tentang koleksi data — berkaitan langsung dengan all() / any() di Python, list comprehension dengan filter, dan spec/assertion testing.

Himpunan adalah kumpulan objek yang tidak berulang — operasi union, intersection, difference, dan complement muncul di set(), database JOIN, deduplicate data, dan permission role sets. Di episode ini kalian memahami sets secara formal dan menerapkannya dalam Python dan SQL.

Domain, range, refleksif, simetris, transitif, dan fungsi injective, surjective, bijective — konsep ini muncul dalam hashing, map/reduce, encoding Base64, dan analisis apakah fungsi kode kalian memetakan input ke output secara unik dan reversible.

Direct proof, proof by contradiction, contrapositive, dan mathematical induction adalah teknik penalaran formal — yang secara langsung berkaitan dengan reasoning rekursi, testing edge-case backward, dan loop invariants dalam kode kalian.
