Омельчук Л. Л. Аксіоматичні системи cпецифікацій програм над номінативними даними

English version

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

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

0407U001656

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

0407U001656.pdf

Здобувач

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

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

05-04-2007

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

Д 26.001.09

Київський національний університет імені Тараса Шевченка

Анотація

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

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

Файли

Dis.doc

aref.doc

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

0421U102388

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

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

0420U102355

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

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

0520U101700

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

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

0520U100242

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

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

0520U100209

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

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