Search academic texts

Information × Registration Number 0404U000085, Candidate dissertation Status к.ф.-м.н. Date 18-12-2003 popup.evolution o Title Etalon models of symbolic processing Author Vinnyk Vadym Yurijovych, popup.head Red'ko Volodymyr Nykyforovych popup.opponent Клименко Віталій Петрович popup.opponent Цейтлій Георгій Овсійович Description Роботу присвячено дослідженню семантичних структур засобів програмування, орієнтованих на символьну обробку інформації. Побудовані моделі відображають логіку конструювання програм, утворюють ієрархічну систему, є гнучкими та дозволяють утворювати спеціалізовані моделі для конкретних класів задач. Використано метод композиційного та експлікативного програмування, методи теорії множин та теорії рекурсивних функцій. Розроблені моделі можуть використовуватися для специфікації проблемно-орієнтованих мов та систем символьної обробки. Registration Date 2003-12-18 popup.nrat_date 2020-04-04 Close