\sectionŠto je diskretna matematika? Diskretna matematika bavi se \textbfkonačnim ili \textbfprebrojivo beskonačnim strukturama. Za razliku od kontinuirane matematike (npr. realni brojevi, derivacije), diskretne strukture uključuju cijele brojeve, grafove, logičke izraze i konačne automate.
\sectionPravila brojanja \beginitemize \item Pravilo zbroja: Ako se događaj $A$ može dogoditi na $m$ načina, a događaj $B$ na $n$ načina, i $A$ i $B$ su disjunktni, tada se $A \cup B$ može dogoditi na $m+n$ načina. \item Pravilo umnoška: Ako se $A$ može dogoditi na $m$ načina i nakon toga $B$ na $n$ načina, tada se $A \text i B$ mogu dogoditi na $m \cdot n$ načina. \enditemize
Operacije nad skupovima: \beginitemize \item Unija: $A \cup B = \x : x \in A \text ili x \in B\$ \item Presjek: $A \cap B = \x : x \in A \text i x \in B\$ \item Komplement: $A^c = \x \in U : x \notin A\$ \enditemize
\sectionOsnovni pojmovi \begindefinicija Graf $G = (V,E)$ sastoji se od skupa vrhova $V$ i skupa bridova $E$, gdje je svaki brid neuređeni par $\u,v\$ s $u,v \in V$. \enddefinicija diskretna matematika pdf
\sectionPropozicijska logika Propozicije su tvrdnje koje su ili istinite ili lažne. Veznici: \beginitemize \item Konjunkcija: $p \land q$ (i) \item Disjunkcija: $p \lor q$ (ili) \item Negacija: $\neg p$ (ne) \item Implikacija: $p \implies q$ (ako $p$ onda $q$) \enditemize
\chapterLogika i dokazi
\chapterBooleova algebra i primjene
\beginprimjer Kompletan graf $K_n$ ima $n$ vrhova i svaka dva različita vrha su spojena bridom. \endprimjer
\beginteorem[Zakon kontrapozicije] $(p \implies q) \iff (\neg q \implies \neg p)$. \endteorem
\chapterKombinatorika
\begindefinicija Kombinacija $k$-tog reda iz $n$ elemenata je izbor $k$ elemenata bez obzira na poredak: \[ \binomnk = \fracn!k!(n-k)!. \] \enddefinicija
\titleDiskretna matematika \authorSveučilišni udžbenik \date\today \maketitle