Математическая энциклопедия

Автоматизация Программирования

использование вычислительных машин для автоматич. получения машинной программы по нек-рой исходной записи, более близкой к начальной формулировке задачи. Содержание А. п. меняется со временем, отражая общее развитие средств общения человека с вычислительной машиной и методов программирования. В начале А. и. заключалась в передаче машине процесса трансляции (перевода) в машинную программу описания алгоритма решения задачи, выраженного в нек-ром алгоритмическом языке. Затем в процесс А. п. была включена процедура направленного синтеза алгоритма решения но сокращенной записи задачи, принадлежащей пек-рому фиксированному классу. В настоящее время (70-е гг.) складывается новое содержание А. п. как всеобъемлющей процедуры синтеза алгоритма решения задачи в рамках существенно более широкого языка формулирования задач, не ограничиваемого конкретным классом. Синтез сопровождается контролем правильности алгоритма и привлекает в качестве формального аппарата различные модели семантики естественных языков, исчисление предикатов и методы поиска доказательств. А П. Ершов.


Смотреть значение Автоматизация Программирования в других словарях

Автоматизация — автоматизации, мн. нет, ж. (книжн.). Действие по глаг. автоматизировать и автоматизироваться.
Толковый словарь Ушакова

Автоматизация Ж. — 1. Применение технических средств и специальных систем управления, частично или полностью освобождающих человека от непосредственного участия в процессе производства,........
Толковый словарь Ефремовой

Автоматизация — -и; ж. Использование автоматов (1 зн.), автоматических и автоматизированных систем управления в целях повышения эффективности технологических процессов. А. производства.
Толковый словарь Кузнецова

Автоматизация — - применение технических средств, освобождающих человека частично или полностью от непосредственного участия в процессах получения преобразования, передачи и использования........
Экономический словарь

Автоматизация Банковских Операции — - применение электронных и механических устройств, экономико-математических методов и систем управления для обработки,
накопления,
анализа и передачи на расстояние........
Экономический словарь

Автоматизация Производства — призвана устранить физически тяжелый,
монотонный труд, переложив его на плечи машин.
Экономический словарь

Автоматизация Управления — направлена на
использование компьютеров и других технических средств обработки и передачи информации в управлении
производством, экономикой.
Экономический словарь

Автоматизация Учета — -
использование вычислительной техники и средств телеобработки для наблюдения, измерения и регистрации данных по производственно-техническим, экономическим и........
Экономический словарь

Закон Программирования Грея — — экономический «
закон», согласно которому: «N+1» простых работ планируется выполнить за то же время, что и «N» таких же работ.
Экономический словарь

Модели Линейного Программирования — математические модели решения экономических задач, представленные в форме задач линейного программирования. Целевая функция, связи и
ограничения в такой модели........
Экономический словарь

Модель Линейного Программирования — - модель, используемая для оптимизации распределения дефицитных ресурсов между конкурирующими потребностями.
Экономический словарь

Application Programming Interface (api) - Интерфейс Прикладного Программирования (ипп) — стандартизированный
набор функций, объектов и других программных компонентов, с
помощью которых
приложение запрашивает и выполняет сервисные функции низшего........
Экономический словарь

Java - Платформо-независимый Язык Программирования — разработан компанией JavaSoft. Web-приложения, созданные с его использованием, могут выполняться естественным образом внутри операционной системы, или браузера Web, или внутри........
Экономический словарь

Автоматизация — - применение машин, машинной техники и технологии с целью облегчения человеческого труда, вытеснения его ручных форм, повышения его производительности. А. производства........
Юридический словарь

Автоматизация Банковских Операции — - применение электронных и механических устройств, экономико-математических методов и систем управления для обработки, накопления, анализа и передачи на расстояние........
Юридический словарь

Автоматизация Торгово-технологического Процесса — Применение энергии неживой природы в торго-технологическом процессе для выполнения и управления им без непосредственного участия людей, осуществляемое в целях сокращения........
Юридический словарь

Автоматизация Учета — применение компьютерноной техники и средств теленаблюдения для измерения и регистрации производственных, технологических и других процессов с последующим преобразованием........
Юридический словарь

Модели Линейного Программирования — - математические модели решения экономических задан, представленные в форме задач линейного программирования. Целевая функция, связи и ограничения в такой модели выражены........
Юридический словарь

Автоматизация Производства — процесс в развитии машинного производства, при котором функции управления и контроля, ранее выполнявшиеся человеком, передаются приборам и автоматическим устройствам;........
Большой медицинский словарь

Автоматизация — , применение самоуправляющихся машин для выполнения различных процессов в производстве и потреблении. Используя ОБРАТНУЮ связь, датчики следят за операциями, выполняемыми........
Научно-технический энциклопедический словарь

Автоматизация — применение технических средств, экономико-математическихметодов и систем управления, освобождающих человека частично или полностьюот непосредственного участия........
Большой энциклопедический словарь

Язык Программирования — , система слов и правил, используемая для создания программ для КОМПЬЮТЕРА. Большинство компьютеров работает на основе двоичных языков (использующих два знака, 0 и 1),........
Научно-технический энциклопедический словарь

Языки Программирования Высокого Уровня — , ЯЗЫКИ ПРОГРАММИРОВАНИЯ, приемлемо близкие к разговорному языку. Высокоуровневый язык программирования преобразуется КОМПИЛЯТОРОМ в машинные коды, используемые........
Научно-технический энциклопедический словарь

Язык Программирования — см. Алгоритмический язык.
Большой медицинский словарь

Языки Программирования — формальные языки для описания данных (информации)и алгоритма (программы) их обработки на ЭВМ. Основу языковпрограммирования составляют алгоритмические языки. Первыми........
Большой энциклопедический словарь

Автоматизация — Развитие автоматичности.
Психологическая энциклопедия

Автоматизация Движений — (англ. Movement automatization) - один из способов формирования ответной реакции оператора, характерный для последнего этапа обучения. На начальном этапе образования навыка осуществляется........
Психологическая энциклопедия

Автоматиза́ция Произво́дства — процесс в развитии машинного производства, при котором функции управления и контроля, ранее выполнявшиеся человеком, передаются приборам и автоматическим устройствам;........
Медицинская энциклопедия

Автоматизация — (от греч. automates - самодействующий) - англ. automation/automatization; нем. Automatisierung. Процесс  или этап  развития производительных сил, в рамках к-рого труд  людей замещается работой........
Социологический словарь

Автоматизация (automation) — Производственный процесс,  контролируемый и управляемый машинами при минимальном участии человека. 
Социологический словарь

Посмотреть еще слова :