http://dev.dai.fmph.uniba.sk/api.php?action=feedcontributions&feedformat=atom&user=Pukancova 2026-04-28T00:34:19Z Príspevky používateľa MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=14593 2016-02-15T16:01:08Z

<p>Pukancova: update zoznamu doktorandov</p> <hr /> <div>[[Category:Výučba]]<br /> = Akademické podporné centrum =<br /> __TOC__<br /> <br /> Akademické podporné centrum pri KAI má za cieľ:<br /> * pomôcť (najmä) študentom [[Bachelor program in Applied Informatics|bakalárskeho štúdia]] pri prechode zo strednej na vysokú školu;<br /> * rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> Každý '''pondelok od 14:00 do 15:40 hod''' je v miestnosti '''I-23''' (informatický pavilón) k dispozícii aspoň jeden doktorand (je však potrebné dostaviť sa do 15:00). Na inom čase a mieste je možné dohodnúť sa individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {|<br /> |+Doktorandi v Akademickom podpornom centre a ich špecializácie<br /> |-<br /> ! Meno<br /> ! Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Vladimir Boza|Mgr. Vladimír Boža]]<br /> |<br /> |-<br /> | [http://cogsci.fmph.uniba.sk/~gergel/ Mgr. Peter Gergeľ]<br /> | umelá inteligencia, neurónové siete, Java, C++, linux<br /> |-<br /> | [[Andrej Jursa|Mgr. Andrej Jursa]]<br /> | umelá inteligencia, neurónové siete, MATLAB, Java, PHP, HTML, CSS<br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | neurónové siete, MATLAB [, algoritmy, FoJA, strojové učenie, C\(++&amp;#124;#\)\?, Java, Python]<br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika, Java, C++<br /> |-<br /> | [[Ivor Uhliarik|Mgr. Ivor Uhliarik]]<br /> | AI, (fuzzy) expertné systémy, strojové učenie, spracovanie jazyka; C, C++, C#, Java, Python; OS<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/dropcova Mgr. Veronika Dropčová]<br /> | Pascal, pedagogický výskum, štatistika pre pedagogický výskum<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/kovacova Mgr. Natália Kováčová]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/sunikova Mgr. Dana Šuníková]<br /> | Java, PHP<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=14433 2015-10-22T08:48:06Z

<p>Pukancova: aktualizacia zoznamu doktorandov</p> <hr /> <div>[[Category:Výučba]]<br /> = Akademické podporné centrum =<br /> __TOC__<br /> <br /> Akademické podporné centrum pri KAI má za cieľ:<br /> * pomôcť (najmä) študentom [[Bachelor program in Applied Informatics|bakalárskeho štúdia]] pri prechode zo strednej na vysokú školu;<br /> * rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> Každý '''pondelok od 14:00 do 15:40 hod''' je v miestnosti '''I-23''' (informatický pavilón) k dispozícii aspoň jeden doktorand (je však potrebné dostaviť sa do 15:00). Na inom čase a mieste je možné dohodnúť sa individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {|<br /> |+Doktorandi v Akademickom podpornom centre a ich špecializácie<br /> |-<br /> ! Meno<br /> ! Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Vladimir Boza|Mgr. Vladimír Boža]]<br /> |<br /> |-<br /> | [http://cogsci.fmph.uniba.sk/~gergel/ Mgr. Peter Gergeľ]<br /> | umelá inteligencia, neurónové siete, Java, C++, linux<br /> |-<br /> | [[Andrej Jursa|Mgr. Andrej Jursa]]<br /> | <br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | neurónové siete, MATLAB [, algoritmy, FoJA, strojové učenie, C\(++&amp;#124;#\)\?, Java, Python]<br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Michal Piovarci|Mgr. Michal Piovarči]]<br /> | počítačová grafika, OpenGL, C++14, Visual Studio<br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika, Java, C++<br /> |-<br /> | [https://dai.fmph.uniba.sk/w/Radoslav_Skoviera Mgr. Radoslav Škoviera]<br /> |<br /> |-<br /> | [[Ivor Uhliarik|Mgr. Ivor Uhliarik]]<br /> | AI, (fuzzy) expertné systémy, strojové učenie, spracovanie jazyka; C, C++, Java, Python; OS<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/dropcova Mgr. Veronika Dropčová]<br /> | Pascal, pedagogický výskum, štatistika pre pedagogický výskum<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/kovacova Mgr. Natália Kováčová]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/sunikova Mgr. Dana Šuníková]<br /> | Java, PHP<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]], [[Martin Balaz|RNDr. Martin Baláž]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=14430 2015-10-21T10:59:33Z

<p>Pukancova: aktualizacia zoznamu doktorandov</p> <hr /> <div>[[Category:Výučba]]<br /> = Akademické podporné centrum =<br /> __TOC__<br /> <br /> Akademické podporné centrum pri KAI má za cieľ:<br /> * pomôcť (najmä) študentom [[Bachelor program in Applied Informatics|bakalárskeho štúdia]] pri prechode zo strednej na vysokú školu;<br /> * rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> Každý '''pondelok od 14:00 do 15:40 hod''' je v miestnosti '''I-23''' (informatický pavilón) k dispozícii aspoň jeden doktorand (je však potrebné dostaviť sa do 15:00). Na inom čase a mieste je možné dohodnúť sa individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {|<br /> |+Doktorandi v Akademickom podpornom centre a ich špecializácie<br /> |-<br /> ! Meno<br /> ! Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Vladimir Boza|Mgr. Vladimír Boža]]<br /> |<br /> |-<br /> | [http://cogsci.fmph.uniba.sk/~gergel/ Mgr. Peter Gergeľ]<br /> | umelá inteligencia, neurónové siete, Java, C++, linux<br /> |-<br /> | [[Andrej Jursa|Mgr. Andrej Jursa]]<br /> | <br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | neurónové siete, MATLAB [, algoritmy, FoJA, strojové učenie, C\(++&amp;#124;#\)\?, Java, Python]<br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Mikulas Pataky|RNDr. Mikuláš Pataky]]<br /> | <br /> |-<br /> | [[Michal Piovarci|Mgr. Michal Piovarči]]<br /> | <br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika, Java, C++<br /> |-<br /> | [https://dai.fmph.uniba.sk/w/Radoslav_Skoviera Mgr. Radoslav Škoviera]<br /> |<br /> |-<br /> | [[Ivor Uhliarik|Mgr. Ivor Uhliarik]]<br /> | AI, (fuzzy) expertné systémy, strojové učenie, spracovanie jazyka; C, C++, Java, Python; OS<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/dropcova Mgr. Veronika Dropčová]<br /> | Pascal, pedagogický výskum, štatistika pre pedagogický výskum<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/kovacova Mgr. Natália Kováčová]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/sunikova Mgr. Dana Šuníková]<br /> | Java, PHP<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]], [[Martin Balaz|RNDr. Martin Baláž]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=14429 2015-10-21T10:32:12Z

<p>Pukancova: </p> <hr /> <div>[[Category:Výučba]]<br /> = Akademické podporné centrum =<br /> __TOC__<br /> <br /> Akademické podporné centrum pri KAI má za cieľ:<br /> * pomôcť (najmä) študentom [[Bachelor program in Applied Informatics|bakalárskeho štúdia]] pri prechode zo strednej na vysokú školu;<br /> * rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> Každý '''pondelok od 14:00 do 15:40 hod''' je v miestnosti '''I-23''' (informatický pavilón) k dispozícii aspoň jeden doktorand (je však potrebné dostaviť sa do 15:00). Na inom čase a mieste je možné dohodnúť sa individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {|<br /> |+Doktorandi v Akademickom podpornom centre a ich špecializácie<br /> |-<br /> ! Meno<br /> ! Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Vladimir Boza|Mgr. Vladimír Boža]]<br /> |<br /> |-<br /> | [http://cogsci.fmph.uniba.sk/~gergel/ Mgr. Peter Gergeľ]<br /> | umelá inteligencia, neurónové siete, Java, C++, linux<br /> |-<br /> | [[Michal Chladek|Mgr. Michal Chládek]]<br /> | <br /> |-<br /> | [[Andrej Jursa|Mgr. Andrej Jursa]]<br /> | <br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | neurónové siete, MATLAB [, algoritmy, FoJA, strojové učenie, C\(++&amp;#124;#\)\?, Java, Python]<br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Mikulas Pataky|RNDr. Mikuláš Pataky]]<br /> | <br /> |-<br /> | [[Michal Piovarci|Mgr. Michal Piovarči]]<br /> | <br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika, Java, C++<br /> |-<br /> | [https://dai.fmph.uniba.sk/w/Radoslav_Skoviera Mgr. Radoslav Škoviera]<br /> |<br /> |-<br /> | [[Ivor Uhliarik|Mgr. Ivor Uhliarik]]<br /> | AI, (fuzzy) expertné systémy, strojové učenie, spracovanie jazyka; C, C++, Java, Python; OS<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/dropcova Mgr. Veronika Dropčová]<br /> | Pascal, pedagogický výskum, štatistika pre pedagogický výskum<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/kovacova Mgr. Natália Kováčová]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/sunikova Mgr. Dana Šuníková]<br /> |<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]], [[Martin Balaz|RNDr. Martin Baláž]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=14427 2015-10-21T09:38:46Z

<p>Pukancova: </p> <hr /> <div>[[Category:Výučba]]<br /> = Akademické podporné centrum =<br /> __TOC__<br /> <br /> Akademické podporné centrum pri KAI má za cieľ:<br /> * pomôcť (najmä) študentom [[Bachelor program in Applied Informatics|bakalárskeho štúdia]] pri prechode zo strednej na vysokú školu;<br /> * rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> Každý '''pondelok od 14:00 do 15:40 hod''' je v miestnosti '''I-23''' (informatický pavilón) k dispozícii aspoň jeden doktorand (je však potrebné dostaviť sa do 15:00). Na inom čase a mieste je možné dohodnúť sa individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {|<br /> |+Doktorandi v Akademickom podpornom centre a ich špecializácie<br /> |-<br /> ! Meno<br /> ! Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Vladimir Boza|Mgr. Vladimír Boža]]<br /> |<br /> |-<br /> | [[Viliam Dillinger|Mgr. Viliam Dillinger]]<br /> | umelá inteligencia, neurónové siete<br /> |-<br /> | [http://cogsci.fmph.uniba.sk/~gergel/ Mgr. Peter Gergeľ]<br /> | umelá inteligencia, neurónové siete, Java, C++, linux<br /> |-<br /> | [[Michal Chladek|Mgr. Michal Chládek]]<br /> | <br /> |-<br /> | [[Andrej Jursa|Mgr. Andrej Jursa]]<br /> | <br /> |-<br /> | [[Michal Kovac|Mgr. Michal Kováč]]<br /> | teoreticka informatika, Ruby, Java, C++, www<br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | <br /> |-<br /> | [[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]<br /> | <br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Mikulas Pataky|RNDr. Mikuláš Pataky]]<br /> | <br /> |-<br /> | [[Michal Piovarci|Mgr. Michal Piovarči]]<br /> | <br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika, Java, C++<br /> |-<br /> | [https://dai.fmph.uniba.sk/w/Radoslav_Skoviera Mgr. Radoslav Škoviera]<br /> |<br /> |-<br /> | [[Ivor Uhliarik|Mgr. Ivor Uhliarik]]<br /> | AI, (fuzzy) expertné systémy, strojové učenie, spracovanie jazyka; C, C++, Java, Python; OS<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/mayerova Mgr. Karolína Mayerová]<br /> | Imagine, edukačná robotika, Pascal, pedagogický výskum<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/dropcova Mgr. Veronika Dropčová]<br /> | Pascal, pedagogický výskum, štatistika pre pedagogický výskum<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/kovacova Mgr. Natália Kováčová]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/sunikova Mgr. Dana Šuníková]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/veselovska Mgr. Michaela Veselovská]<br /> | Edukačná robotika, základy C++, pedagogický výskum<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]], [[Martin Balaz|RNDr. Martin Baláž]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=14426 2015-10-21T09:22:05Z

<p>Pukancova: aktualizacia zoznamu doktorandov</p> <hr /> <div>[[Category:Výučba]]<br /> = Akademické podporné centrum =<br /> __TOC__<br /> <br /> Akademické podporné centrum pri KAI má za cieľ:<br /> * pomôcť (najmä) študentom [[Bachelor program in Applied Informatics|bakalárskeho štúdia]] pri prechode zo strednej na vysokú školu;<br /> * rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> Každý '''pondelok od 14:00 do 15:40 hod''' je v miestnosti '''I-23''' (informatický pavilón) k dispozícii aspoň jeden doktorand (je však potrebné dostaviť sa do 15:00). Na inom čase a mieste je možné dohodnúť sa individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {|<br /> |+Doktorandi v Akademickom podpornom centre a ich špecializácie<br /> |-<br /> ! Meno<br /> ! Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Vladimir Boza|Mgr. Vladimír Boža]]<br /> |<br /> |-<br /> | [[Viliam Dillinger|Mgr. Viliam Dillinger]]<br /> | umelá inteligencia, neurónové siete<br /> |-<br /> | [http://cogsci.fmph.uniba.sk/~gergel/ Mgr. Peter Gergeľ]<br /> | umelá inteligencia, neurónové siete, Java, C++, linux<br /> |-<br /> | [[Michal Chladek|Mgr. Michal Chládek]]<br /> | <br /> |-<br /> | [[Andrej Jursa|Mgr. Andrej Jursa]]<br /> | <br /> |-<br /> | [[Michal Kovac|Mgr. Michal Kováč]]<br /> | teoreticka informatika, Ruby, Java, C++, www<br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | <br /> |-<br /> | [[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]<br /> | <br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Mikulas Pataky|RNDr. Mikuláš Pataky]]<br /> | <br /> |-<br /> | [[Michal Piovarci|Mgr. Michal Piovarči]]<br /> | <br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika, Java, C++<br /> |-<br /> | [https://dai.fmph.uniba.sk/w/Radoslav_Skoviera Mgr. Radoslav Škoviera]<br /> |<br /> |-<br /> | [[Ivor Uhliarik|Mgr. Ivor Uhliarik]]<br /> | AI, (fuzzy) expertné systémy, strojové učenie, spracovanie jazyka; C, C++, Java, Python; OS<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/mayerova Mgr. Karolína Mayerová]<br /> | Imagine, edukačná robotika, Pascal, pedagogický výskum<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/dropcova Mgr. Veronika Dropčová]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/kovacova Mgr. Natália Kováčová]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/sunikova Mgr. Dana Šuníková]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/veselovska Mgr. Michaela Veselovská]<br /> | Edukačná robotika, základy C++, pedagogický výskum<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]], [[Martin Balaz|RNDr. Martin Baláž]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=14425 2015-10-21T09:05:18Z

<p>Pukancova: aktualizacia zoznamu doktorandov</p> <hr /> <div>[[Category:Výučba]]<br /> = Akademické podporné centrum =<br /> __TOC__<br /> <br /> Akademické podporné centrum pri KAI má za cieľ:<br /> * pomôcť (najmä) študentom [[Bachelor program in Applied Informatics|bakalárskeho štúdia]] pri prechode zo strednej na vysokú školu;<br /> * rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> Každý '''pondelok od 14:00 do 15:40 hod''' je v miestnosti '''I-23''' (informatický pavilón) k dispozícii aspoň jeden doktorand (je však potrebné dostaviť sa do 15:00). Na inom čase a mieste je možné dohodnúť sa individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {|<br /> |+Doktorandi v Akademickom podpornom centre a ich špecializácie<br /> |-<br /> ! Meno<br /> ! Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Vladimir Boza|Mgr. Vladimír Boža]]<br /> |<br /> |-<br /> | [[Viliam Dillinger|Mgr. Viliam Dillinger]]<br /> | umelá inteligencia, neurónové siete<br /> |-<br /> | [http://cogsci.fmph.uniba.sk/~gergel/ Mgr. Peter Gergeľ]<br /> | umelá inteligencia, neurónové siete, Java, C++, linux<br /> |-<br /> | [[Michal Chladek|Mgr. Michal Chládek]]<br /> | <br /> |-<br /> | [[Andrej Jursa|Mgr. Andrej Jursa]]<br /> | <br /> |-<br /> | [[Michal Kovac|Mgr. Michal Kováč]]<br /> | teoreticka informatika, Ruby, Java, C++, www<br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | <br /> |-<br /> | [[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]<br /> | <br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Mikulas Pataky|RNDr. Mikuláš Pataky]]<br /> | <br /> |-<br /> | [[Michal Piovarci|Mgr. Michal Piovarči]]<br /> | <br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika, Java, C++<br /> |-<br /> | [https://dai.fmph.uniba.sk/w/Radoslav_Skoviera Mgr. Radoslav Škoviera]<br /> |<br /> |-<br /> | [[Ivor Uhliarik|Mgr. Ivor Uhliarik]]<br /> | AI, (fuzzy) expertné systémy, strojové učenie, spracovanie jazyka; C, C++, Java, Python; OS<br /> |-<br /> | [[Julia Kucerova|Mgr. Júlia Kučerová]]<br /> | pocitacova grafika, pocitacove videnie, Matlab<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/mayerova Mgr. Karolína Mayerová]<br /> | Imagine, edukačná robotika, Pascal, pedagogický výskum<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/dropcova Mgr. Veronika Dropčová]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/kovacova Mgr. Natália Kováčová]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/sunikova Mgr. Dana Šuníková]<br /> |<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/veselovska Mgr. Michaela Veselovská]<br /> | Edukačná robotika, základy C++, pedagogický výskum<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]], [[Martin Balaz|RNDr. Martin Baláž]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=14405 2015-10-14T08:59:11Z

<p>Pukancova: uprava informacii kedy a kde</p> <hr /> <div>[[Category:Výučba]]<br /> = Akademické podporné centrum =<br /> __TOC__<br /> <br /> Akademické podporné centrum pri KAI má za cieľ:<br /> * pomôcť (najmä) študentom [[Bachelor program in Applied Informatics|bakalárskeho štúdia]] pri prechode zo strednej na vysokú školu;<br /> * rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> Každý '''pondelok od 14:00 do 15:40 hod''' je v miestnosti '''I-23''' (informatický pavilón) k dispozícii aspoň jeden doktorand (je však potrebné dostaviť sa do 15:00). Na inom čase a mieste je možné dohodnúť sa individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {|<br /> |+Doktorandi v Akademickom podpornom centre a ich špecializácie<br /> |-<br /> ! Meno<br /> ! Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Viliam Dillinger|Mgr. Viliam Dillinger]]<br /> | umelá inteligencia, neurónové siete<br /> |-<br /> | [[Michal Kovac|Mgr. Michal Kováč]]<br /> | teoreticka informatika, Ruby, Java, C++, www<br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | <br /> |-<br /> | [[Julia Kucerova|Mgr. Júlia Kučerová]]<br /> | pocitacova grafika, pocitacove videnie, Matlab<br /> |-<br /> | [[Martin Madaras|Mgr. Martin Madaras]]<br /> | pocitacova grafika, opengl, shaders, C++<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/mayerova Mgr. Karolína Mayerová]<br /> | Imagine, edukačná robotika, Pascal, pedagogický výskum<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/dropcova Mgr. Veronika Dropčová]<br /> |<br /> |-<br /> | Mgr. Natália Kováčová<br /> |<br /> |-<br /> | Mgr. Dana Šuníková<br /> |<br /> |-<br /> | [https://dai.fmph.uniba.sk/w/Radoslav_Skoviera Mgr. Radoslav Škoviera]<br /> |<br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Michal Piovarci|Mgr. Michal Piovarči]]<br /> | <br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika, Java, C++<br /> |-<br /> | [[Andrej Jursa|Mgr. Andrej Jursa]]<br /> | <br /> |-<br /> | [[Ivor Uhliarik|Mgr. Ivor Uhliarik]]<br /> | AI, (fuzzy) expertné systémy, strojové učenie, spracovanie jazyka; C, C++, Java, Python; OS<br /> |-<br /> |-<br /> | [http://cogsci.fmph.uniba.sk/~gergel/ Mgr. Peter Gergeľ]<br /> | umelá inteligencia, neurónové siete, Java, C++, linux<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/veselovska Mgr. Michaela Veselovská]<br /> | Edukačná robotika, základy C++, pedagogický výskum<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]], [[Martin Balaz|RNDr. Martin Baláž]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=14277 2015-10-06T21:00:10Z

<p>Pukancova: pridany prvaci doktorandi, zmenene organizacne zabezpecenie (Miso Kovac nahradeny Martinom Balazom)</p> <hr /> <div>[[Category:Výučba]]<br /> = Akademické podporné centrum =<br /> __TOC__<br /> <br /> Akademické podporné centrum pri KAI má za cieľ:<br /> * pomôcť (najmä) študentom [[Bachelor program in Applied Informatics|bakalárskeho štúdia]] pri prechode zo strednej na vysokú školu;<br /> * rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> Každý '''pondelok od 14:00 do 15:00 hod''' je v miestnosti '''I-23''' (informatický pavilón) k dispozícii aspoň jeden doktorand. Na inom čase a mieste je sa možné dohodnúť individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {|<br /> |+Doktorandi v Akademickom podpornom centre a ich špecializácie<br /> |-<br /> ! Meno<br /> ! Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Viliam Dillinger|Mgr. Viliam Dillinger]]<br /> | umelá inteligencia, neurónové siete<br /> |-<br /> | [[Michal Kovac|Mgr. Michal Kováč]]<br /> | teoreticka informatika, Ruby, Java, C++, www<br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | <br /> |-<br /> | [[Julia Kucerova|Mgr. Júlia Kučerová]]<br /> | pocitacova grafika, pocitacove videnie, Matlab<br /> |-<br /> | [[Martin Madaras|Mgr. Martin Madaras]]<br /> | pocitacova grafika, opengl, shaders, C++<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/mayerova Mgr. Karolína Mayerová]<br /> | Imagine, edukačná robotika, Pascal, pedagogický výskum<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/dropcova Mgr. Veronika Dropčová]<br /> |<br /> |-<br /> | Mgr. Natália Kováčová<br /> |<br /> |-<br /> | Mgr. Dana Šuníková<br /> |<br /> |-<br /> | [https://dai.fmph.uniba.sk/w/Radoslav_Skoviera Mgr. Radoslav Škoviera]<br /> |<br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Michal Piovarci|Mgr. Michal Piovarči]]<br /> | <br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika, Java, C++<br /> |-<br /> | [[Andrej Jursa|Mgr. Andrej Jursa]]<br /> | <br /> |-<br /> | [[Ivor Uhliarik|Mgr. Ivor Uhliarik]]<br /> | <br /> |-<br /> |-<br /> | [[Peter Gergel|Mgr. Peter Gergeľ]]<br /> | <br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/veselovska Mgr. Michaela Veselovská]<br /> | Edukačná robotika, základy C++, pedagogický výskum<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]], [[Martin Balaz|RNDr. Martin Baláž]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=13079 2015-03-10T20:40:44Z

<p>Pukancova: </p> <hr /> <div>= Akademické podporné centrum =<br /> <br /> == Cieľ ==<br /> * Pomôcť (najmä) študentom bakalárskeho s problémami pri prechode zo strednej na vysokú školu.<br /> * Rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> K dispozícií je vždy aspoň jeden doktorand v miestnosti I-23 (informatický pavilón) v '''pondelok od 14:00 do 15:40 hod'''. Na inom čase a mieste je sa možné dohodnúť individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {| style=&quot;width:100%&quot;<br /> ! style=&quot;border:thin solid&quot;|Meno<br /> ! style=&quot;border:thin solid&quot;|Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Viliam Dillinger|Mgr. Viliam Dillinger]]<br /> | umelá inteligencia, neurónové siete<br /> |-<br /> | [[Michal Kovac|Mgr. Michal Kováč]]<br /> | teoreticka informatika, Ruby, Java, C++, www<br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | <br /> |-<br /> | [[Julia Kucerova|Mgr. Júlia Kučerová]]<br /> | pocitacova grafika, pocitacove videnie, Matlab<br /> |-<br /> | [[Martin Madaras|Mgr. Martin Madaras]]<br /> | pocitacova grafika, opengl, shaders, C++<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/mayerova Mgr. Karolína Mayerová]<br /> | Imagine, edukačná robotika, Pascal, pedagogický výskum<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/bejdova Mgr. Veronika Dropčová (alebo Bejdová?)]<br /> |<br /> |-<br /> | Mgr. Natália Kováčová<br /> |<br /> |-<br /> | Mgr. Dana Šuníková<br /> |<br /> |-<br /> | [https://dai.fmph.uniba.sk/w/Radoslav_Skoviera Mgr. Radoslav Škoviera]<br /> |<br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Michal Piovarci|Mgr. Michal Piovarči]]<br /> | <br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika, Java, C++<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/veselovska Mgr. Michaela Veselovská]<br /> | Edukačná robotika, základy C++, pedagogický výskum<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]], [[Michal Kovac|Mgr. Michal Kováč]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Academic_support_center/sk&diff=13078 2015-03-10T20:35:43Z

<p>Pukancova: </p> <hr /> <div>= Akademické podporné centrum =<br /> <br /> == Cieľ ==<br /> * Pomôcť (najmä) študentom bakalárskeho s problémami pri prechode zo strednej na vysokú školu.<br /> * Rozšíriť možnosti konzultácií, najmä k nosným predmetom ako je matematika, či programovanie.<br /> <br /> == Kedy a kde? ==<br /> K dispozícií je vždy aspoň jeden doktorand v miestnosti I-23 (informatický pavilón) v '''pondelok od 14:00 do 15:40 hod'''. Na inom čase a mieste je sa možné dohodnúť individuálne.<br /> <br /> == Kto bude pomáhať? ==<br /> Pomáhať budú [[People|doktorandi našej katedry]] a [http://www.edi.fmph.uniba.sk/index.php/pracovnici doktorandky KZVI]. Neváhajte ich kontaktovať! Ak by ste mali otázky na veci mimo profilových predmetov, v tabuľke nižšie je uvedená aj konkretnejšia špecializácia. <br /> <br /> {| style=&quot;width:100%&quot;<br /> ! style=&quot;border:thin solid&quot;|Meno<br /> ! style=&quot;border:thin solid&quot;|Špecializácia<br /> |-<br /> | [[Martin Balaz|RNDr. Martin Baláž]]<br /> | softverove inzinierstvo, umela inteligencia, logika<br /> |-<br /> | [[Viliam Dillinger|Mgr. Viliam Dillinger]]<br /> | umelá inteligencia, neurónové siete<br /> |-<br /> | [[Michal Kovac|Mgr. Michal Kováč]]<br /> | teoreticka informatika, Ruby, Java, C++, www<br /> |-<br /> | [[Tomas Kuzma|Mgr. Tomáš Kuzma]]<br /> | <br /> |-<br /> | [[Julia Kucerova|Mgr. Júlia Kučerová]]<br /> | pocitacova grafika, pocitacove videnie, Matlab<br /> |-<br /> | [[Martin Madaras|Mgr. Martin Madaras]]<br /> | pocitacova grafika, opengl, shaders, C++<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/mayerova Mgr. Karolína Mayerová]<br /> | Imagine, edukačná robotika, Pascal, pedagogický výskum<br /> |-<br /> | [http://www.edi.fmph.uniba.sk/~meszarosova/ Mgr. Eva Mészárosová]<br /> | programovanie (Python)<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/bejdova Mgr. Veronika Dropčová (alebo Bejdová?)]<br /> |<br /> |-<br /> | Mgr. Natália Kováčová<br /> |<br /> |-<br /> | Mgr. Dana Šuníková<br /> |<br /> |-<br /> | [https://dai.fmph.uniba.sk/w/Radoslav_Skoviera Mgr. Radoslav Škoviera]<br /> |<br /> |-<br /> | [[Jan Mikulas|Mgr. Ján Mikuláš]]<br /> | počítačové videnie, algoritmy<br /> |-<br /> | [[Michal Piovarci|Mgr. Michal Piovarči]]<br /> | <br /> |-<br /> | [[Julia Pukancova|Mgr. Júlia Pukancová]]<br /> | umela inteligencia, logika<br /> |-<br /> | [https://www.edi.fmph.uniba.sk/index.php/pracovnici/veselovska Mgr. Michaela Veselovská]<br /> | Edukačná robotika, základy C++, pedagogický výskum<br /> |-<br /> |}<br /> <br /> <br /> == Organizačné zabezpečenie ==<br /> Za pedagógov: [[Tatiana Jajcayova|Dr. Tatiana Jajcayová]]&lt;br&gt;<br /> Za doktorandov: [[Julia Pukancova|Mgr. Júlia Pukancová]], [[Michal Kovac|Mgr. Michal Kováč]]&lt;br&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Julia_Pukancova/sk&diff=13077 2015-03-10T20:32:39Z

<p>Pukancova: </p> <hr /> <div>{{Osoba<br /> | fullname = Mgr. Júlia Pukancová<br /> | caption = Júlia Pukancová<br /> | image = pukancova.jpg<br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = I-7<br /> | email = pukancova[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Výučba ===<br /> * [[Computational_Logic|Výpočtová logika]]<br /> * [[Knowledge Representation and Reasoning|Reprezentácia znalostí a inferencia]]<br /> * [[Description_Logics_Ontologies_and_Semantics_Web|Deskripčné logiky, ontológie a sémantický web]]<br /> <br /> === Výskum ===<br /> * knowledge representation<br /> <br /> === Publikácie ===<br /> <br /> }}</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Julia_Pukancova/sk&diff=13076 2015-03-10T20:31:51Z

<p>Pukancova: </p> <hr /> <div>{{Osoba<br /> | fullname = Mgr. Júlia Pukancová<br /> | caption = Júlia Pukancová<br /> | image = pukancova.jpg<br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = I-7<br /> | email = pukancova[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Výučba ===<br /> * [[Computational_Logic|Výpočtová logika]]<br /> * [[Knowledge Representation and Reasoning|Reprezentácia znalostí a inferencia]] (a.k.a. Reprezentácka, poznatky a usudzovanie)<br /> * [[Description_Logics_Ontologies_and_Semantics_Web|Deskripčné logiky, ontológie a sémantický web]]<br /> <br /> === Výskum ===<br /> * knowledge representation<br /> <br /> === Publikácie ===<br /> <br /> }}</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Julia_Pukancova/sk&diff=13074 2015-03-10T20:30:49Z

<p>Pukancova: </p> <hr /> <div>{{Osoba<br /> | fullname = Mgr. Júlia Pukancová<br /> | caption = Júlia Pukancová<br /> | image = pukancova.jpg<br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = I-7<br /> | email = pukancova[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Výučba ===<br /> * [[Computational Logic]]<br /> * [[Knowledge Representation and Reasoning]]<br /> * [[Description Logics Ontologies and Semantics Web]]<br /> <br /> === Výskum ===<br /> * knowledge representation<br /> <br /> === Publikácie ===<br /> <br /> }}</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Julia_Pukancova/en&diff=13020 2015-03-01T14:09:50Z

<p>Pukancova: </p> <hr /> <div>{{Person<br /> | fullname = Mgr. Júlia Pukancová<br /> | caption = Júlia Pukancová<br /> | image = pukancova.jpg<br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = I-7<br /> | email = pukancova2[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Teaching ===<br /> * [[Computational Logic]]<br /> * [[Knowledge Representation and Reasoning]]<br /> * [[Description Logics Ontologies and Semantics Web]]<br /> <br /> === Research ===<br /> * knowledge representation<br /> <br /> === Publications ===<br /> <br /> }}</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Julia_Pukancova/en&diff=13019 2015-03-01T14:02:06Z

<p>Pukancova: </p> <hr /> <div>{{Person<br /> | fullname = Mgr. Júlia Pukancová<br /> | caption = Júlia Pukancová<br /> | image = pukancova.jpg<br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = I-7<br /> | email = pukancova2[[Image:zavinac.gif|@]]uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Teaching ===<br /> * [[Computational Logic]]<br /> * [[Knowledge Representation and Reasoning]]<br /> * [[Description Logics Ontologies and Semantics Web]]<br /> <br /> === Research ===<br /> * knowledge representation<br /> <br /> === Publications ===<br /> <br /> }}</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Pukancova.jpg&diff=13018 2015-03-01T14:01:43Z

<p>Pukancova: Pukancova's profile picture</p> <hr /> <div>Pukancova's profile picture</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Julia_Pukancova/en&diff=13017 2015-03-01T13:48:15Z

<p>Pukancova: </p> <hr /> <div>{{Person<br /> | fullname = Mgr. Júlia Pukancová<br /> | caption = Júlia Pukancová<br /> | image = <br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = I-7<br /> | email = pukancova2[[Image:zavinac.gif|@]]uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Teaching ===<br /> * [[Computational Logic]]<br /> * [[Knowledge Representation and Reasoning]]<br /> * [[Description Logics Ontologies and Semantics Web]]<br /> <br /> === Research ===<br /> * knowledge representation<br /> <br /> === Publications ===<br /> <br /> }}</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Julia_Pukancova/en&diff=13016 2015-03-01T13:43:52Z

<p>Pukancova: </p> <hr /> <div>{{Person<br /> | fullname = Mgr. Júlia Pukancová<br /> | caption = Júlia Pukancová<br /> | image = <br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = I-7<br /> | email = pukancova2[[Image:zavinac.gif|@]]uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Teaching ===<br /> * [[Computational Logic]]<br /> * [[Knowledge Representation and Reasoning]]<br /> <br /> === Research ===<br /> * knowledge representation<br /> <br /> === Publications ===<br /> <br /> }}</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12714 2014-11-25T12:26:51Z

<p>Pukancova: exercises 9</p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Júlia Pukancová, Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]<br /> '''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments]<br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> # [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> # [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> # More DLs and Their Applications<br /> &lt;!--<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> --&gt;<br /> # [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> &lt;!--<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> # [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]<br /> # [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]<br /> # [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]<br /> # [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]]<br /> # [[media:CompLog2014-Exercises-7-Reasoning-with-DL.pdf|DL, Tableau Algorithm with ABox]]<br /> # [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]]<br /> # [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]]<br /> &lt;!--# <br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:CompLog2014-Exercises-9-Prolog.pdf&diff=12713 2014-11-25T12:22:03Z

<p>Pukancova: exercises 9 for course CompLog</p> <hr /> <div>exercises 9 for course CompLog</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12705 2014-11-20T09:17:27Z

<p>Pukancova: oprava linku</p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Júlia Pukancová, Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]<br /> '''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments]<br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> # [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> # [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> # More DLs and Their Applications<br /> &lt;!--<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> --&gt;<br /> # [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> &lt;!--<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> # [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]<br /> # [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]<br /> # [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]<br /> # [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]]<br /> # [[media:CompLog2014-Exercises-7-Reasoning-with-DL.pdf|DL, Tableau Algorithm with ABox]]<br /> # [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]]<br /> &lt;!--# <br /> # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]<br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12704 2014-11-20T09:14:49Z

<p>Pukancova: exercises 7 and 8</p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Júlia Pukancová, Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]<br /> '''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments]<br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> # [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> # [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> # More DLs and Their Applications<br /> &lt;!--<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> --&gt;<br /> # [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> &lt;!--<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> # [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]<br /> # [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]<br /> # [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]<br /> # [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]]<br /> # [[media:CompLog2014-Exercises-7-Reasoning-with-DL.pdf|DL, Tableau Algorithm with ABox]]<br /> # [[media:CompLog2013-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]]<br /> &lt;!--# <br /> # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]<br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:CompLog2014-Exercises-8-Logic-Programming.pdf&diff=12703 2014-11-20T09:13:10Z

<p>Pukancova: exercises 8 for course CompLog</p> <hr /> <div>exercises 8 for course CompLog</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:CompLog2014-Exercises-7-Reasoning-with-DL.pdf&diff=12702 2014-11-20T09:09:09Z

<p>Pukancova: exercises 7 for course CompLog</p> <hr /> <div>exercises 7 for course CompLog</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12674 2014-11-03T15:26:58Z

<p>Pukancova: exercise 6 added</p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Júlia Pukancová, Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]<br /> '''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments]<br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> # [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> # [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> &lt;!--<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> # [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> # [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]<br /> # [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]<br /> # [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]<br /> # [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]]<br /> &lt;!--# <br /> # [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]<br /> # [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]<br /> # [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]<br /> # [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]<br /> # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]<br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:CompLog2014-Exercises-6-Reasoning-with-DL.pdf&diff=12673 2014-11-03T15:25:45Z

<p>Pukancova: exercise 6 from computational logic</p> <hr /> <div>exercise 6 from computational logic</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12633 2014-10-23T14:08:54Z

<p>Pukancova: added exercise 5</p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]<br /> '''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments]<br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> # [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> # [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> &lt;!--<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> # [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> # [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]<br /> # [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]<br /> # [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]<br /> &lt;!--# <br /> # [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]<br /> # [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]<br /> # [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]<br /> # [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]<br /> # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]<br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:CompLog2014-Exercises-5-DL.pdf&diff=12632 2014-10-23T14:06:46Z

<p>Pukancova: exercise for CompLog course</p> <hr /> <div>exercise for CompLog course</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12627 2014-10-23T09:50:12Z

<p>Pukancova: added 4. exercise</p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]<br /> '''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments]<br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> # [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> # [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> &lt;!--<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> # [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> # [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]<br /> # [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]<br /> &lt;!--# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]<br /> # [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]<br /> # [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]<br /> # [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]<br /> # [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]<br /> # [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]<br /> # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]<br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:CompLog2014-Exercises-4-Resolution.pdf&diff=12626 2014-10-23T09:48:42Z

<p>Pukancova: exercise for CompLog course</p> <hr /> <div>exercise for CompLog course</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12587 2014-10-14T22:25:42Z

<p>Pukancova: Added: exercise 2-3</p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]<br /> * '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty Project assignments]<br /> <br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> # [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> &lt;!--<br /> # [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> # [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> # [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]<br /> &lt;!--# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]<br /> # [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]<br /> # [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]<br /> # [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]<br /> # [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]<br /> # [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]<br /> # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]<br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:CompLog2014-Exercises-2-3-FOL.pdf&diff=12586 2014-10-14T22:20:41Z

<p>Pukancova: exercise for course CompLog</p> <hr /> <div>exercise for course CompLog</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12542 2014-10-07T08:23:04Z

<p>Pukancova: </p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]<br /> * '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty Project assignments]<br /> <br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> &lt;!--# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> # [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> # [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> &lt;!--# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]<br /> # [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]<br /> # [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]<br /> # [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]<br /> # [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]<br /> # [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]<br /> # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]<br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12541 2014-10-07T08:19:58Z

<p>Pukancova: </p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4&amp;usp=sharing Google Docs]<br /> * '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty Project assignments]<br /> <br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> &lt;!--# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> # [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> # [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> &lt;!--# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]<br /> # [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]<br /> # [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]<br /> # [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]<br /> # [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]<br /> # [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]<br /> # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]<br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12540 2014-10-07T08:16:47Z

<p>Pukancova: oprava linku</p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4]<br /> * '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty Project assignments]<br /> <br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> &lt;!--# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> # [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> # [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> &lt;!--# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]<br /> # [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]<br /> # [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]<br /> # [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]<br /> # [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]<br /> # [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]<br /> # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]<br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&diff=12539 2014-10-07T08:16:01Z

<p>Pukancova: zmeneny link na tabulku s bodmi</p> <hr /> <div>This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.<br /> <br /> * Lecturers: Martin Baláž, Martin Homola<br /> * Lab assistants: Martin Baláž<br /> * Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)<br /> &lt;!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)<br /> * Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&amp;usp=sharing Google Docs]<br /> --&gt;<br /> * Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4=sharing Google Docs]<br /> * '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty Project assignments]<br /> <br /> === Syllabus ===<br /> <br /> # First Order Logic<br /> # Description Logics and Ontologies<br /> # Logic Programming - Prolog<br /> # Answer Set Programming<br /> <br /> === Evaluation ===<br /> <br /> * Midterm: 10 points (min 0)<br /> * Exam: 30 points (min 15)<br /> * Labs: 15 points (min 5)<br /> * Project/Homework: 15 points (min 5)<br /> * '''Total:''' 70 points<br /> <br /> === Grading ===<br /> <br /> * A: 62 and more points <br /> * B: 54 and more points<br /> * C: 47 and more points<br /> * D: 40 and more points<br /> * E: 34 and more points<br /> * Fx: less than 34 points<br /> <br /> === Lecture Slides ===<br /> # [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]<br /> # [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]<br /> &lt;!--# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]<br /> # [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]<br /> # [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]<br /> # [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]<br /> # [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]<br /> # [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]<br /> # [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]<br /> # [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]<br /> # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]<br /> --&gt;<br /> <br /> === Exercises ===<br /> # [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]<br /> &lt;!--# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]<br /> # [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]<br /> # [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]<br /> # [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]<br /> # [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]<br /> # [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]<br /> # [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]<br /> # [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]<br /> --&gt;</div>

Pukancova