Sirvi Autor "Sammul, Kadi" järgi

Nüüd näidatakse 1 - 2 2

Gümnaasiumi programmeerimise eksami koostamine ja katsetamine
(Tartu Ülikool, 2022) Sammul, Kadi; Palts, Tauno, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
Bakalaureusetöö eesmärgiks on luua eksamiülesannete komplekt, millega kontrollitakse sooritajate programmeerimise algteadmisi keeles Python. Selleks uuriti erinevaid programmeerimise algteadmisi õpetavaid avalikult kättesaadavaid eestikeelseid materjale ning loodi nende põhjal teemade nimekiri, mida algajad programmeerijad oskama peaksid. Vastavate teadmiste kontrollimiseks loodi kaks eksamiülesannete komplekti, mida huvilised lahendasid Tartus ja Tallinnas. Analüüsiti läbiviidud eksami tulemusi ning tagasisidet. Eksam koosnes nii paberil kui arvutis lahendatavast osast. Arvutiosas võis kasutada internetis leiduvaid materjale, paberosas mitte. Eksami edukas sooritamine tagas koha Tartu Ülikooli informaatika ja arvutitehnika õppekavadel.
Võrrandi lahendamine kombineeritud laiendamise ja kitsendamise abil Coqis
(Tartu Ülikool, 2024) Sammul, Kadi; Apinis, Kalmer, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
In program analysis constraint solving via sets of values is time-consuming and needs a lot of memory. Therefore, it is wiser to use widening. Widening makes analysis inaccurate - to restore accuracy narrowing can be used. Using combined widening and narrowing we create an algorithm in Coq, where in addition to finding a solution we guarantee the termination of the analysis.