Реєстраційний номер
0403U001280, Кандидатська дисертація
На здобуття
к.т.н.
Дата захисту
07-03-2003
Статус
Захищена
Назва роботи
Моделювання редактора формул секвенційних алгоритмів.
Здобувач
Бритковський Василь Михайлович,
Керівник Овсяк В.К.
Опонент Матвійчук Я.М.
Опонент Сеньківський В.М.
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Національний університет "Львівська політехніка"
Опис
Об'єкт - процеси набору і редагування формул секвенційних алгоритмів; мета - розроблення математичної моделі спеціалізованого редактора; методи - теорія секвенційних алгоритмів, математична індукція, алгоритмічні мови і комп'ютерні технології; новизна - вперше розроблено принцип побудови редактора, синтезована, мінімізована та досліджена його математична модель, яка програмно реалізована, апробована і впроваджена.
Дата реєстрації
2003-04-21
Додано/оновлено в НРАТ
2020-04-04 / 2026-06-30