http://dev.dai.fmph.uniba.sk/api.php?action=feedcontributions&feedformat=atom&user=Siska 2026-05-30T08:43:15Z Príspevky používateľa MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Computational_Logic&diff=11916 2014-02-12T16:39:25Z

<p>Siska: change teacher, webpage</p> <hr /> <div>{{Course<br /> | name = Introduction to Computational 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 = http://dai.fmph.uniba.sk/~siska/udvl/<br /> | teacher = [[Jozef Siska|RNDr. Jozef Šiška]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]<br /> | email = siska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk<br /> | homepage = http://dai.fmph.uniba.sk/~siska/ 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>

Siska http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Computational_Logic/sk&diff=11915 2014-02-12T16:35:57Z

<p>Siska: zmena vyucujuceho, webstranky</p> <hr /> <div>{{Predmet<br /> | name = Úvod do výpočtovej logiky<br /> | code = 1-AIN-411<br /> | prerequisites = žiadne<br /> | semester = Letný<br /> | year = 2<br /> | credits = 5<br /> | form = P - prednáška (2), C - cvičenie (2)<br /> | evaluation = 50/50<br /> | webpage = http://dai.fmph.uniba.sk/~siska/udvl/<br /> | teacher = [[Jozef Siska|RNDr. Jozef Šiška]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]<br /> | email = siska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk<br /> | homepage = http://dai.fmph.uniba.sk/~siska/ http://ii.fmph.uniba.sk/~sefranek/<br /> | description = Kurz slúži ako úvod do matematickej logiky a výpočtovnej logiky pre študentov so zájmom o ďalšie šúdium umelej inteligencie, reprezentácie znalostí a kognitívnej vedy.<br /> | offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]<br /> | recommendations = žiadne<br /> }}</div>

Siska http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Computational_Logic/en&diff=11914 2014-02-12T16:34:03Z

<p>Siska: change teacher, webpage</p> <hr /> <div>{{Course<br /> | name = Introduction to Computational 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 = http://dai.fmph.uniba.sk/~siska/udvl/<br /> | teacher = [[Jozef Siska|RNDr. Jozef Šiška]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]<br /> | email = siska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk<br /> | homepage = http://dai.fmph.uniba.sk/~siska/ 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>

Siska http://dev.dai.fmph.uniba.sk/w?title=Jozef_Siska/sk&diff=9925 2012-04-12T13:06:30Z

<p>Siska: </p> <hr /> <div>{{Osoba<br /> | fullname = RNDr. Jozef Šiška<br /> | caption = Jozef Šiška<br /> | image = Yoyo.png<br /> | section = Oddelenie umelej inteligencie<br /> | position = učiteľ<br /> | phone = (+421 2 602 95) 444<br /> | room = i7<br /> | email = siska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk<br /> | web = [http://dai.fmph.uniba.sk/~siska/ homepage]<br /> | info =<br /> <br /> === Výučba ===<br /> * [[Answer Set Programming|Logické programovanie ASP]]<br /> <br /> === Výskum ===<br /> * knowledge representation, [[KR_Group]]<br /> * logic programming, answer set programming<br /> <br /> === Publikácie ===<br /> * ''chýbajú''<br /> }}</div>

Siska http://dev.dai.fmph.uniba.sk/w?title=Jozef_Siska/sk&diff=6438 2010-04-07T09:34:45Z

<p>Siska: </p> <hr /> <div>{{Osoba<br /> | fullname = RNDr. Jozef Šiška<br /> | caption = Jozef Šiška<br /> | image = Yoyo.png<br /> | section = Oddelenie umelej inteligencie<br /> | position = učiteľ<br /> | phone = (+421 2 602 95) 444<br /> | room = i7<br /> | email = siska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk<br /> | web = [http://ii.fmph.uniba.sk/~siska/ homepage]<br /> | info =<br /> <br /> === Výučba ===<br /> * [[Answer Set Programming|Logické programovanie ASP]]<br /> <br /> === Výskum ===<br /> * knowledge representation, [[KR_Group]]<br /> * logic programming, answer set programming<br /> <br /> === Publikácie ===<br /> * ''chýbajú''<br /> }}</div>

Siska http://dev.dai.fmph.uniba.sk/w?title=Jozef_Siska/en&diff=6437 2010-04-07T09:31:51Z

<p>Siska: </p> <hr /> <div>{{Person<br /> | fullname = RNDr. Jozef Šiška<br /> | caption = Jozef Šiška<br /> | image = Yoyo.png<br /> | section = Section of Artificial Intelligence<br /> | position = teacher<br /> | phone = +421 2 602 95 444<br /> | room = i7<br /> | email = siska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk<br /> | web = [http://ii.fmph.uniba.sk/~siska/ homepage]<br /> | info =<br /> <br /> === Teaching ===<br /> * [[Answer Set Programming]]<br /> <br /> === Research ===<br /> * knowledge representation, [[KR_Group]]<br /> * logic programming, answer set programming<br /> <br /> === Publications ===<br /> * ''none''<br /> }}</div>

Siska