Sirvi Autor "Redpap, Raul" järgi

Tulemuste filtreerimiseks trükkige paar esimest tähte
Nüüd näidatakse 1 - 1 1
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    Kahni algoritmi tõestamine Coq raamistikus
    (2019) Redpap, Raul; Kalmer Apinis
    Coq on funktsionaalne programmeerimiskeel, mille abil saab kirjutada teoreemide tõestusi.Töö eesmärk on uurida ja anda ülevaade Coqist ning tõestada Coqis omadus, et Kahni algoritm lõpetab töö iga sisendi puhul ja et tagastatud järjestus on tõepoolest topoloogiline järjestus. Peamiselt keskendutakse formaalse tõestuse loomisele ja tõestustes kasutatavate taktikate kirjeldamisele, kuid antakse ka lühiülevaade Kahni algoritmist ja topoloogilisest järjestusest.