Programmide/algoritmide korrektsuse tõestamisest

Klipi teostus: Indrek Zolk 19.09.2018 1646 vaatamist Realia et naturalia Arvutiteadus Matemaatika ja matemaatiline statistika


Jüri Kiho kõneleb 1. aasta tudengitele programmide/algoritmide korrektsuse tõestamisest.