[data formalization] — выбор, разработка и/или реализация заполнения форм входных документов для ввода данных (см. далее) в систему. Наиболее распространенными формами входных документов в информационных и библиотечных системах являются анкетная и табличная.
Выражение мышления естественным языком вполне можно считать первым шагом формализации, так как данное... В целом, значение формализации в научном познании состоит в следующем:
формализация дает возможность... Как правило, данная работа производится в теоретических изысканиях при обработке количественной информации... В данном случае речь идет не исключительно о том, чтобы более наглядно предположить итоги исследования... Применяемые методы обработки данных не несут ответственность за их истинность.
Будущий инженер-программист должен владеть навыками разработки малых и больших программных комплексов с использованием современных языков и систем программирования. Для того чтобы создать качественный программный продукт, необходимо продумать логику построения модулей, программный интерфейс, описать соответствующие алгоритмы взаимодействия системы. Важно правильно построить диалог пользователя с программным комплексом. В связи с этим студент должен иметь представление о формальных системах и грамматиках, позволяющих детально понять внутреннее состояние используемых алгоритмических конструкций и описать их на практике. Несмотря на то, что язык программирования 1С не включен в рейтинг языков программирования, используемых при разработке программного обеспечения, он является популярным для разработки корпоративных информационных систем. В связи с этим встает вопрос о его изучении в вузовском курсе. Отмечены особенности языка программирования 1С и трудности, возникающие при его изучении...
Именно этот способ позволит верно формализовать данные для вывода на печать и создать отчет строго в... Из этих разделов обязательно должен быть использован только раздел «Область данных».... Именно в нем должны быть размещены, полученные из запроса данные.... Добавим в раздел «Область данных» одно поле.... В разделе свойств «Данные» выбрать из выпадающего списка нужное поле источника записей.
В статье рассматривается алгебраический подход к формализации параллелизма данных. Дается строгое определение этого понятия на основе теории алгебраических систем. Формулируется критерий параллелизма данных для конкретных типов данных. Приводится пример доказательства параллелизма данных для теоретико-множественной и реляционной моделей данных.
[(data) updating] поддержание данных в актуальном состоянии, т.е. приведение их в соответствие с состоянием отображаемых объектов предметной области. Актуализация включает в себя операции добавления, исключения, а также редактирования (в том числе правки или исправления) записей.
[encryption (cryptography) algorithm] — математическая формула использования ключей для шифрования документов и сообщений. Для симметричных алгоритмов требуются симметричные ключи, для асимметричных алгоритмов — асимметричные ключи.