алгоритмически

  • 1алгоритмически — нареч, кол во синонимов: 2 • абстрактный (24) • отвлеченный (29) Словарь синонимов ASIS. В.Н. Тришин. 2013 …

    Словарь синонимов

  • 2Алгоритмически неразрешимая задача — В теории вычислимости алгоритмически неразрешимой задачей называется задача, имеющая ответ да или нет для каждого объекта из некоторого множества входных данных, для которой (принципиально) не существует алгоритма, который бы, получив любой… …

    Википедия

  • 3функционально и алгоритмически специализированная интегральная схема — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN function and algorithm specific integrated circuitFASIC …

    Справочник технического переводчика

  • 4Теория алгоритмически-эвристических процессов, ТАЭП (algorithmic-heuristic theory, ATH) — До начала 1950 х гг. понятие алгоритма считалось исключительно математическим. Термин «алгоритм» обычно означает точное, однозначное и, как правило, исчерпывающее предписание к выполнению, в каждом конкретном случае, определенной… …

    Психологическая энциклопедия

  • 5СУЩЕСТВЕННО НЕРАЗРЕШИМАЯ ТЕОРИЯ — алгоритмически неразрешимая логическая теория, все непротиворечивые расширений к рой также неразрешимы (см. Неразрешимость). Элементарная теория является С. н. т. тогда и только тогда, когда всякая ее модель имеет неразрешимую элементарную теорию …

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

  • 6АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …

    Философская энциклопедия

  • 7Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил …

    Википедия

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

    Википедия

  • 9НОВИКОВ Петр Сергеевич — [р. 15(28) авг. 1901 ] – сов. математик и логик. Окончил Московский ун т (1925). Акад. (с 1960). Ленинская премия (1957). Н. – автор работ по теории множеств, матем. логике, алгебре, мн. из к рых, помимо собственно матем. ценности, имеют большое… …

    Философская энциклопедия

  • 10Теория алгоритмов — Теория алгоритмов  наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… …

    Википедия

  • 11Нерешённые проблемы математики — Нерешённые проблемы (или Открытые проблемы)  проблемы, которые рассматривались математиками, но до сих пор не решены. Часто принимают форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна практика… …

    Википедия

  • 12Нерешенные проблемы математики — Нерешённые проблемы (или Открытые проблемы)  проблемы, которые рассматривались математиками, но до сих пор не решены. Часто принимают форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна практика… …

    Википедия

  • 13Нерешенные проблемы теории чисел — Нерешённые проблемы (или Открытые проблемы)  проблемы, которые рассматривались математиками, но до сих пор не решены. Часто принимают форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна практика… …

    Википедия

  • 14Нерешённые проблемы теории чисел — Нерешённые проблемы (или Открытые проблемы)  проблемы, которые рассматривались математиками, но до сих пор не решены. Часто принимают форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна практика… …

    Википедия

  • 15Парадокс Ришара — семантический парадокс, впервые описанный французским математиком Жюлем Ришаром в 1905 году. Содержание 1 Описание 2 Невычислимость числа Ришара 3 Литер …

    Википедия

  • 16алгоритмическая неразрешимость —         АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ важнейшее свойство некоторых классов корректно поставленных задач, допускающих применение алгоритмов. Оно состит в том, что задачи каждого из этих классов в принципе не имеют какого либо общего,… …

    Энциклопедия эпистемологии и философии науки

  • 17Формальная арифметика —         формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см …

    Большая советская энциклопедия

  • 18ТЕЗИС — (греч. thesis положение, утверждение) 1) в логике Т. называется утверждение, подлежащее доказательству; 2) в теории аргументации Т. положение, которое доказывающая сторона находит нужным внушить аудитории, сделать составной частью ее убеждений;… …

    Философская энциклопедия

  • 19ЛОГИКА КЛАССОВ —         раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… …

    Философская энциклопедия

  • 20БЕСКОНЕЧНАЯ ИНДУКЦИЯ — тот крайний вид индуктивного умозаключения, когда общее высказывание (суждение, положение) получается как заключение из бесконечной совокупности посылок, исчерпывающих все частные случаи. Пример Б. и.: 1 + 0 = 0 + 1; 1 + 1 = 1 + 1; 1 +2 = 2 + 1;… …

    Философская энциклопедия