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