pokyny na vypracovanie, pridelenà riešitelia (pdf) - Hornad - TUKE
pokyny na vypracovanie, pridelenà riešitelia (pdf) - Hornad - TUKE
pokyny na vypracovanie, pridelenà riešitelia (pdf) - Hornad - TUKE
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
B. zoz<strong>na</strong>m riešiteľov – Zadanie 2, ZS, 2004<br />
1. Implementácia jednoduchého produkčného systému.<br />
Riešitelia: 1. R.Peťka 2. Z.Pósa<br />
3. M.Valigura 4. E.I.Vlassova<br />
5. M.Švantner<br />
2. Implementácia algoritmu automatického dokazovania teorémov rezolučnou metódou pre<br />
výrokový počet.<br />
Riešitelia: 1. M.Gergeľ 2. M.Kundráth<br />
3. M. Ivaničko 4. V. Jevčák<br />
5. J.Belas<br />
3. Tvorba programov v jazyku Prolog - Tutoriál<br />
Riešitelia: 1. S.Kaščák 2. R.Pištej<br />
4. Tvorba programov v jazyku Lisp - Tutoriál<br />
Riešitelia: 1. M.Hronský 2. L.Jagelka<br />
5. Nástroj pre automatické dokazovanie teorémov - Tutoriál<br />
Riešitelia: 1. P.Krišš 2. O.Pandoščák<br />
6. Prázdne expertné systémy (CLIPS) - Tutoriál<br />
Riešitelia: 1. P.Šterba 2. E.Trnková<br />
7. Tvorba z<strong>na</strong>lostných systémov - Tutoriál<br />
Riešitelia: 1. P.Gál 2. P.Demčák
Change language