Cтраница 4
Формально-комбинаторные методы формируют теорию схем программ, изучающую свойства программ, инвариантные к выбору интерпретации базовых операций. [46]
Определение 12.1 Таблица символов - это структура данных элементов с ключами, которая поддерживает две базовых операции: вставку нового элемента и возврат элемента с заданным ключом. [47]
Формально-комбинаторные методы формируют теорию схем программ, к-рая изучает свойства программ, инвариантные относительно выбора интерпретации базовых операций. [48]
Вторая часть Основы программирования помимо сведений о компоновщике и ассемблере содержит разделы, посвященные технике программирования, реализаций базовых операций и типовых алгоритмов ЦОС. [49]
При работе в Подсистеме изучения DSP пользователь имеет возможность изучить архитектуру, режимы работы DSP и методы программирования базовых операций ЦОС на DSP. Для этого используется гипертекстовый учебник. [50]