Бритковський В. М. Моделювання редактора формул секвенційних алгоритмів.

English version

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

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

0403U001280

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

0403U001280.pdf

Здобувач

Бритковський Василь Михайлович

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

01.05.02 - Математичне моделювання та обчислювальні методи

Дата захисту

07-03-2003

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

Д 35.052.05

Національний університет "Львівська політехніка"

Анотація

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

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

Керівник роботи

Овсяк В.К.

Офіційні опоненти

Матвійчук Я.М.
Сеньківський В.М.

Файли

aref.doc

dis1.doc

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

0423U100159

Сеник Юлія Андріївна

Моделювання та дослідження розмірних ефектів у електропровідних тілах

0523U100127

Кашпур Олена Федорівна

Iнтерполяцiя операторiв в гiльбертових та евклiдових просторах

0423U100110

Кураш Сергій Юрійович

Математичне моделювання реакції будівель та споруд на вибухові впливи

0523U100103

Шевченко Сергій Станіславович

Математичні моделі процесів в системах герметизації відцентрових машин

0523U100042

Мельник Андрій Миколайович

Знання-орієнтовані програмні системи для інтервального аналізу та моделювання складних об’єктів