Projekti
- Pravilnost dokaza v predikatnem ra~unu
V Mathematici sestavi paket za preverjanje pravilnosti dokaza v predikatnem
ra~unu.
[erbec, 19.6.96
- Minimizacija izjav
V Mathematici sestavi paket za dolo~anje ~im kraj{ega zapisa dane izjave z uporabo
metode 'Tabu search' (iskanje s prepovedanimi smermi). Zapis izjave lahko vsebuje
katerekoli izjavne povezave in oklepaje.
Darko Zupani~, 19.6.96
- Geometrijske konstrukcije
V Mathematici ali Logu sestavi paket za na~rtovanje z ravnilom in {estilom. Pozna naj tudi
parametre za nadzor slike: vidnost (vidno, skrito, del), debelina, barva, ...
Milazzi, 20.6.96
- Interaktivno sklepanje z izjavami
V Mathematici sestavi paket ukazov za podporo interaktivnega sklepanja z izjavami,
Peter Zidar, 3.7.96
- Interaktivno sklepanje s predikati
V Mathematici sestavi paket ukazov za podporo interaktivnega sklepanja s predikati,
Stankovski, 5.7.96
- Kon~ne grupe
V Mathematici sestavi paket ukazov za pripravo katalogov (Cayleyevih tabel)
majhnih grup. Posebej naj bodo razdelane Abelove grupe.
Logar, 5.7.96
- Optimizacija z glajenjem
V Mathematici sestavi paket ukazov za re{evanje optimizacijskih problemov z glajenjem.
Lotri~, 5.7.96
- Ena~be z mno`icami
V Mathematici sestavi paket ukazov za re{evanje ena~b z mno`icami,
Zdenka [pani~, 11.7.96
- Delne urejenosti
V Mathematici sestavi paket ukazov za delo z delnimi urejenostmi. Paket naj vsebuje
tudi risanje Hassejevih diagramov.
^o`, 11.7.96
- Aritmetika v Javi
V Javi sestavi podporo za delo z aritmeti~nimi izrazi (definicije konstant in
funkcij, izra~un vrednosti).
A. Zrim{ek, 11.7.96
- Prevajanje naravni jezik - predikati
V Mathematici sestavi paket ukazov za prevajanje med predikatnim in naravnim
jezikom za omejena podro~ja pogovora.
Peter Holozan, 16.7.96
- Minimizacija Boolovih funkcij
V Mathematici sestavi paket ukazov za minimizacijo Boolovih funkcij.
Kocjan~i~, 16.7.96
- Enakovrednost izjavnih izrazov
V Mathematici sestavi paket ukazov za ugotavljanje in dokazovanje enakovrednosti
izjavnih izrazov.
Evelin Vatovec Krmac, 16.7.96
- Enakovrednost aritmeti~nih izrazov
V Mathematici sestavi paket ukazov za ugotavljanje in dokazovanje enakovrednosti
aritmeti~nih izrazov glede na osnovne ra~unske operacije.
Matija Marolt, 16.7.96
- Urejeni postopki
V izbranem programskem jeziku sprogramiraj urejene postopke za sestavljanje katalogov
vseh grafov, dreves in kubi~nih grafov. Programe z MathLinkom pove`i s paketom Vega.
Andrej Gogala, 16.7.96
- Mathematica in WWW
Pripravi povezavo med Mathematico in WWW po vzoru iz
Antchev K., ...: A WWW Learning Environment for Mathematics.
Fourth International WWW Conference Proceedings, 251-258.
Marko Robnik, 4.9.96
- Grafi~ni prikazi podatkov
V Mathematici pripravi paket za prikaz ve~razse`nih podatkov z:
- Andrewsovimi krivuljami
- Zvezdami
- Obrazi
Lilijana Miheli~, 29.8.96
- Induktivni razredi grafov
V Mathematici izdelaj paket ukazov za delo z induktivnimi razredi grafov:
Baza, Pravilo, Zacni, Korak, Narisi, Izpisi, Nakljucni.
Resinovi~, 6.9.96
- Kon~na polja
V Mathematici pripravi paket ukazov za delo s kon~nimi polji: osnovne operacije,
nerazcepni polinomi, ...
Petrovski Igor, 8.10.96
- Najkraj{i izraz v bazi (NOT, OR, AND) za dano izjavo
V Mathematici pripravi paket ukazov, ki omogo~a za dano izjavo z lokalno optimizacijo
dolo~anje izraza v bazi (NOT, OR, AND), ki je kar se da
kratek.
Jug Matja`, 22.10.96
- Ra~unanje z nizi
V Javi sestavi knji`nico, ki omogo~a ra~unanje z nizi po danih pravilih.
Omogo~a naj tudi vra~anje po zgodovini izra~una.
Baumgartner Tone, 23.10.96
- Ovojnica vrednostne matrike grafa nad polkolobarjem
V Mathematici sestavi paket ukazov, ki omogo~a izra~un
ovojnice vrednostne matrike grafa nad danim polkolobarjem.
Sestavi tudi opise (ukaze) za polkolobarje iz literature.
Vi`intin Rok, 13.10.97