http://dev.dai.fmph.uniba.sk/w?action=history&feed=atom&title=DP_Group%2Fsk 2026-05-13T23:20:16Z História úprav pre túto stránku na wiki MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=DP_Group/sk&diff=14293&oldid=prev 2015-10-07T07:34:00Z

<p>Osnova</p> <p><b>Nová stránka</b></p><div>= Výskumná skupina pre deklaratívne programovanie =<br /> <br /> Výskumná skupina pre deklaratívne programovanie sa zaoberá vzťahom logických formalizmov, najmä klasických, k programovaniu.<br /> <br /> == Group Focus ==<br /> <br /> * Logické a funkcionálne programovanie<br /> * Prepisovacie systémy<br /> * Programovanie v prvo- a druhorádovej aritmetike<br /> * Deskriptívna zložitosť<br /> <br /> == Členovia ==<br /> <br /> * [[Peter Borovansky|Peter Borovanský]]<br /> * [[Jan Kluka|Ján Kľuka]]<br /> * [[Jan Komara|Ján Komara]] (PhD student)<br /> <br /> == Aktivity ==<br /> <br /> …<br /> <br /> == Projekty ==<br /> <br /> …<br /> <br /> == Publikácie ==<br /> <br /> …<br /> <br /> <br /> [[Category:Research]]<br /> __NOTOC__</div>

Kluka