КОМБИНИРОВАННОЕ ИСЧИСЛЕНИЕ — объединение исчисления высказываний (см.) с исчислением классов, получающегося в результате соответствующего истолкования знаков исчисления высказываний. Если переменные для высказываний истолковать как одноместные предикаты (соответетвенно классы), операции над высказываниями как операции над предикатами (соответственно классами), а истинные формулы как формулы, выполняющиеся для всех предметов соответствующей области, то в сущности мы ничего нового не получим: система всегда-истинных формул в таком исчислении будет совпадать с множеством всегда-истинных формул исчисления высказываний. Если же провести различие между предикатами (классами) и соответствующими высказываниями и распространить на них все операции исчисления высказываний, то мы получим комбинированное высказывание. Оно эквивалентно узкому исчислению одноместных предикатов. В нем, в частности, выразимы все виды предложений (А, Е, I, О), по отношению к которым строится аристотелева силлогистика. Однако, в этом исчислении не формализуемы предложения с отношениями (с двуместными предикатами). Это уже осуществляется в рамках узкого исчисления предикатов.

ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА (англ. computing machinery) — совокупность технических и математических средств частичной или полной автоматизации вычислений, предназначенная для снижения трудоемкости и ускорения решения сложных задач, возникающих при обработке информации. Вычислительная техника особенно быстро начала развиваться в середине XX в., когда наука и производство (особенно ядерная физика, реактивная и ракетная техника) встретились с такими математическими задачами, решение которых ввиду огромного объема громоздких вычислений и их сложности исключали возможность выполнения вычислений на существовавших тогда клавишных вычислительных машинах (арифмометрах, планиметрах и др.) С каждым годом растет потребность в обработке и обобщении скачкообразно возрастающих объемов информации, необходимой для оптимального управления производством, планирования народного хозяйства, точного и своевременного учета. Вычислительные машины становятся непременным орудием руководителей самых многообразных систем управления, особенно систем автоматического управления.
Современная вычислительная техника представлена цифровыми вычислительными машинами (ЦВМ) и электронными цифровыми вычислительными машинами (ЭЦВМ). В настоящее время в вычислительных центрах, в научных учреждениях и на предприятиях нашей планеты функционируют десятки тысяч таких вычислительных машин. С помощью ЦВМ и ЭЦВМ стало возможным решать за несколько минут такие задачи, на решение которых с помощью средств прежней вычислительной техники потребовались бы десятки лет работы большого коллектива математиков. Уже сегодня имеется возможность с помощью применения интегральных полупроводниковых схем обеспечить быстродействие вычислительных машин до 10—100 млн. арифметических операций в секунду.

ШРЕДЕР (Schroder) Эрнст (1841—1902) — немецкий математик и логик, систематизатор и продолжатель результатов Дж. Буля (1815—1864) и его школы. В 1877 г. опубликовал свой труд <<Der Operationkreis der Logikkalkuls», в котором предельно кратко изложил алгебру логику (см.) и ввел в научный обиход термин «логическое исчисление» (см.). Монументален его трактат «Vorlosungen tiber die Algebra des Logik» («Лекции по алгебре логики»), опубликованный в 1890— 1895 гг., в котором не только продолжена разработка идей Дж. Буля, но излагаются и результаты исследований его последователей. В отличие от Буля, взявшего за основу логического исчисления отношение равенства, Шредер построил свое логическое исчисление на базе отношения включения класса в класс. Им введено понятие нормальной формы для логических выражений, открыт принцип двойственности (в логике классов). Шредер занимался также исследованием модусов силлогистических фигур (см. Модусы силлогизма). Он является автором аксиомы ингерентности знаков.

ЦИФРОВАЯ ЭЛЕКТРОННО-ВЫЧИСЛИТЕЛЬНАЯ МАШИНА (англ. digital computer) — вычислительная машина дискретного (прерывистого) действия (см. Дискретные системы), выполняющая операции над цифровыми кодами и автоматизирующая обработку информации, в отличие от другого типа вычислительных машин — аналоговой вычислительной машины (см.) непрерывного действия.
Первой цифровой вычислительной машиной был арифмометр, построенный в 1790 г. и выполнявший 4 арифметических действия. Современные арифмометры снабжены механизмом для установки и переноса чисел в счетчик, счетчиком оборотов, счетчиком результата, устройством для решения результата, ручным или электрическим приводом. В первой четверти XIX в. появляются, более совершенные клавишные вычислительные машины. В 1904 г. А. Н. Крылов построил первую механическую вычислительную машину. Правда, еще в 1833 г. английский ученый Ч. Беббидж предложил проект такого арифмометра, который имел не только запоминающее устройство, но и программное управление. Но этот проект изобретатель не смог осуществить на практике, а чертежи беббиджевской машины стали известны лишь спустя больше чем полвека.
Бурное развитие науки и техники в середине XIX в. дало новый толчок развитию вычислительной техники Огромный объем вычислительных операций при решении сложных задач, особенно в ядерной физике, в ракетной технике, в исследованиях в области космонавтики, не мог быть выполнен на существовавшей вычислительной технике, представленной клавишными машинами. Начались поиски новых методов решения задач на вычисление. Первым успехом на этом пути явилось создание в 1944 г. в США цифровой вычислительной машины «MAPK-I», которая была снабжена программным управлением на электромагнитных реле.
В нашей стране в 1950 г. в АН УССР была построена малая электронная счетная машина («МЭСМ»). Затем появились машины «БЭСМ», «Минск», «Урал», «Днепр» и др. Современные цифровые вычислительные машины решают не только сложнейшие математические задачи, ио и задачи, связанные с управлением сложными объектами.

ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык формальных логических исчислений. От обычного языка, выполняющего познавательную и коммуникативную (общения) функцию и представляющего систему звуков и букв, формализованный язык отличается тем, что он является системой таких знаков (символов), операции с которыми совершаются по правилам, которые определяются только формой выражений, составленных из символов. Если в обычном языке встречается многозначность (напр., словом «ключ» обозначается до восьми самых различных объектов: металлическое приспособление для запирания и отпирания замка; орудие для укрепления и отвинчивания чего-либо; средство разгадки; место, важное в военном отношении; выключатель быстроты замыкания в телеграфной, связи; знак в начале нотной строки; верхний камень в арке здания; источник воды, бьющей из-под земли; глагол «ломаться» имеет 6 значений, слово «общий» — 7 значений, «открыться»— 8 значений, «отпустить» — 9 значений, «оставить» — И значений и т. д.), что ведет к неясности и неточности, то при создании формализованного языка стремятся к полной однозначности и предельной точности символов. Французский лингвист Ж. Вандриес однозначность называет логическим принципом, согласно которому «каждая грамматическая функция должна выражаться одним знаком и каждый знак — выражать одну функцию» (цит. по [1909, стр. 183]). Приведя эти слова, французский языковед Ж. Марузо добавляет: «Этот припция считают порою идеальным, хотя на деле он не осуществляется ни в одном языке» (имеются в виду, конечно, естественные языки). Не без оснований математики-педагоги Г. Иве и К. В. Ныосом [1874] утверждают, что наш обычный язык совершенно непригоден для обсуждения проблем, связанных с современной логикой, где требуются безупречно точные формулировки. Язык формул в аксиоматических теориях должен быть свободен от неясностей и двусмысленностей. Только благодаря этому создается возможность построить логику, в которой на основе некоторых исходных понятий и аксиом и применения четко сформулированных правил получаются новые истинные теоремы. Преимущества языка формул заключаются также в том, что изложение мысли отличается компактностью и ясностью.
Указав на то, что все обычные языки на протяжении длительных исторических периодов развивались под влиянием практических потребностей легкости общения, что не всегда совместимо с точностью и надежностью логического анализа, американский математический логик А. Чёрч пишет: «Желательно, даже практически необходимо, употреблять для логических целей специально созданный язык — формализованный язык... который, в противоположность обычному языку, будет следовать за логической формой и воспроизводить ее даже в ущерб краткости и легкости общения, если это будет необходимо» [5, стр. 16].
Формализованный язык нужен в логике и в вычислительной технике, так же, как телескоп в астрономии
или микроскоп в биологии. «Отношение моего исчисления понятий к живому языку, по моему мнению,—пишет Г. Фреге, —лучше всего можно пояснить, если сравнить его с отношением микроскопа к глазу. В силу широкой применимости глаза, в силу его способности приспосабливаться к самым различным обстоятельствам, последний имеет большое преимущество по сравнению с микроскопом. Конечно, рассматриваемый как оптический аппарат, он имеет много несовершенств, которые остаются обычно незамеченными вследствие связи глаза с духовной жизнью. Но как только научные задачи предъявляют большие требования к остроте различения, обнаруживается, что глаз не в состоянии с ними сравниться. Напротив, микроскоп самым совершенным образом приспособлен для решения именно таких задач и как раз потому негоден при решении всех остальных» (пит. по: [1766, стр. 101—102]). Но описывается формализованный язык с помощью какого-либо естественного языка, который в данном случае называется метаязыком (см.).
Главной отличительной чертой формализованного языка является наличие в нем теории, или системы логического анализа. В формализованном языке слова заменяются буквами и специальными символами, но не это, а разработка системы логического анализа является фундаментом формализованного языка. Из этого следуют такие требования к построению формализованного языка: тщательность в формулировке правил, отсутствие неправильностей и исключений, наличие системы логического анализа.
Построение формализованного языка осуществляется, по Черчу, следующим образом. Вначале выписываются единые неделимые исходные символы (см. Символика математической логики), которые будут употребляться в языке. Число исходных терминов может быть бесконечным. Конечная линейная последовательность исходных символов образует формулу (см.). Исходные символы (знаки) и образованные из них формулы в известном смысле напоминают буквы и слова алфавита и синтаксиса естественного языка. В формализованном языке из исходных терминов («букв») образуются сочетания символов — те или иные выражения, или искусственные «слова». Из числа всех формул по определенным правилам выделяются правильно построенные формулы, из которых некоторые объявляются аксиомами (см.). Число аксиом может быть конечным и бесконечным. После этого устанавливаются правила вывода (см. Вывод), по которым из соответствующих правильно построенных формул как из посылок непосредственно следует как заключение некоторая правильно построенная формула. Конечная последовательность правильно построенных формул называется доказательством, если каждая правильно построенная формула в этой последовательности либо является аксиомой, либо непосредственно выводится по одному из правил вывода из предыдущих правильно построенных формул последовательности.
Но на этом не заканчивается построение формализованного языка. Новый язык должен отвечать следующим требованиям, которые называются требованиями 'эффективности: 1) должен существовать метод, всегда позволяющий эффективно определить, является ли некоторый данный символ одним из исходных символов или не является; 2) должен существовать метод, всегда позволяющий эффективно определить, является ли некоторая данная формула правильно построенной или нет; 3) должен существовать метод, всегда позволяющий эффективно определить, является ли некоторая правильно построенная формула одной из аксиом или нет; 4) должен существовать метод, всегда позволяющий эффективно определить, выводится ли непосредственно по правилам вывода некоторая данная правильно
построенная формула как заключение из некоторых данных правильно построенных формул как из посылок или нет. Весь этот процесс, носящий название формализации, должен завершиться указанием какой-либо интерпретации (см.).
Интерпретацией языка (напр., языка L) называется распространение исходных положений языка на какую-либо содержательную систему, пли любое отображение (напр., Q), которое каждой переменной интерпретируемого языка L сопоставляет истинное или ложное положение (предложение), присущее содержательной системе. Напр., интерпретацией языка исчисления высказываний (см.) математической логики является отображение исходных положений этого языка в положениях релейно-контактных схем. Так, конъюнктивная связь двух высказываний, исследуемая в исчислении высказываний, нашла свое отображение в правилах электрической проводки с двумя последовательно соединенными выключателями. Свое отображение нашли и другие виды связи высказываний (дизъюнкция, импликация, эквиваленция).
Всякий формализованный язык имеет свой синтаксис, который является системой правил, определяющих структуру, построение и преобразование (синтаксически) осмысленных выражений языка. В задачу синтаксиса входит также решение таких проблем, как непротиворечивость, полнота и независимость аксиом формализованного языка. Непротиворечива та система аксиом, в которой никакое высказывание не может быть доказано и вместе с тем опровергнуто. Это значит, что в пределах данной системы аксиом нельзя одновременно вывести высказывание А и высказывание А (отрицание А), которые отрицают друг друга. Противоречивая система аксиом не имеет никакой ценности, так как она не в состоянии отобразить различие между истиной и ложью.
Очень важной характеристикой системы аксиом является внутренняя независимость аксиом, что освобождает систему от лишних аксиом. Существо независимости аксиомы заключается в том, что аксиома невы-водима из остальных аксиом, входящих в эту систему, ее нельзя доказать при помощи остальных аксиом.
Полнота системы аксиом свидетельствует о том, что в ней все содержательно истинные формулы могут быть получены из нее самой. Считается, что наиболее существенным требованием является требование непротиворечивости, поскольку наличие противоречивости разрушает систему и вопрос о независимости и полноте тем самым снимается, ибо он уже не играет никакой роли.
Всякий формализованный язык имеет и семантику, которая изучает значение выражений языка, соотношение между формальной системой и ее интерпретациями. В семантике рассматриваются и такие проблемы, как проблема истины, соотношение символа и того, что им обозначается. В исчислении высказываний семантика интересуется выражениями только со стороны их истинности или ложности. Семантика исследует, как и синтаксис, проблемы непротиворечивости, независимости и полноты системы аксиом, но под некоторым другим углом зрения. Исчисление высказываний считается непротиворечивым, если оно интерпретируется хотя бы одной содержательной системой, которая сама не является противоречивой. Если каждое высказывание данного исчисления выводимо относительно модели, то исчисление семантически полно. Когда имеется интерпретация, удовлетворяющая всем остальным аксиомам, кроме той, которая исследуется, то система называется семантически независимой. «Благодаря точному синтаксису и семантике, отсутствию омонимических выражений, применению экономных и хорошо обозримых способов записи формализованный язык,— справедливо замечает О. Ф. Серебрянников, служит материальным средством выявления, анализа логической структуры и законов построения выводов и доказательств» [1765, стр. 18].
Формализованный язык может служить основой для разработки информационного языка, которым пользуются в вычислительных машинах.

СЧЕТНОЕ МНОЖЕСТВО — множество (см.), равно-мощное множеству (см. Равномощные множества) всех натуральных чисел (0, 1, 2, 3, . . ., п — 1), напр., множество целых чисел, четных чисел, рациональных чисел; все другие бесконечные множества являются несчетными бесконечными множествами. Это означает, что все элементы счетного множества имеется возможность перенумеровать, т. о. обозначить натуральными числами. Говорят также [1779], что счетное множество имеет мощность Хо, а всякое множество, равномощ-ное с множеством всех подмножеств какого-нибудь счетного множества, имеет мощность 2Хо или мощность континуума (см.). Бесконечное множество С. Клини [82, стр. 11] считает счетным, если можно установить одно-однозначное соответствие (см.) между его элементами и натуральными числами. Мощность счетного множества, напр., множества простых чисел, меньше мощности любого бесконечного несчетного множества. Отношение между счетным множеством и бесконечным несчетным множеством выражается следующими теоремами [1587]: 1) мощность бесконечного множества не изменяется от прибавления к нему счетного множества и 2) мощность несчетного множества не меняется от удаления из него счетного множества. Важно знать также и некоторые другие теоремы, как, напр. [1902]: 3) любое подмножество (см.) счетного множества счетно; 4) сумма двух счетных множеств счетна; 5) сумма конечного и счетного множества счетна; 6) если множество А счетно, то множество всех конечных последовательностей его элементов также счетно; 7'i множество алгебраических чисел счетно.

СИСТЕМЫ СЧИСЛЕНИЯ — различные записи чисел с помощью специальных знаков, называемых цифрами. Так, общепринятая десятичная система использует 10 цифр: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. В вычислительных машинах применяются другие системы счисления. Простейшей системой счисления, применяющейся в этих машинах, является двоичная система, использующая только две цифры: 0 и 1 (см. Двоичная система счисления). В троичной системе используются 3 цифры: 0, 1, 2. Известны также восьмеричная, двенадцатеричная системы счисления (см. Троичная система счисления, Восьмеричная система счисления). Число цифр, с помощью которых записываются числа в данной системе счисления, называется основанием системы счисления. Все системы счисления делятся на две группы: позиционные системы счисления (см.), в которых цифра означает различные числа, в зависимости от позиции, которую она занимает в последовательной записи цифр, входящих в число, и непозиционные системы счисления (см.), в которых каждый знак (цифра или какой-нибудь другой символ) означает одно и то же число, какое бы место (позицию) он ни занимал. Из истории известно, что в разные исторические эпохи человечество пользовалось различными системами счисления: пятеричными, двад-цатеричными и даже шестидесятеричными (и в наши дни мы еще делим минуту на 60 секунд, а час — на 60 минут).

СИГНАЛ (лат. sigrmm — знак) — условный зрительный или звуковой знак, с помощью которого передаются какие-нибудь сведения, сообщения, указания, распоряжения, предупреждения и т. п.; в кибернетике — материальный процесс (физический, химический), несущий информацию, которая обрабатывается в электронно-вычислительной машине; сигнал — это материальное воплощение информации. Передается сигнал с помощью какого-либо материального канала связи (телефонного провода, радиоволны, воздуха и т. п.). Поскольку канал связи подвергается воздействию предметов окружающей его среды, сигналы, передаваемые по нему, могут искажаться. Это ведет к тому, что нередко сигнал на выходе оказывается не тождественным сигналу на входе, т. е. не является однозначной функцией входного сигнала. Зависимость между входным и выходным сигналами при условии помех становится вероятностной, статистической. В кибернетике [1698] количество информации, переданной по каналу связи, считается равным нулю, если входной и выходной сигналы независимы, т. е. никак даже статистически не связаны друг с другом. В том же случае, когда принятый сигнал однозначно определяет сигнал, посланный на входе, количество информации определяется как достигшее максимума. Правильное определение понятия «сигнал» должно исходить из того, как справедливо замечают Б. В. Бирюков и В. С. Тюхтин, что сигнал имеет двойственную природу: он обладает определенными энергетическими и технологическими (вещественными) характеристиками, но сами эти характеристики в общем не существенны для сигнала как носителя информации (в самом деле, сигнал «отрицания» можно передать и с помощью « — », и с помощью «—|», и с помощью « »— черта сверху буквы). «Сигналы имеют две тесно связанные друг с другом стороны, которые можно назвать содержанием сигналов и их формой; под последней понимается способ существования сигналов и то, как в сигналах выражается их содержание» (цит. по [1972, стр. 285]). При этом обращается внимание на то, что для сигнала характерно не непосредственное физическое воздействие, а действие информационное, обусловленное принятой системой кодирования (см.), которая превращает физический процесс, материальный знак в сигналы. А это ведет к тому, что сигналы выполняют и отражательную, и регулирующую (управляющую) функцию. Но последнее относится только к живой природе, ибо в неживой природе процессы управления не имеют места.

РЕЛЕ (франц. relais) — электромеханический прибор, применяемый в схемах управления автоматических установок (напр., электромагнитное реле в электронных вычислительных машинах) и реагирующий на определенные значения и изменения величин или направлений какого-либо параметра (основного показателя устройства). Такие реле называются реле автоматики. Они бывают не только электромеханическими, но и тепловыми, акустическими, оптическими, жидкостными и газовыми. Известно, что высказанная английским ученым Ч. Бэббиджем в 1833 г. идея о возможности noj строения автоматической цифровой вычислительной машины была осуществлена только через 111 лет, когда была построена машина «Марк-1», в которой в качестве основных элементов взяты электромагнитные реле.

ПРОГРАММИРОВАНИЕ (греч. programma — объявление, предписание) — процесс составления программы (см.), который представляет собой расчленение какого-либо задания на простейшие (элементарные) операции и подготовку плана действия, записанного условным кодом (см.), для вычислительных машин; цель программирования — перевод на язык машины того или иного вопроса; программированием называется и специальный раздел математики, в котором изучаются приемы составления, контроля и введения программ для вычислительных машин и эксплуатации таких машин. Программирование, или создание программ решения задач до сих пор является одной из самых трудоемких операций в работе с электронно-вычислительными машинами.
Составить программу — это значит задать алгоритм (см.) решения арифметической или логической задачи на языке «понятном» машине, т. е. на машинном языке (см. Язык машинный). Н® машинный язык состоит из самых простых арифметических и некоторых логических операций (конъюнкция, дизъюнкция, отрицание— см.), между тем как машине ставятся, конечно, более сложные задачи, в которых применяются такие термины, как интегралы, дифференциалы и т. п. Поэтому, как показывается в [1786, стр. 16—21], приходится сводить заданные математические отношения к последовательности арифметических действий и к конечному числу логических правил, причем так, чтобы хорошо отражалась сущность заданной математической или логической задачи. Предварительно алгоритм записывается на каком-либо удобном промежуточном языке, напр., чаще всего на международном алгоритмическом языке, который сокращенно называется Алгол (см.). Все указанные выше действия составляют первый этап программирования.
На втором этапе алгоритм решения задачи переводится с промежуточного на язык машины. Алгоритм расчленяется на простейшие акты, определяемые набором элементарных операций (актов переработки информации в течение одного такта машины),^ производится запись информации о каждом акте в виде команды (см.). Поскольку при составлении программы могут быть допущены ошибки, машина не пускается в ход до тех пор, пока не будет произведена отладка программы. Программист проверяет правильность программы, обнаруживает и устраняет все допущенные ошибки. Этот этап считается весьма трудоемким и очень ответственным. Затем машина пускается в ход. Задачу она решает автоматически, в соответствии с алгоритмом.
В литературе по информационной теории и практике [1095, стр. 142] различают несколько видов программирования: 1) автоматическое, под которым понимают процесс автоматического составления программ для электронных цифровых вычислительных машин, выполняемый самими электронно-вычислительными машинами; 2) математическое, требующее предварительного построения математической модели алгоритмизируемого (см. Алгоритм) процесса; 3) эвристическое, под которым понимается программирование работы электронной цифровой вычислительной машины на основе исследования закономерностей мыслительной деятельности.человека.
Уже созданы [1788] программы, дающие возможность машине оперировать с символическими выражениями и отыскивать способы обращения с некоторыми простыми системами аксиом для получения формальных доказательств и поиска теорем. Составлены интересные программы доказательства теорем в системах евклидовой или проективной геометрий. И что интересно, машины выдали любопытные доказательства свойств треугольников и т. п., иногда не совпадающие с принятыми в школьных курсах.
В некоторых машинах (напр. «Наири») имеется встроенная система автоматического программирования решений определенного круга задач. Вводится так называемое микропрограммирование. Если раньше все элементы ЭВМ связывались десятками тысяч проводов в одну неизменную схему, то при микропрограммировании алгоритм решения той или иной задачи хранится в специальном запоминающем устройстве, его можно легко изменять, с запоминающего устройства можно стирать старую и записывать новую информацию. В прежних же машинах изменение алгоритма было связано с кропотливой и длительной работой пересоединения и перепайки сотен контактов.
Необходимость программирования, которое отнимает еще очень много времени и требует подготовки большого контингента специалистов-программистов, вызывается пока несовершенством электронно-вычислительных машин. Кибернетики высказывают уверенное предположение [1588], что не пройдет и 20 лет, как эта проблема будет практически решена: программирование перестанет существовать, и вычислительная машина станет доступной, как современный телефон. Но срок в двадцать лет довольно большой, а пока программировать надо обычным путем. Программистом может стать каждый математик, прибегающий к услугам ЭВМ. Недавно «Правда» сообщала, что в Днепропетровском университете существует твердый принцип: кто бы ты ни был, студент или профессор, но если тебе надо что-нибудь сосчитать на ЭВМ, то сам составь и отладь программу. Это позволяет обходиться без большого штата программистов и в то же время заставляет и ученых, и будущих специалистов глубже вникать в проблемы вычислительной техники.
При этом как бы ни решался вопрос о программировании в будущем, каждому программисту должно быть ясно, что составление команд для ЭВМ требует не только знания электронно-вычислительной техники, но и глубокого понимания логики вычислительного процесса. Ведь составление программы — это цепь логических схем. На это обращают внимание начинающих программистов все крупнейшие специалисты в этой области. Вот как описывает процесс составления программ для ЭВМ известный теоретик и практик
конструирования электронно-вычислительных машин К. Джермейн в своей фундаментальной книге [1986, стр. 238]: «Разрабатывая проект системы, программист рисует логическую схему системы — наглядное графическое изображение того, что происходит в системе. Затем он разбивает каждую часть этой логической схему на более мелкие части с необходимой степенью подробности, получая подробные логические схемы. Затем он разрабатывает специальную логическую схему программы для решения на вычислительной машине... Наличие подробной логической схемы программы облегчает процесс программирования: используя ее, можно приступать к кодированию, т. е. к написанию команд».