http://dev.dai.fmph.uniba.sk/w?action=history&feed=atom&title=Introduction_to_Computational_Logic%2Fen 2026-05-10T08:38:03Z História úprav pre túto stránku na wiki MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Computational_Logic/en&diff=11914&oldid=prev 2014-02-12T16:34:03Z

<p>change teacher, webpage</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:34, 12. február 2014</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 = L - lecture (2), P - practicals (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 = L - lecture (2), P - practicals (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 = 50/50</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 = 50/50</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 = <del class="diffchange diffchange-inline">not available</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 = <ins class="diffchange diffchange-inline">http://dai.fmph.uniba.sk/~siska/udvl/</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; | teacher = [[<del class="diffchange diffchange-inline">Martin Homola</del>|RNDr. <del class="diffchange diffchange-inline">Martin Homola</del>]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]</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">Jozef Siska</ins>|RNDr. <ins class="diffchange diffchange-inline">Jozef Šiška</ins>]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]</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">homola</del>[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.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">siska</ins>[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.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">homola</del>/ http://ii.fmph.uniba.sk/~sefranek/</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">siska</ins>/ http://ii.fmph.uniba.sk/~sefranek/</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 course provides introduction to mathematical logic and to computational aspects of logic and is especially recommended to students who intend to undertake further courses on artificial intelligence, knowledge representation and cognitive science.</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 course provides introduction to mathematical logic and to computational aspects of logic and is especially recommended to students who intend to undertake further courses on artificial intelligence, knowledge representation and cognitive science.</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 = Obligatory-optional in [[Bachelor program in Applied Informatics]]</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 = Obligatory-optional in [[Bachelor program in Applied Informatics]]</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 = none</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 = none</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>

Siska http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Computational_Logic/en&diff=6952&oldid=prev 2010-09-17T00:40:59Z

<p>moved <a href="/w/Introduction_to_Computer_Logic/en" class="mw-redirect" title="Introduction to Computer Logic/en">Introduction to Computer Logic/en</a> to <a href="/w/Introduction_to_Computational_Logic/en" title="Introduction to Computational Logic/en">Introduction to Computational Logic/en</a>: Incorrect English translation</p> <table class='diff diff-contentalign-left'> <tr style='vertical-align: top;' lang='sk'> <td colspan='1' style="background-color: white; color:black; text-align: center;">← Staršia verzia</td> <td colspan='1' style="background-color: white; color:black; text-align: center;">Verzia zo dňa a času 00:40, 17. september 2010</td> </tr><tr><td colspan='2' style='text-align: center;' lang='sk'><div class="mw-diff-empty">(Žiaden rozdiel)</div> </td></tr></table>

Homola http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Computational_Logic/en&diff=5989&oldid=prev 2009-11-23T08:30:57Z

<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 08:30, 23. november 2009</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>{{Course</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>{{Course</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 = Introduction to <del class="diffchange diffchange-inline">Computer </del>Logic</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 = Introduction to <ins class="diffchange diffchange-inline">Computational </ins>Logic</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-411</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-411</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 = none</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 = none</div></td></tr> </table>

Sefranek http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Computational_Logic/en&diff=2723&oldid=prev 2008-08-24T14:19:39Z

<p>New page: {{Course | name = Introduction to Computer Logic | code = 1-AIN-411 | prerequisites = none | semester = Summer | year = 2 | credits = 5 | form = L - lecture (2), P - practica...</p> <p><b>Nová stránka</b></p><div>{{Course<br /> | name = Introduction to Computer Logic<br /> | code = 1-AIN-411<br /> | prerequisites = none<br /> | semester = Summer<br /> | year = 2<br /> | credits = 5<br /> | form = L - lecture (2), P - practicals (2)<br /> | evaluation = 50/50<br /> | webpage = not available<br /> | teacher = [[Martin Homola|RNDr. Martin Homola]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]<br /> | email = homola[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk<br /> | homepage = http://ii.fmph.uniba.sk/~homola/ http://ii.fmph.uniba.sk/~sefranek/<br /> | description = The course provides introduction to mathematical logic and to computational aspects of logic and is especially recommended to students who intend to undertake further courses on artificial intelligence, knowledge representation and cognitive science.<br /> | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]<br /> | recommendations = none<br /> }}</div>

Petrovic