Криволап А. В. Побудова та дослідження програмних логік

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0416U003418

Облікова картка дисертації

0416U003418.pdf

Здобувач

Спеціальність

  • 01.05.01 - Теоретичні основи інформатики та кібернетики

09-06-2016

Спеціалізована вчена рада

26.001.09

Анотація

В дисертаційній роботі будуються програмні логіки композиційно-номінативного типу. Для композицій програмного рівня побудованих логік доведено монотонність та неперервність. Досліджено властивості класичних аксіоматичних систем для випадку часткових предикатів. Розроблено коректні аксіоматичні системи з додатковими обмеженнями, досліджено їх повноту.

Читати повністю

Файли

aref.doc

dis.doc

Схожі дисертації

0421U102388

Насіров Еміл Мехдієвич

Паралелізація невід’ємної факторизації розріджених лінгвістичних матриць та тензорів надвеликої розмірності

0420U102355

Дудар Вячеслав Вячеславович

Оптимiзацiйнi алгоритми навчання та iнварiантнiсть до геометричних перетворень нейронних мереж

0520U101700

Притоманова Ольга Михайлівна

Нечіткі задачі оптимального розбиття множин: теоретичні основи, методи та алгоритми розв’язання

0520U100242

Завадський Ігор Олександрович

Подільні коди та їх застосування

0520U100209

Рисцов Ігор Костянтинович

Застосування методів алгебраїчної теорії автоматів до проблем аналізу дискретних динамічних систем.