\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
\beginprimjer Kompletan graf $K_n$ ima $n$ vrhova i svaka dva različita vrha su spojena bridom. \endprimjer 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 Veznici: \beginitemize \item Konjunkcija: $p \land q$ (i)
\sectionMatematička indukcija Princip indukcije: Neka je $P(n)$ tvrdnja za $n \in \mathbbN$. Ako vrijedi \beginenumerate \item $P(1)$ je istinit (baza), \item $\forall k \in \mathbbN, P(k) \implies P(k+1)$ (korak), \endenumerate onda $P(n)$ vrijedi za sve $n \in \mathbbN$. \item $\forall k \in \mathbbN