Главная / Парадигмы программирования

Парадигмы программирования - ответы на тесты Интуит

Курс знакомит студентов с разнообразием стилей и языков программирования. Выбор изучаемых парадигм отражает эволюцию языков, используемых при решении задач системной и прикладной информатики от низкоуровневого программирования на стыке с аппаратурой до языков сверх высокого уровня и параллельного программирования.

Список вопросов:

# Парадигма программирования - это
# Инструментом грамматического описания фактов, событий, явлений и процессов в программировании является
# Парадигма программирования по своей сути является
# К парадигмам программирования обычно относят
# Программирование, мало отличающееся от кодирования, называется
# Язык Фортран относится к
# Алгол и Паскаль относятся к
# К функциональному программированию относят язык
# Для функционального программирования характерны
# К стилям программирования относят
# Среди стилей программирования различают
# Стилем программирования называют
# Аппаратным подходом к организации работы компьютера характеризуется
# В центре внимания низкоуровневого программирования находится
# Подход, нацеленный на доступ к любым возможностям оборудования, называется
# Для программ системного программирования характерна
# Императивно-процедурный стиль программирования доминирует в области
# Императивно-процедурный стиль программирования
# На достижение предельно возможных характеристик при решении особо важных задач нацелено
# Высокопроизводительное программирование нацелено на
# Для параллельных процессов требуется
# Для упрощения функционального программирования для математиков и лингвистов, решающих задачи символьной обработки, используют
# Декларативное программирование используют
# В декларативном программировании в качестве понятийной основы используют
# Объединение техники оптимизации программ, макрогенерации и частичных вычислений осуществляется
# Трансформационное программирование используется для
# Центральным понятием в области трансформационного программирования является
# К подходам к программированию, создающим перспективу рационального освоения реальных информационных ресурсов и компьютерного потенциала относят
# К перспективным подходам к программированию относят
# Подход к программированию с мобильным стилем уточнения программ носит название
# Подход к программированию с учебно-игровым стилем профессионального, обучающего и любительского программирования называется
# Подход к программированию с эргономичным стилем индивидуализируемого конструирования персонифицированных информационных систем носит название
# Инструментом формирования профессионального поведения является
# Интерпретаторы по своей сути являются
# Специфичным методом установления достоверности результатов в программировании является
# К критериям качества программы относят
# Сборка программы из автономно развивающихся компонентов опирается
# Понимание достигаемой цели при сборке программы гарантирует
# Тип значений обычно отражает
# Учет спектра низкоуровневых реализационных средств обеспечивает
# Структура данных обеспечивает
# Класс объектов характеризуется
# Контекст содержит
# К понятию контекста относят
# К составным частям понятия контекста относят
# Текст программы представляет собой
# Модификации программы при развитии решаемой задачи осуществляются
# Путем сведения к общим функциям, преобразующим любые аргументы в определенные результаты можно
# Объектно-ориентированное программирование структурирует множество частных методов в соответствии с
# Определяемые в программе построения
# Локальные видоизменения программных построений позволяет выполнять модификации посредством
# После того, как продумывается все, что можно делать с объектом данного класса, в программе достаточно
# . Если методов много, то их
# Структурирование методов по иерархии классов позволяет
# На каждом уровне иерархии можно варьировать
# На каждом уровне иерархии набор методов и структуру объектов
# Описание программы декомпозируется на интерфейс и реализацию в результате
# Объект не изменен, если на него
# Если на объект не было воздействий из программы, то он
# Чтобы изменить объект, на него нужно
# Введение одноименных методов над разными классами объектов носит название
# Полиморфизм - это
# Упростить представление логики управления можно с помощью
# Распознавание принадлежности объекта классу на уровне текста программы
# Суперкласс - это
# Объединение классов объектов, обрабатываемых одноименными методами, называется
# Понятие шага обычно связывается с процессом
# С процессом раскрутки программ обычно связывается понятие
# Расширение программы выполняется
# Выбор нужного варианта при исполнении функций, обладающих неединственным определением, выполняется
# Объектно-ориентированное программирование обеспечивает
# Расширение программ при объектно-ориентированном подходе к программированию выглядит как
# Применение параллельных архитектур
# Автоматическое распараллеливание последовательных программ
# Выражение языковыми средствами естественного параллелизма на уровне постановки задачи является
# Чтобы при оптимизирующей компиляции был выполнен аккуратный выбор наиболее эффективной схемы параллелизма нужно
# Языки спецификаций и проектирования заслуживают внимания как средства, определяющие
# Языки спецификаций и проектирования используют для определения
# Техника программирования в достаточно сложных областях науки и техники иллюстрируется на
# На задачах организации параллельных вычислений производится описание техники программирования
# Сложные построения факторизуются
# Сложные построения факторизуются так, что
# Выделение несложных отображающих функций происходит
# Несложные отображающие функции "просачиваются" по структуре данных с помощью
# При организации сложной информационной обработки
# Независимо варьировать структуры данных можно
# Независимое варьирование структуры данных можно производить
# При организации сложной информационной обработки
# Независимо варьировать функционалы можно
# Независимое варьирование функционалов можно производить
# При организации сложной информационной обработки
# Независимо варьировать отображающие функции можно
# Независимое варьирование отображающих функций можно производить
# При программировании целенаправленно выделяются конвейерные процессы, приспособленные к
# Для минимизации хранения промежуточных результатов применяют
# Модели управления на метауровне организации параллельных процессов
# Проведение параллельного программирования на базе суперкомпьютеров
# Проведение параллельного программирования на базе многоядерных архитектур
# Механизм реализации многомерных векторов приспособлен
# Сложные данные представляются в виде
# В виде последовательности скаляров и паспорта представляются
# Последовательность сложных данных структурируется согласно
# Любое определение функции над скалярами может быть
# Среди языков функционального программирования выделяют языки
# К основным целям разработки языков с функциональным стилем программирования относят
# Функциональные языки способствуют разработке
# Функциональные программы
# Создать функциональную программу, которая является безусловно параллельной
# При организации высококвалифицированных процессов информационной обработки используют
# К специфицируемым данным при организации высококвалифицированных процессов информационной обработки относят
# Специфицируемыми данным при организации высококвалифицированных процессов информационной обработки считают
# К синтаксически управляемым методам информационной обработки относят
# Кодогенерация относится к
# Конструирование компиляторов относят к синтаксически управляемым методам информационной обработки
# Применение функций высших порядков характерно
# При решении задач регулярной обработки формализованной информации характерно применение функций
# Применение функций высших порядков при решении задач регулярной обработки формализованной информации
# При реализации и настройке сложных информационных систем возникают задачи с применением функций
# К сложным информационным системам принято относить
# Сложными информационными системами принято считать
# Функции высших порядков используют
# Функции высших порядков используют другие функции в качестве
# Функции высших порядков
# Правильность выражений с функциями высшего порядка требует
# Для правильности выражений с функциями высшего порядка требуется
# Возможность манипулирования функциональными значениями определяется
# Функции можно ранжировать на основе
# На основе типовых выражений можно
# Типовые выражения, представляют собой
# Задание типов данных
# Задание типов данных
# Представление задания типов данных в виде комментариев
# Специфицировать интерпретатор
# Спецификация интерпретатора
# Характеристика отображающего функционала типовым выражением
# Построение функции, непосредственно преобразующей свой функциональный аргумент в новую функцию
# Аргумент может быть
# Возможность аргумента представляться в виде списка функций
# Распространение простых функций на сложные данные
# Распространение простых функций на сложные данные происходит
# Распространение простых функций на сложные данные характерно
# Результативность функций высших порядков можно показать на
# Отображение - это
# Синтаксические формулы приводят к
# Оптимизирующая компиляция - это
# Область применения формальных методов преобразования программ и процессов носит название
# Большинство программ и процессов, обрабатываемых при оптимизирующей компиляции, сводятся к
# При оптимизации программы анализируется
# Серия функциональных эквивалентов программы анализируется
# Набор критериев выбора функциональных эквивалентов
# К примерам оптимизации можно отнести
# Компиляция и распараллеливание программ являются примерами
# Компиляция и распараллеливание программ применяются для эффективного исполнения программ
# Средства управления процессами изначально опираются на
# Согласно интуитивному представлению о вычислении выражений функция применяется
# Результат управления вычислениями проявляется
# В результате управления вычислениями появляется возможность
# Неэффективность и ненадежность программ обусловлена
# Необоснованная синхронизация формально упорядоченных действий является аспектом
# Любое очень объемное, сложное данное
# Принципиальной экономии памяти можно достичь
# Рецепт - это
# Чтобы исключить повторное вычисление совпадающих рецептов, в его внутреннее представление вводится
# К значениям флага относят
# Распространение понятия данных на бесконечные, рекурсивно-вычислимые множества
# Выбор из организованного списка нужного количества элементов
# Связывание функционального аргумента с ассоциативным списком
# Эффект приостанавливаемых и возобновляемых вычислений
# В языках программирования бывают вызовы
# Техника приостановки и возобновления функций при ленивых вычислениях названа вызовом
# Вызовом по необходимости называют
# Идея смешанных вычислений с точки зрения реализации
# Идея смешанных вычислений сложилась
# Из опыта разработки оптимизирующих трансляторов для языков высокого уровня сложилась идея
# Остаточная программа может дать нужный результат, если
# Если дать недостающие данные, то остаточная программа
# Разметка действий программы на исполнимые и задерживаемые понадобилась для
# Определение функции ERROR можно доопределить обращением к
# Обращением к READ можно доопределить определение функции
# Многие выражения по смыслу используемых в них операций иногда определены при
# Принципиальная разница в средствах и методах информационной обработки лежит на уровне
# Семантическое макетирование в функциональном стиле в основном направлено на
# Возможность введения частично определенных функций
# Специализация интерпретатора программ производится с целью учета уровня достоверности
# С целью учета уровня достоверности определений производится
# Специализация интерпретатора программ
# Динамика представления знаний сводится к
# Переход от одного представления к другому является аспектом
# Успешность динамики представления знаний
# Ограничение динамики представления знаний систематически преодолевается посредством
# К представлениям более высокого порядка в динамике представления знаний приводит
# Обобщение в динамике представления знаний приводит к представлениям более высокого порядка, которые могут выражаться в виде
# Последовательность шагов обобщения можно называть
# Индуктивным развитием представления знаний можно называть
# Индуктивное развитие соответствует
# Индуктивное развитие
# Теория, достаточная для порождения всей достоверной информации
# При разработке программ роль предела играет
# В результате индуктивного развития представления знаний наблюдается тенденция
# К средствам декларативного характера относят
# Средствами декларативного характера принято считать
# К средствам процедурного характера относят
# Средствами процедурного характера принято считать
# Средствами процедурного характера можно назвать
# Дедуктивный вывод осуществляет переход
# Переход от потенциальных знаний к актуальным осуществляет
# Для перехода от потенциальных знаний к актуальным используют
# Над множествами определены операции
# К операциям, определенным над множеством, относят
# Структуры в виде списков выстраиваются
# Нейтрализовать проблему документирования методикой парной разработки можно
# Методика вертикального сложения программ имеет своей основой
# Функциональная декомпозиция
# Макет программы - это
# Предварительный текст программы, допускающий уточнение называется
# Актуальность интеграции средств и методов, используемых на разных фазах жизненного цикла программ, отражает
# Распределенные информационные системы представляют собой
# Набор независимо функционирующих составляющих, выглядящих как единая система, представляет собой
# При обсуждении распределенных информационных систем обычно используют
# К характерным особенностям распределенных информационных систем относят
# Распределенным информационным системам характерными особенностями являются
# К распределенным информационным системам можно отнести
# К типовым задачам распределенных информационных систем относят
# Типовыми задачами распределенных информационных систем можно считать
# Распределенные информационные системы выполняют
# Решение задач распределенных информационных систем сопряжено с выполнением требований
# К требованиям к решению задач распределенных информационных систем относят
# Полную информацию по системе
# Чаще всего распределенная информационная система реализуется на базе
# На концептуальном уровне для распределенной информационной системы характерны свойства
# Распределенной информационной системе на концептуальном уровне характерны свойства
# На уровне реализации принципиально важными считаются
# На уровне реализации принципиально важными считаются понятия
# Устройства для реализации распределенной информационной системы должны быть
# К критериям успешности разработки распределенных информационных систем относят
# Критериями успешности распределенных информационных систем считают
# По своему существу распределенная информационная система
# Разработка распределенной информационной системы имеет
# Разработка распределенной информационной системы в период ее эксплуатации
# Язык представления распределенной информационной системы должен
# Ключевое направление развития парадигм программирования связано с тенденцией
# Разработка компонентов программ отличается от первичного программирования
# К долговременным целям и критериям разработки компонентов программ относят
# Долговременные цели и критерии выводят процессы разработки информационных систем
# Компоненты информационных систем ориентированы
# На передний план создания информационных систем выходят задачи
# Разработка компонента информационных систем
# Понятие "компонент" содержит в себе
# К понятию "компонент" можно отнести
# К движущим силам рефакторинга можно отнести
# Любая часть определения компонентов может быть задана с помощью
# Рефакторинг повышает
# К уровням разработки системы программирования относят
# Семантика, по сути, является
# Прагматика реализуемого языка считается
# Синтаксис определяет
# Семантика определяет
# Прагматика определяет
# При изучении парадигм программирования центральную роль играет
# При изучении парадигм программирования семантика
# Как вспомогательные построения при изучении парадигм программирования используются
# Для сравнения парадигм программирования применяется
# Венская методика
# Венская методика основана на
# Венский метод годится для описания
# В области описания абстрактных процессов первенство принадлежит
# К абстрактным объектам относят
# Интерпретирующий автомат содержит в качестве компоненты состояния
# Интерпретирующий автомат содержит управляющую часть в качестве
# Содержимое управляющей части интерпретирующего автомата
# Способ определения семантики языка программирования с помощью интерпретатора над языково-ориентированной абстрактной машиной называют
# Синтаксис программ в языке программирования сводится к правилам представления
# Принятая в операционной семантике динамика управления в сравнении с системами программирования компилирующего типа характеризуется
# Данные языка Лисп - это
# Абстрактный синтаксис программ является
# Утончением синтаксиса данных является
# Данные, приспособленные к вычислению, называются
# Вычислимые выражения - это данные
# Вычислимые формы - это данные
# Операционная семантика языка определяется как
# Задача перехода от конкретного синтаксиса текстов языка к абстрактному синтаксису его понятийной структуры
# Переход от конкретного синтаксиса текстов языка к абстрактному синтаксису его понятийной структуры получается
# Идентификатор - это
# Подкласс атомов, используемых при именовании неоднократно используемых объектов программы, называется
# Идентификатор по своей сути является
# Переменная - это
# Подкласс идентификаторов, которым сопоставлено многократно используемое значение, имеет название
# Переменная по своей сути является
# Принципы и способы программирования
# Среди императивных языков Ассемблер является
# Ассемблер отличается от компилятора
# Процесс перевода программы с языка ассемблера в язык машинных команд называют
# Ассемблирование - это
# Процесс ассемблирования заключается в
# Для реализации процесса ассемблирования требуется
# Абсолютные адреса ячеек памяти, занятых для хранения констант, команд и промежуточных результатов вычислений
# Последовательно написанные команды будут расположены в
# Ассемблерная программа содержит
# Директивы управления ассемблированием
# Символические представления команд
# Точка входа в программу из операционной системы
# Программирование на ассемблере подразумевает знание
# Система команд может быть расширена
# Код программы обладает
# Для кода программы характерными считаются понятия
# Программа может размещаться в памяти
# Ассемблер обеспечивает средства управления распределением памяти и управления компиляцией кода
# В ассемблерной программе имеются средства
# Средства отладочного исполнения и распечатки листингов
# Уровень языка может быть повышен с помощью
# С помощью макросов возможно
# Посредством применения макросов осуществляется
# Язык ассемблера оперирует такими данными как
# Поля предназначенны для размещения
# Число слов, отводимое ассемблером под одну символическую команду, зависит
# Операндная часть команды состоит из
# Операндная часть команды может быть представленна в виде
# Команды бывают
# Система команд содержит команды
# Традиционно ассемблер реализуют как
# Интерпретирующий автомат для ассемблера в сравнении с автоматом для абстрактной машины
# Регистры приспособлены к хранению выражений в форме
# Состояние машины
# В ассемблерной программе имеются
# Для машинно-ориентированных языков-оболочек свойственны
# Абстрагирование в машинно-ориентированных языках-оболочках
# Наиболее убедительное применение язык Форт получил
# По технике программирования Форт
# При программировании на языке Форт используется
# Система операций над стеком
# Программирование на Форте сопровождается
# Синтаксис применения систематической свертки понятий созвучен
# Хорошая программа на Форте - это, по сути
# Техника компиляции на языке Форт
# Для языка Форт
# Для системы программирования на языке Форт пара интерпретатор-компилятор
# Данные и команды в программе на языке Форт представляются в виде
# Операция в языке Форт - это
# Известное системе слово для языка Форт носит название
# Данные при программировании на языке Форт загружаются
# Операция берет данные из стека в соответствии
# Слова система в языке Форт хранит
# Контекст исполнения программы на языке Форт образуют
# Непрерывная среда разработки программ содержит
# Средства управления разработкой
# Написанные на Форте программы обладают
# Для программ, написанных на Форте, характерными являются
# Программы, написанные на Форте
# К недостаткам программ, написанных на Форте, относят
# Недостатком программ, написанных на Форте, считают
# Недостатками программы, написанной на Форте, принято считать
# Программа на Форте строится
# Данные - это, по сути
# Логическое значение "истина" в языке Форт
# В качестве элементарных данных языка Форт выступают
# Элементарными данными языка Форт принято считать
# Константы, символизирующие логические значения
# Состояние системы программирования можно исследовать на уровне
# Компиляция представляет собой
# Словарь Форта хранит определения
# Макропроцессор - это
# Главное предназначение макросов в системах программирования
# Макропроцессоры используются в качестве инструмента настройки на различные стандарты
# Макропреобразования могут представляться в виде
# Макропроцессор сам по себе
# Макропроцессор по своему определению
# Любой класс макропреобразований может использовать
# Для любого класса макропреобразований характерными считаются понятия
# Любой класс макропреобразований характеризуется
# Обычно макроопределения формируются
# При итеративном анализе текста макровызовы выполняются
# По отношению к выражениям базового языка макросы считаются
# Для автономных макропроцессоров характерны
# Автономным макропроцессорам характерны
# К специальным механизмам регулярного конструирования различимых текстов относят
# Макросом называют
# Средство замены строки на другую, полученную из исходной по заранее заданным правилам - это
# Макрос по своей сути является
# Замену строки на другую, полученную из исходной по заранее заданным правилам, осуществляетт
# Макропроцессор осуществляет
# Макропроцессор, как таковой
# Макропроцессор перерабатывает текст, содержащий
# Макросы бывают
# Системы макросов могут организовываться
# Применение макроса
# Определение макроса
# Подпрограмма меняет
# Большинство макропроцессоров допускают
# Глобальные и локальные макропеременные носят общее название
# При автоматизации формирования различимых имен используется
# Макротехника результативна
# Макротехника считается результативной
# Макросами можно описать
# К требованиям возможности развития макропроцессора своими средствами относят
# На практике макроассемблер исполняет роль
# Специальный механизм специальных макропеременных используется для
# Внешне языки управления процессами выглядят
# Роль данных во внешних языках управления процессами выполняют
# Объекты, обладающие собственным поведением и подверженные влиянию внешнего мира, называются
# Выполнение команды во внешних языках управления процессами рассматривается как
# Событие во внешних языках управления процессами может быть
# События во внешних языках управления процессами бывают
# Реакция на событие программируется как
# Обработчик события - это
# Обработчик события выполняется
# Программа процесса может быть нацелена на
# Процесс во внешних языках управления может быть
# Процессы во внешних языках управления могут
# Для процессов во внешних языках управления
# Программа процесса во внешних языках управления выглядит как
# Программа процесса во внешних языках управления создается в виде
# Программа процесса во внешних языках управления
# Последовательное расположение команд в программе
# Выполнение команд в интервалах времени между выполнением других команд
# Доступ к общим ресурсам регулируется с помощью очередей запросов на обслуживание на базе
# Обслуживание ресурсов на базе монопроцессорных комплексов является
# Обслуживание ресурсов на базе мультипроцессорных комплексов является
# Основным критерием качества обслуживания ресурсов на базе мультипроцессорных комплексов является
# Основным критерием качества обслуживания ресурсов на базе монопроцессорных комплексов является
# Параллельная композиция действий
# Ряд моделей параллельных процессов концептуально походят на
# Изменение автоматов с состояниями рассматривается
# Модели параллельных процессов могут строиться
# Термин "процесс" используется для обозначения поведения
# Описание процесса начинается
# Множество имен событий, используемых при описании процесса или объекта, называют
# Первая абстракция при моделировании процессов - это
# Для исключения времени необходимо, чтобы
# При проведении абстракции исключения времени необходимо определить отношения
# Если известно, что процесс может произойти вслед за событием, влекущим этот процесс, то событие называют
# Выражение выбора из произвольного числа альтернатив
# Выражение взаимной рекурсии
# Идея функционального программирования опирается
# К характерным условиям для реализации функций в программах относят
# Функции программы удобны
# Функции программы
# Трудоемкость отладки композиций из хорошо определенных функций растет
# При использовании функций программ характерным является наличие
# Аргументы простых функций вычисляются
# Предварительно вычисляются аргументы
# Вычисление аргументов простых функций производится
# Специальные функции обрабатывают аргументы
# Обработка аргументов нестандартным способом характерна для
# Специальные функции способны обрабатывать аргументы
# В качестве результата функции допускаются
# Варианты значений допускаются в качестве
# Варианты значений выбираются из конечного множества значений
# Организация управления, достаточного для оптимизации и программирования параллельных процессов, реализуется с помощью
# Замедленные вычисления проводятся
# Замедленные вычисления производятся
# Задача функционального программирования получает логическое завершение на уровне определения
# На уровне определения функций высших порядков происходит
# Для синтаксически управляемого конструирования программ на основе спецификаций, типов данных и визуальных диаграмм удобными считаются
# Минимальный набор обозначений, к которым можно свести все правильные формулы системы - это
# Минимальный набор обозначений, к которым можно свести все вычислимые формулы системы, носит название
# Реализация базиса системы является
# Базис Лиспа состоит из
# Базовые функции и функционалы входят в определение
# Понятия атомов и структур характерно для
# Базис содержит
# Встроенные функции
# Примитивные функции
# Специальные функции и функционалы производят
# Управление обработкой структур, представляющих вычисляемые выражения, производят
# В языке Лисп над базисом строятся предельно простые формулы в виде
# Функционалы - это
# Категория функций, используемая при организации управления вычислениями, носит название
# Методы функционального программирования основаны
# Процесс переложения функциональных программ в императивные
# Процесс переложения императивных программ в функциональные
# Формальная сводимость императивных и функциональных программ в обе стороны
# Любые конструкции стандартных языков программирования могут быть введены
# Функции, дополняющие исходную систему функционального программирования, могут образовывать
# С помощью функций, дополняющих исходную систему функционального программирования, можно образовать
# Для смягчения недостатков исходной схемы интерпретации используют
# Списки свойств атома и деструктивные операции используют для
# Оптимизирующие преобразования структур данных
# Раскрутка систем программирования
# Оптимизирующие преобразования программ
# Оптимизирующие преобразования процессов
# Prog-форма имеет структуру
# Атом в списке является
# Меткой в списке является
# Локализация оператора производится
# Метка производит
# Метка локализирует оператор, стоящий
# Первый список после символа PROG называется
# Список рабочих переменных - это
# Переменные могут определяться понятиями
# Для присваивания рабочей переменной применяется форма
# Форма SET применяется для
# Блокировка вычисления первого аргумента производится формой
# Обычно операторы выполняются
# Выполнение оператора понимается как
# Вычисление и отбрасывание значения оператора составляют его
# Нормальный конец программы - это аргумент
# RETURN - это аргумент
# Нормальный конец программы обозначается аргументом
# Атомы, играющие роль меток, работают как
# Как указатели помеченного блока работают
# Указатели помеченного блока, по сути, являются
# К ограничениям, способствующим удобству отладки программ, относят
# Для удобства отладки программ необходимы
# Общий механизм интерпретации стандартной программы естественно представить в виде
# Прямой перебор вариантов в языках логического и генетического программирования
# Организация возвратов при неудачном варианте в языках логического и генетического программирования
# Указание вероятности выбора варианта в языках учебно-игрового характера
# Набор вариантов
# Множество элементов
# Одновременного существования всех составляющих требует
# Отладка основной программы, выполняющей целевую обработку данных
# Отладка коллекции диагностических реакций
# Отладка коллекции диагностических процедур продолжения счета для неожиданных событий
# Обычно понятие алгоритма и программы связывают с
# С детерминированными процессами связывают понятия
# Связь детерминированных процессов с алгоритмами и программами
# По смыслу выбор варианта похож на
# На выбор произвольного элемента множества походит
# С понятием выбора варианта часто связывают
# Если допустить недетерминизм, то понятия алгоритма и программы
# Недетерминизм, ограниченный конечным числом вариантов, допускает в каждый момент времени существование
# Наличие только одного варианта в данный момент времени обуславливается наличием
# Чтобы промоделировать выбор варианта нужны
# Дополнительные примитивы используют для моделирования
# Дополнительные примитивы для моделирования выбора вариантов
# Выбор произвольного элемента из списка
# Выбор произвольного элемента из списка с помощью рекурсивного выражения
# С помощью рекурсивного выражения определенного вида возможно произвести
# По возможности не исполняться "старается" форма
# Действие формы ESC заключается в том, что она
# При выборе вариантов предпочитаются варианты
# Разбор пустого списка
# Если список стал пустым, то его разбор
# В случае если список стал пустым
# Варианты по определению
# Аксиоматика вариантов подобна
# Упрощенной теории множеств подобна аксиоматика
# Принципиальная особенность аксиоматики вариантов
# Совпадение предикатов принадлежности и включения характерно аксиоматике
# С исключением зависимости от порядка отдельных операций в определенных равносильных формулах можно организовать