\documentclass[a4paper,oneside,12pt]{article} %prva linija svakog dokumenta

%paketi koji omogućuju unos i ispis slova č, ć, ž, š, đ i sl.
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}

\usepackage[pdftex]{graphicx} % za učitavanje slika

\usepackage{amsthm} %sadrži unaprijed definirane stilove matematičkih okruženja i sl.
\usepackage{qtree} %za crtanje dijagrama

%način numeriranja naslova
\renewcommand\thesection{\arabic{section}.}
\renewcommand\thesubsection{\arabic{section}.\arabic{subsection}.}
\renewcommand\thesubsubsection{\arabic{section}.\arabic{subsection}.\arabic{subsubsection}.}

%deklaracija novih matematičkih okruženja
\theoremstyle{definition} %slijede okruženja u stilu definition
\newtheorem{df}{Definicija}
\newtheorem*{pn}{Peanovi aksiomi}
\theoremstyle{plain}%sljedeća okruženja su u stilu plain
\newtheorem{tm}{Teorem}
\newtheorem{ko}[tm]{Korolar}
\theoremstyle{remark}%slijede okruženja su u stilu remark
\newtheorem*{np}{Napomena}

%način numeriranja teoremima sličnih okruženja
\renewcommand{\thetm}{\thesubsection\arabic{tm}}
\renewcommand{\thedf}{\thesubsection\arabic{df}}

%razmaci između redaka
\linespread{1.15}

\begin{document} % početak dokumenta
\begin{titlepage}% =======================================================================
\begin{center}
   \textsc{\Large Sveučilište u Splitu}\\
   \Large{Prirodoslovno-matematički fakultet}\\[2.5cm]
   \includegraphics[width=0.25\textwidth]{pr_teoremi_main.png}\\[2cm]
   \hrulefill \\[0.5cm]
      { \huge \bfseries Primjer pisanja matematičkih struktura u LaTeXe}\\[0.3cm]
   \hrulefill \\[2.5cm]
   \begin{minipage}{0.4\textwidth}
      \begin{flushleft} \large
         \emph{Primjerak sastavio:}\\
          Petar  \textsc{Stipanović}
      \end{flushleft}
   \end{minipage}
   \begin{minipage}{0.4\textwidth}
      \begin{flushright} \large
         \emph{Za:} \\
         Studente \textsc{Fizike}
      \end{flushright}
   \end{minipage}
   \vfill
   {\large MPA1, 2011/12}
\end{center}
\end{titlepage}

\newpage
\section{Skupovi}% =======================================================================
\subsection{Osnove matematičke logike}% --------------------------------------------------
...
\subsection{Prirodni brojevi}
\begin{pn}
Kao ``iskustvenu činjenicu'' prihvaćamo posatojanje barem jedog skupa $N$ koji udovoljava 
ovim trima uvjetima:\\
(P1) N sadrži barem jedan element- označit ćemo ga znakom 1 i nazvati brojem jedan ili jedinicom
...
\end{pn}
...
\begin{center}
\Tree [.{prirodni brojevi} prosti [.složeni {djeljivi sa 2} {nisu djeljivi sa 2} ] ]
\end{center}
...
\subsection{Cijeli brojevi}
...
\newpage
\section{Linearna algebra}% ==============================================================
\subsection{Matrice i determinante}% -----------------------------------------------------
\subsubsection{Matrice}
...
\setcounter{subsubsection}{5} %postavlja brojač podpodpoglavlja na 5, sljedeće je 6
\subsubsection{Rang matrice}% ------------------------------------------------------------
...
\setcounter{df}{17}
\begin{df}\label{def:A=B}
Neka su $A$ i $B$ matrice istog tipa. Reći ćemo da je matrica $B$ ekvivalentna matrici A,
 ako se B može dobiti iz A primjenom konačno mnogo elementarnih operacija.
\end{df}

\begin{np}
Ekvivalentnost u definiciji \ref{def:A=B} jest razredbena relacija na skupu svih matrica
 istog tipa.
\end{np}

\setcounter{tm}{32}
\begin{tm}
Ekvivalentne matrice imaju isti rang.
\end{tm}

\begin{proof}[Dokaz]
Ostavljen studentima za vježbu.
\end{proof}
...

\subsubsection{Inverzna matrica} % -------------------------------------------------------
...
\setcounter{tm}{45}
\begin{ko}
Singularna matrica nema inverzne matrice.
\end{ko}
\begin{proof}[Dokaz]
Kad bi singularna matrica $A$ imala inverznu matricu $B$, dobili bi $1=\det I = \det(AB)=\det A\cdot\det B=0\cdot\det B=0$ kontradiktorni izraz.
\end{proof}
...
\subsection{Vektorska algebra}% ----------------------------------------------------------
...


\end{document}
