логический алгоритм
Смотреть что такое "логический алгоритм" в других словарях:
логический алгоритм — алгоритм решения логических задач — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы алгоритм решения логических задач EN logical algorithm … Справочник технического переводчика
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
логический прием — ▲ способ ↑ логический дедукция. дедуктивный. анализ. анализировать. аналитический. формализация описание явления в точных понятиях и утверждениях. уточнение. | комбинирование. уравнение. система уравнений. решение уравнения. алгоритм.… … Идеографический словарь русского языка
Camellia (алгоритм) — У этого термина существуют и другие значения, см. Camellia (значения). Camellia Создатель: Mitsubishi, NTT Создан: 2000 г. Опубликован: 2000 г. Размер ключа: 128, 192 или 256 бит Размер блока: 128 бит Число раундов … Википедия
программируемый логический контроллер — ПЛК [Интент] контроллер Управляющее устройство, осуществляющее автоматическое управление посредством программной реализации алгоритмов управления. [Сборник рекомендуемых терминов. Выпуск 107. Теория управления. Академия наук СССР. Комитет научно… … Справочник технического переводчика
Инвертор (логический элемент) — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 … Википедия
Пивоваров, Даниил Валентинович — Даниил Валентинович Пивоваров Дата рождения: 29 октября 1943(1943 10 29) (69 лет) Место рождения: Шанхай, Китай Страна … Википедия
ВЕРИФИКАЦИЯ — (позднелат. verificatia подтверждение; лат. verus истинный, facio делаю) логико методологическая процедура установления истинности научной гипотезы (равно как и частного, конкретно научного утверждения) на основе их соответствия эмпирическим… … Социология: Энциклопедия
ШЛИК — (Schlick) Мориц (1882 1936, застрелен бывшим своим студентом психопатом на лестнице в здании университета) австрийский философ, физик и логик. Диссертация по физике под руководством М.Планка (1904). Профессор в Ростоке и Киле (1911 1922), Вене (с … История Философии: Энциклопедия
ШЛИК Мориц (1882-1936) — австрийский философ, физик и логик. Диссертация по физике под руководством М.Планка (1904). Профессор в Ростоке и Киле (1911 1922), Вене (с 1922), в Калифорнийском университете (1931 1932), ведущий представитель раннего этапа логического… … История Философии: Энциклопедия
Циклическая проверка на чётность — Алгоритм вычисления контрольной суммы (англ. Cyclic redundancy code, CRC циклический избыточный код) способ цифровой идентификации некоторой последовательности данных, который заключается в вычислении контрольного значения её циклического… … Википедия
