Форма пошуку Назад
укр рус eng
 Cписок

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

Вид документа: Стаття періодики
Автор: Захарченко Т.Л., Редько І.В. Вид автора: персона
Мова: Українська Обсяг: С. 23-31
УДК: 519.683.8

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

Є складовою частиною документа: Наукові вісті Національного технічного університету України "Київський політехнічний інститут"

Відомості щодо головного
 Назва головного документа:Наукові вісті Національного технічного університету України "Київський політехнічний інститут"
 Дата видання головного документа:2015
 Номер частини головного документа:5

Загальна інформація
 Бібліографія:Бібліогр.: 16 назв.

Теми документа: