\documentclass[10pt,titlepage]{article}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{theorem}
\usepackage{graphicx}
\usepackage[cp1250]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[polish]{babel}
\usepackage{makeidx}
\selectlanguage{polish}

%\vfuzz2pt % Don't report over-full v-boxes if over-edge is small
%\hfuzz2pt % Don't report over-full h-boxes if over-edge is small


\newcommand{\RR}{\mathbb{R}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\QQ}{\mathbb{Q}}
\newcommand{\ZZ}{\mathbb{Z}}
\newcommand{\TAB}{\hspace{0.50cm}}
\newcommand{\IFF}{\leftrightarrow}
\newcommand{\IMP}{\rightarrow}
\newcommand{\TRUE}{\mathbf{T}}
\newcommand{\FALSE}{\mathbf{F}}

\newtheorem{theorem}{Twierdzenie}[section]
\newtheorem{lemma}{Lemat}[section]
\newtheorem{example}{Przykład}[section]
\newtheorem{corollary}{Wniosek}[section]
\newtheorem{definition}{Definicja}[section]

\newenvironment{proof}{\par\noindent {\bf Dowód.}}
{\begin{flushright} \vspace*{-6mm}\mbox{$\Box$} \end{flushright}}

\newenvironment{remark}{\bigskip \par\noindent\begin{small}{\bf Uwaga.}}
                       {\vspace*{4mm}\end{small}}

\newenvironment{prog}{\par\noindent \sf
\begin{tabbing}xx\= xx \= xx\= xx\= \kill}
{\end{tabbing} \rm}


\hyphenation{wszy-stkich ko-lu-mnę każ-da od-leg-łość
   dzie-dzi-ny dzie-dzi-na rów-nych rów-ny
   pole-ga zmie-nna pa-ra-met-rów wzo-rem po-cho-dzi
   o-trzy-ma wte-dy wa-run-ko-wych lo-gicz-nie
   skreś-la-na skreś-la-ną cał-ko-wi-tych wzo-rów po-rzą-dek po-rząd-kiem
   przy-kład pod-zbio-rów po-mię-dzy re-pre-zen-to-wa-ne
   rów-no-waż-ne bi-blio-te-kach wy-pro-wa-dza ma-te-ria-łów
   prze-ka-za-nym skoń-czo-nym mo-żesz na-tu-ral-na cią-gu tab-li-cy
   prze-ka-za-nej}

\makeindex

\begin{document}

\begin{titlepage}
\vspace*{\fill}
\begin{center}
\begin{picture}(300,510)
  \put( 10,520){\makebox(0,0)[l]{\large \bf \textsc{Wydział Podstawowych Problemów Techniki}}}
  \put( 10,500){\makebox(0,0)[l]{\large \bf \textsc{Politechniki Wrocławskiej}}}
  \put( 70,280){\makebox(0,0)[l]{\Huge  \bf \textsc{Tytuł pracy}}}
  \put(100,240){\makebox(0,0)[l]{\large     \textsc{Imię i nazwisko}}}

  \put(170, 80){\makebox(0,0)[l]{\large  {Praca dyplomowa napisana}}}
  \put(170, 60){\makebox(0,0)[l]{\large  {pod kierunkiem}}}
  \put(170, 40){\makebox(0,0)[l]{\large  {prof. dr hab. Jacka Cichonia}}}

  \put(100,-80){\makebox(0,0)[bl]{\large \bf \textsc{Wrocław 2006}}}
\end{picture}
\end{center}
\vspace*{\fill}
\end{titlepage}

\pagestyle{empty}

\tableofcontents

\newpage
\pagestyle{headings}

\section{Wstęp}

We wstępie przedstawiamy cel pracy, to co udało się zrobić oraz
krótko omawiamy to co znajduje się w poszczególnych rozdziałach.
Wstęp ma być na tyle dokładny, aby recenzent na jego podstawie
mógł napisać recenzję. Wspominamy również o zastosowanych
narzędziach informatycznych (np. omawiany projekt został
zrealizowany w środowisku ,,Microsoft Visual Studio 2005'', lub,
że obliczenia symboliczne zostały zrealizowane za pomocą pakietu
,,Mathematica'' a numeryczna za pomocą pakietu ,,Mathlab''),
umieszczamy opis CD dołączonego do pracy.\\

Pracę dzielimy na rozdziały i podrozdziały za pomocą poleceń
\verb"\section{}", \verb"\subsection{}" i \verb"\subsubsection{}".
Na początku każdej sekcji w kilku zdaniach opisujemy to co się w niej zawiera.

W całej pracy stosujemy jednolity styl: piszemy ,,pokażemy'',
,,zbudujemy'', ,,udowodnimy''. Nie piszemy ,,ja pokażę'',
,,udowodnię'' itp.

Stosujemy zwięzły styl. W pracy umieszczamy
tylko to co jest nam potrzebne (uwaga: na obronie można być zapytanym
o każdą rzecz, która znajduje się w pracy - nie piszcie więc o rzeczach,
których dobrze nie rozumiecie!).\\

Wszystkie fragmenty tekstu, które pochodzą z innych źródeł należy
starannie udokumentować i opis umieścić w bibligrafii.

\subsection{Podrozdział}
\subsubsection{Podpodrozdział}
\subsubsection{Podpodrozdział}
\subsection{Podrozdział}

To wyróżnienia twierdzeń stosujemy zdefiniowane wyżej konstrukcje
,,theorem'', ,,lemma'', ,,definition'' itp.:

\begin{definition}
  $\prod_{t\in T}A_t = \{f \in (\bigcup_{t \in T} A_t)^{T}: (\forall t \in T)(f(t) \in A_t)\}$
\end{definition}


\begin{lemma}
$e^{ia} = \cos(a) + i\sin(a)$
\end{lemma}

\begin{proof}
\begin{gather*}
  e^{ia} = \sum_{n=0}^{\infty}\frac{(ia)^n}{n!} =
          \sum_{n=0}^{\infty}\frac{(ia)^{2n}}{(2n)!}
          +\sum_{n=0}^{\infty}\frac{(ia)^{2n+1}}{(2n+1)!}= \\
%
          \sum_{n=0}^{\infty}\frac{(-1)^n a^{2n}}{(2n)!}
         +i \sum_{n=0}^{\infty}\frac{(-1)^n a^{2n+1}}{(2n+1)!}= \cos(a) + i\sin(a) ~.\\
\end{gather*}
\end{proof}

\begin{corollary}
  $e^{\pi i} = -1$
\end{corollary}

Często stosowane oznaczenia definiujemy jako rozkazy. Korzystamy
ze zdefiniowanych wyżej oznaczeń na liczby rzeczywiste ($\RR$ - $\backslash$RR),
naturalne ($\NN$ - $\backslash$NN), wymierne ($\QQ$ - $\backslash$QQ) i całkowite ($\ZZ$ - $\backslash$ZZ).\\

Do formatowania programów można użyć makra prog:

\begin{prog}
function NWD(a,b:integer):integer;\\
begin\\
\>while (a<>b) do\\
\>\>if a>b then a:= a-b\\
\>\>else b:= b-a;\\
\>NWD:= a;\\
end;\\
\end{prog}




\section{Podstawowe fakty}
Każdy rozdział rozpoczynamy od krótkiego wprowadzenia w którym omawiamy
czym będziemy się w nim zajmowali.
%\input P1.tex
\section{...}

\section{Wnioski}
Tutaj wstawiamy końcowe wnioski: to co udało się zrobić, to czego
nie udało się zrobić, co warto by zrobić.

\appendix

\section{Wybrane kody}
Tutaj umieszczamy kody ciekawszych fragmentów projektu.
Fragmenty te powinny być bardzo starannie napisane oraz udokumentowane.
Fragment kodu postaci
\begin{prog}
\>if (sukces) return(true);\\
\>\>else return(false);
\end{prog}
(zamiast \textsf{return(sukces);}) czy też
\begin{prog}
\>if (a) \\
\>\>if (b) F(1)
\end{prog}
(zamiast \textsf{if ((a) \&\& (b)) F(1);}), czy też
\begin{prog}
 if (sukces==true) F(1);
\end{prog}
 kompromitują kod.
\subsection{Dodatek 2}
%\input P2.tex
\subsection{Dodatek 3}
%\input P3.tex

\section{Instalacja programów}

Tutaj opisujemy, co użytkownik powinien zrobić aby zainstalować
omawiane w pracy programy.

\section{Instrukcja obsługi}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BIBLIOGRAFIA %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\PWN  {Państwowe Wydawnictwo Naukowe, Warszawa}
\def\WNT  {Wydawnictwa Naukowo-Techniczne, Warszawa}
\def\WNPWN{Wydawnictwo Naukowe PWN, Warszawa}
\def\LNCS {Lecture Notes in Computer Science}

\begin{thebibliography}{XXX}
\bibitem{AHU} {\sc A. Aho, J. Hopcroft, J. Ullman},
              {\it Projektowanie i analiza algorytmów},
               Helion, \textbf{2003}

\bibitem{AH}  {\sc A. Aho, J. Ullman},
              {\it Wykłady z informatyki z przykładami w języku C},
              Helion, \textbf{2003}

\bibitem{JB}  {\sc J. Bentley},
              {\it Perełki oprogramowania},
               \WNT, \textbf{2001}

\bibitem{DH} {\sc D. Harrell},
             {\it Rzecz o istocie informatyki. Algorytmika},
               \PWN, \textbf{2001}

\bibitem{KR1} {\sc B. W. Kernighan, D. M. Ritchie},
              {\it Język C},
              \WNT, \textbf{1988}

\bibitem{KR2} {\sc B. W. Kernighan, D. M. Ritchie},
              {\it Język ANSI C},
               \WNT, \textbf{2003}
\bibitem{MORR}
  R. Morris
 \emph{ Counting large numbers of events in small registers},
  Communications of The ACM 21 (1978), pp. 840--842.

\bibitem{CAN}
    {\sc S. Ratnasamy, P. Francis, M. Handley, R. M. Karp, S. Shenker},
    \emph{A scalable content-addressable network},
     Proceeding of SIGCOMM 2001, pp. 161--172.

\bibitem{Pastry}
    {\sc A. Rowstron, P. Druschel},
    \emph{Pastry: Scalable, Decentralized Object Location, and Routing
    for Large-Scale Peer-to-Peer Systems},
    in: \emph{IFIP/ACM International Conference on Distributed Systems Platforms},
    R.  Guerraoui (Ed.),
    \LNCS, vol. 2218, Springer, Berlin 2001, pp. 329-350.


\end{thebibliography}

\end{document}