-
1 исчисление задач
-
2 исчисление задач
задача на … — a problem on …
Русско-английский военно-политический словарь > исчисление задач
-
3 исчисление задач
-
4 исчисление задач
Mathematics: problem calculus -
5 исчисление задач
Русско-английский политехнический словарь > исчисление задач
-
6 исчисление задач
Русско-английский словарь по машиностроению > исчисление задач
-
7 исчисление задач
-
8 исчисление задач
-
9 исчисление задач
Русско-английский научно-технический словарь Масловского > исчисление задач
-
10 исчисление задач
фреймовое представление задачи; фрейм задачи — problem frame
коммерческая задача; экономическая задача — business problem
постановка задачи, формулировка задачи — problem definition
Русско-английский новый политехнический словарь > исчисление задач
-
11 исчисление
1) calculus
2) computation
– вариационное исчисление
– векторное исчисление
– дифференциальное исчисление
– интегральное исчисление
– исчисление вероятностей
– исчисление высказываний
– исчисление задач
– исчисление предикатов
– логическое исчисление
– матричное исчисление
– операционное исчисление
– разностное исчисление
– расширенное исчисление
– спинорное исчисление
– тензорное исчисление
– функциональное исчисление
исчисление бесконечно малых — infinitesimal calculus
исчисление одноместных предикатов — one-place predicate calculus
узкое исчисление предикатов — restricted predicate calculus
функциональное исчисление или исчисление предикатов — functional calculus
функциональное исчисление или исчисление предикатов — functional calculus
-
12 исчисление
с. calculus -
13 исчисление
* * *n. calculus, computation;
исчисление высказываний - propositional calculus;
исчисление предикатов - predicate calculus;
исчисление одноместных предикатов - one-place predicate calculus;
исчисление задач - problem calculus;
чистое исчисление предикатов - pure predicate calculus;
узкое исчисление предикатов - restricted predicate calculus -
14 исчисление
n.calculus, computation -
15 исчисление
-
16 матричное исчисление
Русско-английский большой базовый словарь > матричное исчисление
-
17 операционное исчисление
Русско-английский большой базовый словарь > операционное исчисление
-
18 пропозициональное исчисление
Русско-английский большой базовый словарь > пропозициональное исчисление
-
19 реляционное исчисление
Русско-английский большой базовый словарь > реляционное исчисление
-
20 вариационное исчисление
- 1
- 2
См. также в других словарях:
ИСЧИСЛЕНИЕ ЗАДАЧ — интуиционистское исчисление высказываний, понимаемое в свете интерпретации, к рую предложил в 1932 сов. ученый А. Н. Колмогоров. Эта интерпретация была свободна от гносеологич. установок интуиционизма и вскрывала содержательный материалистич.… … Философская энциклопедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) … Википедия
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики
Исчисление — основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее … Большая советская энциклопедия
Дифференциальное исчисление — Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого ума и составило эпоху в истории точных наук. Ближайшим поводом к изобретению … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Натуральное исчисление — исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического … Большая советская энциклопедия
Вариационное исчисление — Вариационное исчисление это раздел функционального анализа, в котором изучаются вариации функционалов. Самая типичная задача вариационного исчисления состоит в том, чтобы найти функцию, на которой заданный функционал достигает… … Википедия
Интегральное исчисление — раздел математики, в котором изучаются свойства и способы вычисления интегралов и их приложения. И. и. тесно связано с дифференциальным исчислением (См. Дифференциальное исчисление) и составляет вместе с ним одну из основных частей… … Большая советская энциклопедия
Дифференциальное и интегральное исчисление — Математический анализ совокупность разделов математики, посвященных исследованию функций и их обобщений методами дифференциального и интегрального исчислений. При столь общей трактовке к анализу следует отнести и функциональный анализ вместе с… … Википедия
ВАРИАЦИОННОЕ ИСЧИСЛЕНИЕ — раздел мате .матики, посвященный исследованию методов отыскания экстремумов функционалов, зависящих от выбора одной или нескольких функций при разного рода ограничениях (фазовых, дифференциальных, интегральных И т. п.), накладываемых на эти… … Математическая энциклопедия