Зведений каталог бібліотек Харкова
Захарченко, Т. Л. Примітивна програмна алгебра обчислювальних функцій над записами [Текст] / Т.Л. Захарченко, Д.І. Редько, І.В. Редько, П.О. Яганов // . — С. 29-40.
- Анотація:
Мета роботи - дослідити питання розкриття семантики мов програмування з метою розробки загального методу отримання алгебричних характеристик прагматико-обумовлених класів обчислювальних функцій; застосувати розроблений метод для опису прагматично важливого класу частково-рекурсивних функцій над записами.
- Є складовою частиною документа:
Наукові вісті Національного технічного університету України "Київський політехнічний інститут" [Текст] // Наукові вісті Національного технічного університету України "Київський політехнічний інститут" - К. : Політехніка. — К. : Політехніка, 2015.
- Теми документа
