| version 1.7, 2007/08/09 06:28:55 |
version 1.8, 2007/08/11 03:20:28 |
|
|
| % 26/02/2003 - created |
% 26/02/2003 - created |
| % |
% |
| |
|
| % $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.6 2007-07-15 00:43:13 nepto Exp $ |
% $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.7 2007-08-09 06:28:55 nepto Exp $ |
| |
|
| \chapter*{Záver} |
\chapter*{Záver} |
| |
\addcontentsline{toc}{chapter}{Záver} |
| |
|
| Cieľom našej práce bolo vytvoriť zbierku riešených úloh z matematickej |
Cieľom našej práce bolo vytvoriť zbierku riešených úloh z matematickej |
| teórie programovania. Táto |
teórie programovania. Táto |
| Line 28 Zbierka ponúka širokú škálu tématických |
|
| Line 29 Zbierka ponúka širokú škálu tématických |
|
| tejto modernej a vzhľadom na svoje široké možnosti uplatnenia aj veľmi |
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 |
populárnej matematicko-informatickej disciplíny. Pri riešení problémov |
| si čitateľ upevňuje nadobudnuté poznatky, precvičuje si základné |
si čitateľ upevňuje nadobudnuté poznatky, precvičuje si základné |
| operácie so schémami a najmä si zautomatizuje niektoré štandardné postupy, |
operácie so schémami a najmä si zautomatizuje niektoré štandardné |
| často využívané či už pri dokazovaní čiastočnej správnosti programov, |
postupy, často využívané či už pri dokazovaní (ne)rozhodnuteľnosti |
| ale aj pri dokazovaní (ne)rozhodnuteľnosti vlastností programových |
vlastností programových schém ako aj dokazovaní čiastočnej správnosti |
| schém. |
|
| |
|
| Vzhľadom na veľmi široký záber disciplíny akou je matematická teória |
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é |
programovania nebolo možné v zbierke obsiahnuť všetky jej skúmané |
| Line 39 odvetvia. Myslíme si však, že ich výber |
|
| Line 39 odvetvia. Myslíme si však, že ich výber |
|
| zahŕňa väčšinu z najpodstatnejších, najviac prebádaných a |
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, |
najvyužívanejších tématických okruhov, akými sú schémy, programy, |
| interpretácie, (ne)rozhodnuteľnosť vlastností, správnosť programov, |
interpretácie, (ne)rozhodnuteľnosť vlastností, správnosť programov, |
| dokazovanie správnosti a sémantika programov. |
dokazovanie správnosti a úvod do sémantiky programov. |
| |
|
| Samozrejme si uvedomujeme, že existuje ešte množstvo ďalších tém, ktoré |
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é. |
sa do zbierky nezmestili a tiež ich nemôžeme označiť za nepodstatné. |
Login
Registration
Slovak
![[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}
Up to