Search academic texts

Information × Registration Number 0416U003418, Candidate dissertation Status к.ф.-м.н. Date 09-06-2016 popup.evolution o Title Construction and research of program logics Author Kryvolap Andrii Volodymyrovych, popup.head Nikitchenko Mykola Stepanovych popup.opponent Глазунов Микола Михайлович popup.opponent Годлевський Олександр Богуславович Description В дисертаційній роботі будуються програмні логіки композиційно-номінативного типу. Для композицій програмного рівня побудованих логік доведено монотонність та неперервність. Досліджено властивості класичних аксіоматичних систем для випадку часткових предикатів. Розроблено коректні аксіоматичні системи з додатковими обмеженнями, досліджено їх повноту. Registration Date 2016-06-09 popup.nrat_date 2020-04-03 Close