Aktuálna revízia z 14:10, 19. september 2008

Uniformná implementácia unifikačných algoritmov

(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)

Kompilačno-implementačná práca

Študent má implementovať základné unifikačné algoritmy vo funkcionálnom, resp. objektovom jazyku. Výsledkom je autorova uniformná knižnica algoritmov a prezentácia pre vysok.kurz.

Verzia zo dňa a času 14:09, 19. september 2008 (zobraziť zdroj) Petrovic (Diskusia \| príspevky) d ← Predchádzajúca úprava		Aktuálna revízia z 14:10, 19. september 2008 (zobraziť zdroj) Petrovic (Diskusia \| príspevky) d
Riadok 5:		Riadok 5:
	Kompilačno-implementačná práca		Kompilačno-implementačná práca

−	~~Student ma implementovat zakladne unifikacne~~ algoritmy vo ~~funkcionalnom~~, resp. objektovom jazyku. ~~Vysledkom~~ je autorova ~~uniformna kniznica~~ algoritmov a ~~prezentacia~~ pre vysok.kurz.	+	Študent má implementovať základné unifikačné algoritmy vo funkcionálnom, resp. objektovom jazyku. Výsledkom je autorova uniformná knižnica algoritmov a prezentácia pre vysok.kurz.