.. _discrete_mathematics:

Matematika Diskret
==================

*Matematika diskret* mempelajari himpunan, objek, dan struktur berhingga.
Kita dapat menghitung banyaknya elemen suatu himpunan berhingga, menghitung jumlah atau hasil kali berhingga atas
elemen-elemennya, menentukan nilai maksimum dan minimum, dan sebagainya.
Kita juga dapat mempelajari objek yang dibangkitkan melalui sejumlah berhingga penerapan
fungsi pembangkit tertentu, mendefinisikan fungsi melalui rekursi struktural,
dan membuktikan teorema melalui induksi struktural.
Bab ini menjelaskan bagian-bagian Mathlib yang mendukung kegiatan tersebut.

.. include:: C06_Discrete_Mathematics/S01_Finsets_and_Fintypes.inc
.. include:: C06_Discrete_Mathematics/S02_Counting_Arguments.inc
.. include:: C06_Discrete_Mathematics/S03_Inductive_Structures.inc