вычислимый
1вычислимый — рассчитываемый, исчислимый Словарь русских синонимов. вычислимый прил., кол во синонимов: 2 • исчислимый (2) • …
2вычислимый — — [http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23] Тематики защита информации EN computable …
3вычислимый — вычисл имый …
4вычислимый — Syn: исчислимый …
5ВЫЧИСЛИМЫЙ ИНВАРИАНТ — бинарного отношения между словами данного вида алгоритм (в к. л. точном смысле; напр. как это сделано в [1] нормальный алгорифм), применимый ко всякому слову рассматриваемого вида и перерабатывающий в одно и то же слово всякие два слова,… …
6ФУНКЦИОНАЛЬНАЯ СИСТЕМА — множество функций с нек рым набором операций, применяемых к этим функциям и приводящих к получению других функций из этого множества. Ф. с. являются одним из основных объектов математич. кибернетики и дискретной математики и отражают следующие… …
7исчислимый — вычислимый, счётный; выразимый Словарь русских синонимов. исчислимый прил., кол во синонимов: 2 • выразимый (2) • …
8БАНАХА - МАЗУРА ФУНКЦИОНАЛ — Банаха Мазура оператор, концепция вычислимого функционала (оператора), предложенная С. Банахом (S. Banach) и С. Мазуром (см. [1]) и трактующая вычислимость функционала (оператора), действующего из множества М 1 в множество М 2 , как его свойство… …
9ГЁДЕЛЯ ИНТЕРПРЕТАЦИЯ — интуиционистской арифметики специальная операция, переводящая формулы интуиционистской арифметики в формулы вида где наборы переменных по вычислимым функциям специального вида. При этом выводимые формулы переводятся в истинные формулы в смысле… …
10КОНСТРУКТИВНЫЙ АНАЛИЗ — рекурсивный анализ, вычислимый анализ, название, объединяющее различные течения в основаниях математики и математич. анализе. При развитии К. а., как правило, преследуются обе или вторая из следующих двух принципиальных целей: (1) нетрадиционное… …
- 1
- 2
