http://dev.dai.fmph.uniba.sk/w?action=history&feed=atom&title=Introduction_to_Declarative_Programming%2Fsk 2026-04-07T21:59:26Z História úprav pre túto stránku na wiki MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Declarative_Programming/sk&diff=9731&oldid=prev 2012-03-02T11:58:04Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='sk'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Staršia verzia</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Verzia zo dňa a času 11:58, 2. marec 2012</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l9" >Riadok 9:</td> <td colspan="2" class="diff-lineno">Riadok 9:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | evaluation = 60/40</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | evaluation = 60/40</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | webpage = http://dai.fmph.uniba.sk/courses/udp</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | webpage = http://dai.fmph.uniba.sk/courses/udp</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | teacher = [[Jan Kluka|Mgr. Ján Kľuka, PhD.]], [[Jan Komara|<del class="diffchange diffchange-inline">ing</del>. Ján Komara, PhD.]]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | teacher = [[Jan Kluka|Mgr. Ján Kľuka, PhD.]], [[Jan Komara|<ins class="diffchange diffchange-inline">Ing</ins>. Ján Komara, PhD.]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | email = udp[[Image:zavinac.gif|@]]lists.dai.fmph.uniba.sk</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | email = udp[[Image:zavinac.gif|@]]lists.dai.fmph.uniba.sk</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://dai.fmph.uniba.sk/courses/udp</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://dai.fmph.uniba.sk/courses/udp</div></td></tr> </table>

Komara http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Declarative_Programming/sk&diff=7652&oldid=prev 2011-02-15T10:10:50Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='sk'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Staršia verzia</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Verzia zo dňa a času 10:10, 15. február 2011</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l9" >Riadok 9:</td> <td colspan="2" class="diff-lineno">Riadok 9:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | evaluation = 60/40</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | evaluation = 60/40</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | webpage = http://dai.fmph.uniba.sk/courses/udp</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | webpage = http://dai.fmph.uniba.sk/courses/udp</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | teacher = [[Jan Kluka|Mgr. Ján Kľuka, PhD.]], [[Jan Komara|ing. Ján Komara PhD.]]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | teacher = [[Jan Kluka|Mgr. Ján Kľuka, PhD.]], [[Jan Komara|ing. Ján Komara<ins class="diffchange diffchange-inline">, </ins>PhD.]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | email = udp[[Image:zavinac.gif|@]]lists.dai.fmph.uniba.sk</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | email = udp[[Image:zavinac.gif|@]]lists.dai.fmph.uniba.sk</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://dai.fmph.uniba.sk/courses/udp</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://dai.fmph.uniba.sk/courses/udp</div></td></tr> </table>

Kluka http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Declarative_Programming/sk&diff=7649&oldid=prev 2011-02-15T10:09:29Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='sk'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Staršia verzia</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Verzia zo dňa a času 10:09, 15. február 2011</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8" >Riadok 8:</td> <td colspan="2" class="diff-lineno">Riadok 8:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | form = C - cvičenie (1), K - kurz (2)</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | form = C - cvičenie (1), K - kurz (2)</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | evaluation = 60/40</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | evaluation = 60/40</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | webpage = http://<del class="diffchange diffchange-inline">ii</del>.fmph.uniba.sk<del class="diffchange diffchange-inline">/cl/view</del>/courses/<del class="diffchange diffchange-inline">1-AIN-505-</del>udp<del class="diffchange diffchange-inline">/?lang=sk</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | webpage = http://<ins class="diffchange diffchange-inline">dai</ins>.fmph.uniba.sk/courses/udp</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | teacher = [[<del class="diffchange diffchange-inline">Pavol Voda</del>|<del class="diffchange diffchange-inline">doc</del>. <del class="diffchange diffchange-inline">RNDr. Paul J. Voda</del>, <del class="diffchange diffchange-inline">CSc</del>.]], [[Jan <del class="diffchange diffchange-inline">Kluka</del>|<del class="diffchange diffchange-inline">Mgr</del>. Ján <del class="diffchange diffchange-inline">Kľuka</del>]]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | teacher = [[<ins class="diffchange diffchange-inline">Jan Kluka</ins>|<ins class="diffchange diffchange-inline">Mgr</ins>. <ins class="diffchange diffchange-inline">Ján Kľuka</ins>, <ins class="diffchange diffchange-inline">PhD</ins>.]], [[Jan <ins class="diffchange diffchange-inline">Komara</ins>|<ins class="diffchange diffchange-inline">ing</ins>. Ján <ins class="diffchange diffchange-inline">Komara PhD.</ins>]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | email = <del class="diffchange diffchange-inline">voda</del>[[Image:zavinac.gif|@]]<del class="diffchange diffchange-inline">fmph</del>.<del class="diffchange diffchange-inline">uniba.sk, kluka[[Image:zavinac.gif|@]]ii</del>.fmph.uniba.sk</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | email = <ins class="diffchange diffchange-inline">udp</ins>[[Image:zavinac.gif|@]]<ins class="diffchange diffchange-inline">lists</ins>.<ins class="diffchange diffchange-inline">dai</ins>.fmph.uniba.sk</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://<del class="diffchange diffchange-inline">ii</del>.fmph.uniba.sk/<del class="diffchange diffchange-inline">~voda</del>/ <del class="diffchange diffchange-inline">http://ii.fmph.uniba.sk/~kluka</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://<ins class="diffchange diffchange-inline">dai</ins>.fmph.uniba.sk/<ins class="diffchange diffchange-inline">courses</ins>/<ins class="diffchange diffchange-inline">udp</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | description = Oboznámiť sa so základnými technikami a dátovými štruktúrami deklaratívnej paradigmy programovania, použiteľnými vo väčšine deklaratívnych jazykov (LISP, ML, Haskell, Prolog). Získať iný pohľad na programovanie ako v imperatívnej objektovoorientovanej paradigme.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | description = Oboznámiť sa so základnými technikami a dátovými štruktúrami deklaratívnej paradigmy programovania, použiteľnými vo väčšine deklaratívnych jazykov (LISP, ML, Haskell, Prolog). Získať iný pohľad na programovanie ako v imperatívnej objektovoorientovanej paradigme.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | recommendations = žiadne</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | recommendations = žiadne</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>}}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>}}</div></td></tr> </table>

Kluka http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Declarative_Programming/sk&diff=5580&oldid=prev 2009-09-22T13:50:17Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='sk'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Staršia verzia</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Verzia zo dňa a času 13:50, 22. september 2009</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l9" >Riadok 9:</td> <td colspan="2" class="diff-lineno">Riadok 9:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | evaluation = 60/40</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | evaluation = 60/40</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-505-udp/?lang=sk</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-505-udp/?lang=sk</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | teacher = doc. RNDr. Paul J. Voda, CSc., <del class="diffchange diffchange-inline">RNDr</del>. Ján Kľuka</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | teacher = <ins class="diffchange diffchange-inline">[[Pavol Voda|</ins>doc. RNDr. Paul J. Voda, CSc.<ins class="diffchange diffchange-inline">]]</ins>, <ins class="diffchange diffchange-inline">[[Jan Kluka|Mgr</ins>. Ján Kľuka<ins class="diffchange diffchange-inline">]]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | email = voda[[Image:zavinac.gif|@]]fmph.uniba.sk, kluka[[Image:zavinac.gif|@]]ii.fmph.uniba.sk</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | email = voda[[Image:zavinac.gif|@]]fmph.uniba.sk, kluka[[Image:zavinac.gif|@]]ii.fmph.uniba.sk</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka</div></td></tr> </table>

Kluka http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Declarative_Programming/sk&diff=1969&oldid=prev 2008-08-20T19:39:13Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='sk'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Staršia verzia</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Verzia zo dňa a času 19:39, 20. august 2008</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l12" >Riadok 12:</td> <td colspan="2" class="diff-lineno">Riadok 12:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | email = voda[[Image:zavinac.gif|@]]fmph.uniba.sk, kluka[[Image:zavinac.gif|@]]ii.fmph.uniba.sk</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | email = voda[[Image:zavinac.gif|@]]fmph.uniba.sk, kluka[[Image:zavinac.gif|@]]ii.fmph.uniba.sk</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | description = <del class="diffchange diffchange-inline">The aim is to present computer programming as </del>a <del class="diffchange diffchange-inline">mathematical discipline where the definition of programs are definitions of computable functions over the domain of natural numbers. Data structures are coded as number in a natural style of </del>LISP. <del class="diffchange diffchange-inline">The course has computer labs in the programming and verification system CL</del>.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | description = <ins class="diffchange diffchange-inline">Oboznámiť sa so základnými technikami </ins>a <ins class="diffchange diffchange-inline">dátovými štruktúrami deklaratívnej paradigmy programovania, použiteľnými vo väčšine deklaratívnych jazykov (</ins>LISP<ins class="diffchange diffchange-inline">, ML, Haskell, Prolog)</ins>. <ins class="diffchange diffchange-inline">Získať iný pohľad na programovanie ako v imperatívnej objektovoorientovanej paradigme</ins>.</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | offered_in = <del class="diffchange diffchange-inline">Povinný </del>v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | offered_in = <ins class="diffchange diffchange-inline">Povinne-voliteľný </ins>v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | recommendations = žiadne</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | recommendations = žiadne</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>}}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>}}</div></td></tr> </table>

Petrovic http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Declarative_Programming/sk&diff=1838&oldid=prev 2008-08-20T17:44:21Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='sk'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Staršia verzia</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Verzia zo dňa a času 17:44, 20. august 2008</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Riadok 1:</td> <td colspan="2" class="diff-lineno">Riadok 1:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{Predmet</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>{{Predmet</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | name = <del class="diffchange diffchange-inline">Introduction to Declarative Programming</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | name = <ins class="diffchange diffchange-inline">Úvod do deklaratívneho programovania</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | code = 1-AIN-505</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | code = 1-AIN-505</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | prerequisites = žiadne</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | prerequisites = žiadne</div></td></tr> </table>

Petrovic http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Declarative_Programming/sk&diff=1658&oldid=prev 2008-08-20T16:36:25Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='sk'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Staršia verzia</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Verzia zo dňa a času 16:36, 20. august 2008</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Riadok 1:</td> <td colspan="2" class="diff-lineno">Riadok 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>{{<del class="diffchange diffchange-inline">Course</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>{{<ins class="diffchange diffchange-inline">Predmet</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | name = Introduction to Declarative Programming</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | name = Introduction to Declarative Programming</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | code = 1-AIN-505</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | code = 1-AIN-505</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | prerequisites = <del class="diffchange diffchange-inline">none</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | prerequisites = <ins class="diffchange diffchange-inline">žiadne</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | semester = <del class="diffchange diffchange-inline">Summer</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | semester = <ins class="diffchange diffchange-inline">Letný</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | year = 1</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | year = 1</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | credits = 4</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | credits = 4</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | form = <del class="diffchange diffchange-inline">P </del>- <del class="diffchange diffchange-inline">practicals </del>(1), <del class="diffchange diffchange-inline">C </del>- <del class="diffchange diffchange-inline">course </del>(2)</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | form = <ins class="diffchange diffchange-inline">C </ins>- <ins class="diffchange diffchange-inline">cvičenie </ins>(1), <ins class="diffchange diffchange-inline">K </ins>- <ins class="diffchange diffchange-inline">kurz </ins>(2)</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | evaluation = 60/40</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | evaluation = 60/40</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-505-udp/?lang=sk</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-505-udp/?lang=sk</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l13" >Riadok 13:</td> <td colspan="2" class="diff-lineno">Riadok 13:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | description = The aim is to present computer programming as a mathematical discipline where the definition of programs are definitions of computable functions over the domain of natural numbers. Data structures are coded as number in a natural style of LISP. The course has computer labs in the programming and verification system CL.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | description = The aim is to present computer programming as a mathematical discipline where the definition of programs are definitions of computable functions over the domain of natural numbers. Data structures are coded as number in a natural style of LISP. The course has computer labs in the programming and verification system CL.</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | offered_in = <del class="diffchange diffchange-inline">Obligatory in </del>[[Bachelor program in Applied Informatics]]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | offered_in = <ins class="diffchange diffchange-inline">Povinný v </ins>[[Bachelor program in Applied Informatics<ins class="diffchange diffchange-inline">|Bakálarskom programe Aplikovaná informatika</ins>]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | recommendations = <del class="diffchange diffchange-inline">none</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;&#160; | recommendations = <ins class="diffchange diffchange-inline">žiadne</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>}}</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>}}</div></td></tr> </table>

Petrovic http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Declarative_Programming/sk&diff=1507&oldid=prev 2008-08-20T13:43:28Z

<p>New page: {{Course | name = Introduction to Declarative Programming | code = 1-AIN-505 | prerequisites = none | semester = Summer | year = 1 | credits = 4 | form = P - practicals (1), ...</p> <p><b>Nová stránka</b></p><div>{{Course<br /> | name = Introduction to Declarative Programming<br /> | code = 1-AIN-505<br /> | prerequisites = none<br /> | semester = Summer<br /> | year = 1<br /> | credits = 4<br /> | form = P - practicals (1), C - course (2)<br /> | evaluation = 60/40<br /> | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-505-udp/?lang=sk<br /> | teacher = doc. RNDr. Paul J. Voda, CSc., RNDr. Ján Kľuka<br /> | email = voda[[Image:zavinac.gif|@]]fmph.uniba.sk, kluka[[Image:zavinac.gif|@]]ii.fmph.uniba.sk<br /> | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka<br /> | description = The aim is to present computer programming as a mathematical discipline where the definition of programs are definitions of computable functions over the domain of natural numbers. Data structures are coded as number in a natural style of LISP. The course has computer labs in the programming and verification system CL.<br /> | offered_in = Obligatory in [[Bachelor program in Applied Informatics]]<br /> | recommendations = none<br /> }}</div>

Petrovic