Sirvi Autor "Loog, Siim" järgi

Tulemuste filtreerimiseks trükkige paar esimest tähte
Nüüd näidatakse 1 - 2 2
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    Predikaatarvutuse väljendusülesannete lahendamise veebikeskkond
    (Tartu Ülikool, 2011) Loog, Siim; Prank, Rein, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    Predikaatarvutuse väljendusülesannete lahendamise veebikeskkond
    (Tartu Ülikool, 2011) Loog, Siim; Prank, Rein; Tartu Ülikool. Matemaatika-informaatikateaduskond; Tartu Ülikool. Arvutiteaduse instituut
    Bakalureusetöö tulemiks on veebirakendus, mis on võimeline hindama sisestatud valemi süntaksi korrektsust kui valem on naturaalarvude hulgal ja signatuuriga <0,1;+,*;=> Lisaks on loodud rakendust võimalik rakendada e-õppes tänu tööde ja ülesannete loomise ning soorituste hindamise moodulitele.