формальный алгоритм
Смотреть что такое "формальный алгоритм" в других словарях:
Ответы@Mail.Ru — Ответы@Mail.Ru … Википедия
АЛГОРИТМИЧЕСКИЙ ЯЗЫК — формальный язык программирования, формальный язык, предназначенный для описания вычислительных процессов, или, что то же, для записи алгоритмов, подлежащих выполнению на вычислительных машинах.. Различают проблемно ориентированные А. я. (А. я.… … Математическая энциклопедия
Адресный язык — формальный язык для описания процессов преобразования информации в ЦВМ. Разработан в Вычислительном центре АН УССР в качестве входного языка автоматического программирования (см. Язык программирования). Описание вычислительного процесса… … Большая советская энциклопедия
АЛГОРИТМИЧЕСКИЙ ЯЗЫК — формальный язык, система лингвистических знаков, предназначенная для записи алгоритмов; его использование базируется на возможности формального задания правил конструирования алгоритмов. При формальном описании алгоритмов существенное значение… … Энциклопедический словарь по психологии и педагогике
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
CBC-MAC — В криптографии, CBC MAC является технологией построения аутенфикационного кода сообщения из блочного шифра. Сообщение шифруется при помощи некоторого блочного алгоритма шифрования в режиме CBC, для создания цепочки блоков с правилом каждый… … Википедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Алгоритмы семейства FOREL — FOREL (Формальный Элемент) алгоритм кластеризации, основанный на идее объединения в один кластер объектов в областях их наибольшего сгущения. Содержание 1 Цель кластеризации 2 … Википедия
А=А — формула, выражающая принцип тождества в формальной логике; читается: А есть А , А тождественно А , А равно А , А есть то же самое, что А , А эквивалентно А . Различают онтологический и логич. аспекты принципа А = А. Онтологич. аспект означает… … Философская энциклопедия
Рекурсивно перечислимый язык — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источни … Википедия
