Võrrandi lahendamine kombineeritud laiendamise ja kitsendamise abil Coqis
Nimi
Kadi Sammul
Kokkuvõte
Programmianalüüsi abil väärtuste hulkadega võrrandisüsteemi lahendamine on aeglane ja mälumahukas protsess, seetõttu on kasulikum kasutada laiendamist. Laiendamisfunktsioon teeb aga analüüsi ebatäpseks, täpsuse taastamiseks on võimalik rakendada kitsendamist. Kombineeritult laiendamise ja kitsendamise kasutamiseks loome Coqis algoritmi, kus lisaks lahenduse leidmisele garanteerime ka analüüsi termineeruvuse.
Lõputöö keel
eesti
Lõputöö tüüp
Magister - Informaatika
Juhendaja(d)
Kalmer Apinis
Kaitsmise aasta
2024