| verzia 1.6, 2007/07/15 00:43:13 |
verzia 1.7, 2007/08/09 06:28:55 |
|
|
| % 26/02/2003 - created |
% 26/02/2003 - created |
| % |
% |
| |
|
| % $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.5 2007-06-04 07:42:44 nepto Exp $ |
% $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.6 2007-07-15 00:43:13 nepto Exp $ |
| |
|
| |
\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í čiastočnej správnosti programov, |
| |
ale aj pri dokazovaní (ne)rozhodnuteľnosti vlastností programových |
| |
schém. |
| |
|
| |
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 sémantika 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} |
\begin{thebibliography}{99} |
| |
|
Prihlásiť
Registrácia
English
![[BACK]](http://cvsweb.platon.sk/icons/back.gif){kind=icon}
![[TXT]](http://cvsweb.platon.sk/icons/text.gif){kind=icon}
![[DIR]](http://cvsweb.platon.sk/icons/dir.gif){kind=icon}
Vyššie na