Up to [Platon] / doc / ztp-zbierka

Several changed and corrections done on the Heathrow airport

%
% 05-zaver.tex
%
% Developed by Ondrej Jombik <nepto@platon.sk>
% Copyright (c) 2003-2005 Platon Group, http://platon.sk/
% Licensed under terms of GNU General Public License.
% All rights reserved.
%
% Changelog:
% 26/02/2003 - created
%

% $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.7 2007-08-09 06:28:55 nepto Exp $

\chapter*{Záver}
\addcontentsline{toc}{chapter}{Záver}

Cieľom našej práce bolo vytvoriť zbierku riešených úloh z matematickej
teórie programovania. Táto
zbierka bola primárne zameraná na najväčšiu cieľovú skupinu, a to študentov
Informatiky na FMFI UK, konkrétne poslucháčov predmetu Základy teórie
programovania. Samozrejme sme predpokladali aj širšie možnosti využitia,
a to najmä preto, že na Slovensku doteraz podobná zbierka z danej oblasti
chýbala.

Myslíme si, že tento cieľ sa nám vo veľkej miere podarilo splniť.
Zbierka ponúka širokú škálu tématických oblastí, ako i úrovne náročnosti
úloh. Veríme, že bude slúžiť, ako vhodný doplnkový materiál pri štúdiu
tejto modernej a vzhľadom na svoje široké možnosti uplatnenia aj veľmi
populárnej matematicko-informatickej disciplíny. Pri riešení problémov
si čitateľ upevňuje nadobudnuté poznatky, precvičuje si základné
operácie so schémami a najmä si zautomatizuje niektoré štandardné
postupy, často využívané či už pri dokazovaní (ne)rozhodnuteľnosti
vlastností programových schém ako aj dokazovaní čiastočnej správnosti

Vzhľadom na veľmi široký záber disciplíny akou je matematická teória
programovania nebolo možné v zbierke obsiahnuť všetky jej skúmané
odvetvia. Myslíme si však, že ich výber prezentovaný v tejto zbierke
zahŕňa väčšinu z najpodstatnejších, najviac prebádaných a
najvyužívanejších tématických okruhov, akými sú schémy, programy,
interpretácie, (ne)rozhodnuteľnosť vlastností, správnosť programov,
dokazovanie správnosti a úvod do sémantiky programov.

Samozrejme si uvedomujeme, že existuje ešte množstvo ďalších tém, ktoré
sa do zbierky nezmestili a tiež ich nemôžeme označiť za nepodstatné.
Práve tu vidíme najväčší priestor pre pokračovanie v našej práci.
Zbierka by sa mohla rozrásť o ďalšie kapitoly so spomínanými, ale aj
ďalšími odvetviami.

\begin{thebibliography}{99}

% pridame literaturu do obsahu (standardne sa tam nedava)
\addcontentsline{toc}{chapter}{Literatúra}

    \bibitem{ztp-skripta}
        \bibauthor{Igor Prívara}:
        \bibwork{Základy teórie programovania},
        Fakulta matematiky, fyziky a informatiky UK, Bratislava.

    \bibitem{formspec}
        \bibauthor{Igor Prívara}:
        \bibwork{Formálne špecifikácie programov a Algebraické špecifikácie},
        Inštitút informatiky a štatistiky, Bratislava.

    \bibitem{manna}
        \bibauthor{Zohar Manna}:
        \bibwork{Mathematical Theory Of Computation},
        McGraw-Hill, New York 1974.

    \bibitem{funcprog}
        \bibauthor{Anthony J. Field},
        \bibauthor{Peter G. Harrison}:
        \bibwork{Functional Programming},
        Addison Wesley.

\end{thebibliography}

% vim: ts=4
% vim600: fdl=0 fdm=marker fdc=0 fmr=/*,*/