\documentclass[a4paper,twoside,11pt]{book}

%\usepackage[T1]{fontenc}
%\usepackage{kpfonts}
\usepackage[utf8]{inputenc}
\usepackage[czech]{babel}
\usepackage{a4wide}
\usepackage{url}
\usepackage{verbatim}
\usepackage{comment}
%\usepackage[draft]{graphicx}
\usepackage{graphicx}


% FEL macros for DP
\usepackage{k336_thesis_macros}

% title page
\newcommand\TypeOfWork{Diplomová práce} \typeout{Diplomova prace}
\newcommand\StudProgram{Elektrotechnika a informatika, strukturovaný, Navazující magisterský}
\newcommand\StudBranch{Výpočetní technika}
\newcommand\WorkTitle{Vizulizace dvouúrovňové minimalizace logických funkcí}
\newcommand\FirstandFamilyName{Bc. Jakub Zelenka}
\newcommand\Supervisor{Ing. Petr Fišer, Ph.D.}

% hyperref for pdflatex
\usepackage[
pdftitle={\WorkTitle},
pdfauthor={\FirstandFamilyName},
bookmarks=true,
colorlinks=true,
breaklinks=true,
urlcolor=red,
citecolor=blue,
linkcolor=blue,
unicode=true,
]
{hyperref}



\begin{document}

\selectlanguage{czech}
%\selectlanguage{english} 

% prikaz \typeout vypise vyse uvedena nastaveni v prikazovem okne
% pro pohodlne ladeni prace


\iflanguage{czech}{
	 \newcommand\Department{Katedra počítačů}
	 \newcommand\Faculty{Fakulta elektrotechnická}
	 \newcommand\University{České vysoké učení technické v Praze}
	 \newcommand\labelSupervisor{Vedoucí práce}
	 \newcommand\labelStudProgram{Studijní program}
	 \newcommand\labelStudBranch{Obor}
}{
	 \newcommand\Department{Department of Computer Science and Engineering}
	 \newcommand\Faculty{Faculty of Electrical Engineering}
	 \newcommand\University{Czech Technical University in Prague}
	 \newcommand\labelSupervisor{Supervisor}
	 \newcommand\labelStudProgram{Study Programme} 
	 \newcommand\labelStudBranch{Field of Study}
}

%\begin{comment}
  


%%%%%%%%%%%%%%%%%%%%%%%%%%    Titulni stranka / Title page 

\coverpagestarts

%%%%%%%%%%%%%%%%%%%%%%%%%%%    Podekovani / Acknowledgements 
\acknowledgements
\noindent
Rád bych poděkoval panu Petru Fišerovi za cenné rady při~tvorbě aplikace a psaní textové části práce.

Také děkuji všem testujícím uživatelům za to, že si našli čas na~vyzkoušení mé aplikace a~na~následné vyplnění
dotazníku. Jsou jimi pánové Václav Hradec, Martin Poliak, Michal Šoka, Milan Kříž, Vojtěch Sedláček a Martin Sedláček.


%%%%%%%%%%%%%%%%%%%%%%%%%%%   Prohlaseni / Declaration 

\declaration{V~Praze dne 13.\,5.\,2010}
%\declaration{In Kořenovice nad Bečvárkou on May 15, 2008}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%    Abstract 
 
\abstractpage
This thesis describes the methods for~the~minimization of~logic function and the tools for~their visualization,
specifically the~Quine--McCluskey algorithm and~Espresso algorithms. \linebreak The Karnaugh map and Boolean n-cube are
also used as visualization tools.

In the second part of this thesis the implementation of mentioned methods in the Bmin application is described. The
application architecture, its implementation, the specifics of~its algorithms and the management of~the application are
here described in detail. The thesis is concluded with a usability test.

\vglue60mm

\noindent{\Huge \textbf{Abstrakt}}
\vskip 2.75\baselineskip

\noindent
Tato diplomová práce popisuje metody pro~minimalizaci logických funkcí a~prostředky pro~její vizualizaci. Konkrétně se
jedná o~algoritmus Quine--McCluskey a~sadu algoritmů Espresso. Jako vizualizační prostředky jsou popsány Karnaughova mapa
a~Booleovská n-krychle. 

Ve druhé části práce je uvedena analýza a způsob implementace výše zmíněných metod a~vizualizačních prostředků
v~aplikaci Bmin, která tvoří implementační část práce. Je zde podrobně rozebrána architektura, implementační specifika
algoritmů a způsob ovládání.  Na~závěr je vyhodnocen test použitelnosti aplikace.

\setcounter{tocdepth}{2}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  Obsah / Table of Contents 
\tableofcontents
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  Seznam obrazku / List of Figures 
\listoffigures
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  Seznam tabulek / List of Tables
\listoftables


%**************************************************************

%\end{comment}

\mainbodystarts

\normalfont
\parskip=0.2\baselineskip plus 0.2\baselineskip minus 0.1\baselineskip

\input uvod.tex
\input mini.tex
\input bmin.tex
\input test.tex
\input zaver.tex

\bibliographystyle{abbrv}
\bibliography{reference}

\appendix

\input cd.tex
\input instalace.tex

\end{document}

