Browsing by Author "Sammul, Kadi"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    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.
  • Thumbnail Image
    Item
    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.