Aine kood:
MTAT.05.097
Eeldusained:
Aine maht: 2 ap.
Seminar on üks instituudi magistriseminaridest
Seminarid
2 t.
nädalas
Kolmapäeval kell 14.15-16 Liivi
2-202. R.Prank, V.Laan
Hindamine: osavõtt
+ ettekanded
Seminari eesmärgiks on ülevaate
andmine olemasolevatest tulemustest avaldiste võrduse
tuvastamise ülesande lahenduvuse või mittelahenduvuse kohta
erinevat tüüpi avaldiste korral ning vastavate
tõestusmeetodite tundmaõppimine. Ettekanded tutvustavad
materjale lahenduvuse või mittelahenduvuse kohta
ning avaldiste võrduse tuvastamise vahendeid arvutialgebra
süsteemides ning õpiprogrammides.