Вінник В. Ю. Еталонні моделі символьної обробки

English version

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

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

0404U000085

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

0404U000085.pdf

Здобувач

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

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

18-12-2003

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

Д 26.001.09

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

Анотація

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

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

Файли

aref.doc

diss.doc

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

0421U104038

Петренко Максим Віталійович

Методи інтеграції гетерогенних бібліографічних даних

0421U104040

Артабаєв Юрій Зуберович

Методика підвищення точності комплексованих навігаційних систем на основі прогнозуючих моделей з використанням генетичних алгоритмів.

0421U103593

Зубко Роман Анатолійович

Удосконалення методів підвищення часової ефективності фрактального стиснення зображень

0421U103401

Чистякова Інна Сергіївна

Метод відображення між дескриптивною логікою та реляційною моделлю даних.

0421U103320

Бєлозьорова Яна Андріївна

Метод застосування вейвлет аналізу в задачах ідентифікації мовної інформації