Opensource.Platon.SK CVS: doc/ztp-zbierka/05-zaver.tex - diff

   Up to  [Platon] / doc / ztp-zbierka
Diff for doc/ztp-zbierka/05-zaver.tex between version 1.6 and 1.7


version 1.6, 2007/07/15 00:43:13
version 1.7, 2007/08/09 06:28:55



Line 10 




Line 10 




 % 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}


 
 









Legend:


Removed from v.1.6
 


changed lines


 
Added in v.1.7


















Platon Group <platon@platon.org> http://platon.org/
  Up to  [Platon] / doc / ztp-zbierka
-version 1.6, 2007/07/15 00:43:13
+version 1.7, 2007/08/09 06:28:55
 Line 10
 Line 10
 Line 10
  % 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}
 Legend:


Removed from v.1.6
 


changed lines


 
Added in v.1.7
 Legend:


Removed from v.1.6
 


changed lines


 
Added in v.1.7
-Removed from v.1.6
+Added in v.1.7


Copyright © 2002-2006 Platon Group Site powered by Metafox CMS	Go to Top