алгоритмически
71Архиватор — Для улучшения этой статьи по информационным технологиям желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Дополнить статью (статья слишком к …
72Конструктивная математика — У этого термина существуют и другие значения, см. конструктивизм. Конструктивная математика абстрактная наука о конструктивных процессах[прояснить], человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание …
73Инерциальная навигация — Инерциальная навигационная система на МАКС 2009 Инерциальная навигация  метод навигации (определения координат и параметров движения различных объектов судов, самолётов …
74Примитивно рекурсивная функция — Термин рекурсивные функции в теории вычислимости используют для обозначения трёх множеств функций примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Последние совпадают с множеством вычислимых по Тьюрингу… …
75Лас-Вегас (алгоритм) — У этого термина существуют и другие значения, см. Лас Вегас (значения). Лас Вегас вид вероятностного алгоритма (см. также Метод Монте Карло). Идея алгоритма Лас Вегаса состоит в следующем. Если у нас есть некий вероятностный алгоритм , который с… …
76Частично рекурсивная функция — Термин рекурсивные функции в теории вычислимости используют для обозначения трёх множеств функций примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Последние совпадают с множеством вычислимых по Тьюрингу… …
77Существование перечислимого неразрешимого множества — В данной статье будет доказан теорема о существовании перечислимого, но неразрешимого множества. Напомню, что по теореме Поста перечислимое множества разрешимо тогда и только тогда, когда его дополнение перечислимо.Основные определения, такие как …
78SAMCEF — SAMCEF  программный САЕ пакет, предназначенный для трёхмерного моделирования различными элементами при проектировании различных изделий. Алгоритмически основан на анализе методом конечных элементов. Является одним из последних кодов,… …
79Константа Чейтина — Эта статья или секция грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть генерирован программой переводчиком или человеком со слабыми познаниями в языке статьи оригинала Пожалуйста, не поленитесь улучшить перевод.… …
80Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …
