вычислимость


вычислимость
f. computability

Русско-английский словарь математических терминов. — Американское математическое общество. . 1990.

Смотреть что такое "вычислимость" в других словарях:

  • вычислимость — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN computability …   Справочник технического переводчика

  • Вычислимость — …   Википедия

  • эффективная вычислимость — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN effective computability …   Справочник технического переводчика

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

  • РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …   Философская энциклопедия

  • БАНАХА - МАЗУРА ФУНКЦИОНАЛ — Банаха Мазура оператор, концепция вычислимого функционала (оператора), предложенная С. Банахом (S. Banach) и С. Мазуром (см. [1]) и трактующая вычислимость функционала (оператора), действующего из множества М 1 в множество М 2 , как его свойство… …   Математическая энциклопедия

  • ПРИМИТИВНО РЕКУРСИВНАЯ ФУНКЦИЯ — функция от натуральных аргументов с натуральными значениями, к рую можно получить из простейших функций конечным числом операций суперпозиции и примитивной рекурсии. Поскольку исходные функции являются вычислимыми, а операторы суперпозиции и… …   Математическая энциклопедия

  • Существование перечислимого неразрешимого множества — В данной статье будет доказан теорема о существовании перечислимого, но неразрешимого множества. Напомню, что по теореме Поста перечислимое множества разрешимо тогда и только тогда, когда его дополнение перечислимо.Основные определения, такие как …   Википедия

  • алгоритм —         АЛГОРИТМ (алгорифм; от лат. формы имени ученого 9 в. аль Хорезми Algorithmi) точное предписание о порядке выполнения некоторой системы операций над исходными данными для получения желаемого результата, которое исполняется вычислителем… …   Энциклопедия эпистемологии и философии науки

  • Уваров, Александр Иосифович — (р. 30.01.1928) спец. в обл. методол. науки и теории познания; д р филос. наук, проф. Род. в дер.Забабуры Духовщинского р на Смоленской обл. Окончил ист. филол. ф т Томского гос. ун та (1950), асп. по кафедре филос. того же ун та (1953). С 1953… …   Большая биографическая энциклопедия

  • Конечная математика —         область математики, занимающаяся изучением свойств структур финитного (конечного) характера, которые возникают как внутри математики, так и в её приложениях. К числу таких конечных структур могут быть отнесены, например, конечные группы,… …   Большая советская энциклопедия

Книги

Другие книги по запросу «вычислимость» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.