Sirvi Autor "Stroom, Sander" järgi
Nüüd näidatakse 1 - 1 1
- Tulemused lehekülje kohta
- Sorteerimisvalikud
Kirje Lause- ja predikaatarvutuse valemite teisendamise õpiprogrammi täiendamine(Tartu Ülikool, 2013) Stroom, Sander; Prank, Rein; Tartu Ülikool. Matemaatika-informaatikateaduskond; Tartu Ülikool. Arvutiteaduse instituutTeema lühikirjeldus Lausearvutuse ja predikaatarvutuse valemite teisendamise õpiprogrammi programmeeris 2003. aastal Vahur Vaiksoo oma bakalaureusetöö raames. Seda programmi kasutatakse Tartu Ülikoolis üliõpilastele lausearvutuse ja predikaatarvutuse valemite teisendamise õpetamisel ja nende teadmiste kontrollimisel. Selleks, et programmi kasutajatel oleks lihtsam valemite teisendamist õppida, võiks programm võimaldada nõu küsimist järgmise sammu tegemiseks vastavalt lahendatavale ülesandetüübile. Seda funktsionaalsust peab olema võimalik välja lülitada vastavalt kasutusviisile (harjutamine, kontrolltöö). Programm salvestab praegu lahendused ainult valemite jadana. Lahenduste loetavuse parandamiseks ja võimalikuks automaatseks analüüsiks oleks vaja salvestada ka üliõpilase poolt teisendamiseks valitud valemi osa ja reeglipõhise lahendusrežiimi puhul kasutatud teisendusreegel. Hetkel on programm programmeeritud selliselt, et kõik tekstid, mida programmi kasutaja näeb, on ühes (eesti) keeles. Programmi laiemaks kasutamiseks oleks vaja võimalust keeli lisada ja valida. Eeldatavad tulemused •Programmile lisatakse automaatlahendaja ja võimalus saada nõuannet järgmise sammu tegemiseks. •Igal sammul salvestatakse ka teisendamiseks valitud valemi osa ja teisendusreegel •Programmi koodi on muudetud selliseks, et oleks võimalik sellele tõlkefaile kirjutada. Programmisiseselt saab valida, millist keelt programm kasutab. •On koostatud juhendid programmi tõlkijatele tõlkefailide loomiseks.