Знайдено документів: 1
Інформація × Реєстраційний номер 0404U000085, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 18-12-2003 Статус Запланована Назва роботи Еталонні моделі символьної обробки Здобувач Вінник Вадим Юрійович, Керівник Редько Володимир Никифорович Опонент Клименко Віталій Петрович Опонент Цейтлій Георгій Овсійович Опис Роботу присвячено дослідженню семантичних структур засобів програмування, орієнтованих на символьну обробку інформації. Побудовані моделі відображають логіку конструювання програм, утворюють ієрархічну систему, є гнучкими та дозволяють утворювати спеціалізовані моделі для конкретних класів задач. Використано метод композиційного та експлікативного програмування, методи теорії множин та теорії рекурсивних функцій. Розроблені моделі можуть використовуватися для специфікації проблемно-орієнтованих мов та систем символьної обробки. Дата реєстрації 2003-12-18 Додано в НРАТ 2020-04-04 Закрити
Дисертація кандидатська
1
Вінник Вадим Юрійович. Еталонні моделі символьної обробки : к.ф.-м.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 2003-12-18; Статус: Захищена; Житомирський державний технологічний університет, кафедра менеджменту та маркетингу. – , 0404U000085.
Знайдено документів: 1

Оновлено: 2026-03-16