BakTema Uniformna implementacia unifikacnych algoritmov/sk: Rozdiel medzi revíziami

d (New page: = Uniformá implementácia unifikačných algoritmov = <small>(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)</small> Kompilačno-imp...)
 
d
 
(Jedna medziľahlá úprava od rovnakého používateľa.)
Riadok 1: Riadok 1:
= Uniformá implementácia unifikačných algoritmov =
+
= Uniformná implementácia unifikačných algoritmov =
  
 
<small>(Zadanie bakalárskej práce, [[Topics for Bachelor Theses|naspäť na zoznam bakalárskych prác]])</small>
 
<small>(Zadanie bakalárskej práce, [[Topics for Bachelor Theses|naspäť na zoznam bakalárskych prác]])</small>
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.

Aktuálna revízia z 13: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.