-
1 аксиом
-
2 набор аксиом
Большой англо-русский и русско-английский словарь > набор аксиом
-
3 независимость аксиом
Большой англо-русский и русско-английский словарь > независимость аксиом
-
4 непротиворечивость аксиом
Большой англо-русский и русско-английский словарь > непротиворечивость аксиом
-
5 пучок аксиом
Большой англо-русский и русско-английский словарь > пучок аксиом
-
6 система аксиом
Большой англо-русский и русско-английский словарь > система аксиом
-
7 axiom scheme
1) Математика: схема аксиом2) Вычислительная техника: система аксиом -
8 axiom scheme
Большой англо-русский и русско-английский словарь > axiom scheme
-
9 axiom set
Большой англо-русский и русско-английский словарь > axiom set
-
10 bundle of axioms
Большой англо-русский и русско-английский словарь > bundle of axioms
-
11 consistency of axioms
Большой англо-русский и русско-английский словарь > consistency of axioms
-
12 nonelementary system
Большой англо-русский и русско-английский словарь > nonelementary system
-
13 scheme
ski:m
1. сущ.
1) нечто задуманное, спланированное а) план, проект;
программа to concoct, cook up, devise, think up a scheme ≈ думать над проектом, обдумывать проект to foil, thwart a scheme ≈ разрушать планы diabolical scheme ≈ дьявольский план, коварный замысел fantastic scheme ≈ фантастический, нереальный план get-rich-quick scheme ≈ план быстрого обогащения grandiose scheme ≈ грандиозный план nefarious scheme ≈ бесчестные, гнусные, низкие интриги preposterous, wild-eyed scheme ≈ нелепый, абсурдный план she concocted a scheme to get publicity ≈ она придумала план, как завоевать общественное мнение б) интрига, махинация;
козни, происки bubble scheme Syn: machination, intrigues, intrigue
2) система, устройство;
построение, план Syn: system
3) а) рисунок, схема;
диаграмма, чертеж (графическое представление какой-то структуры) б) конспект, общая картина, портрет( краткое письменное или словесное изложение)
2. гл.
1) замышлять( недоброе) ;
плести интриги, интриговать Many politicians are mostly concerned with scheming for personal power. ≈ Многие политики главным образом озабочены тем, чтобы захватить власть в свои руки.
2) планировать, проектировать, составлять план план, проект, программа - a * of work график /план/ работы - a * for a canal проект канала - a * of maneuver( военное) план маневра - simple * простой план /проект/ - to draw up a * набросать план /проект/ - now, what's the *? (разговорное) ну, каков план действий? - to lay down a * of education излагать программу образования - under the proposed * согласно предложенному плану замысел - daring * дерзкий замысел система, структура, построение - (a) colour * сочетание цветов - an effective colour * эффектный подбор цветов - a * of life уклад жизни - the * of a sonata построение сонаты - the * of the sonnet форма /структура/ сонета - the * of society структура общества тайный или нечестный замысел, заговор;
махинация, интрига - shady *s темные махинации - *s and intrigues махинации и интриги - to lay /to devise, to concoct/ a * to do smth. замышлять что-л. - to thwart smb.'s *s сорвать чьи-л. замыслы краткий план, конспект;
резюме - to give the students a * of work for the year дать студентам план работы на текущий год схема, чертеж, диаграмма pl пустые мечты, прожекты (логика) (философское) схема (диалектизм) эскапада, веселый кутеж( устаревшее) внешняя форма, внешний вид( устаревшее) гороскоп замышлять (недоброе) ;
строить тайные планы - to * smb.'s downfall строить тайные планы свержения кого-л. плести интриги, интриговать - to * for power интригами добиваться власти - he had been scheming for a bigger share in the running of the business интригами он пытался добиться большего участия в управлении предприятием планировать;
разрабатывать план, проект ( чего-л.) - to * a system of water supply разрабатывать проект водоснабжения - to * out a new method of langauge teaching разработать /изобрести/ новый метод преподавания языков( редкое) сводить к схеме, к формуле agricultural ~ структура сельского хозяйства allocation ~ вчт. схема размещения amended ~ усовершенствованная программа amortization ~ план погашения долга в рассрочку assurance ~ система гарантий audit ~ порядок ревизии axiom ~ схема аксиом block ~ блок-схема block ~ структурная схема bonus ~ порядок получения надбавок к заработной плате bonus ~ система участия в прибылях ~ интрига, махинация;
происки;
bubble scheme дутое предприятие certification ~ порядок сертификации classification ~ система классификации coding ~ вчт. схема кодирования ~ система, построение, расположение;
under the present scheme of society при современном устройстве общества;
a colour scheme сочетание цветов Community ~ структура Европейского экономического сообщества company health insurance ~ система страхования работников компании от болезней compulsory insurance ~ страх. порядок обязательного страхования computational ~ вычислительный алгоритм concessionary ~ концессионная политика conditional sale ~ порядок условной продажи conversion ~ порядок конверсии costing ~ порядок калькуляции себестоимости debt rescheduling ~ программа реструктуризации долга decoding ~ схема декодирования depositors' guarantee ~ программа обеспечения защиты вкладов discount ~ система учетных ставок distribution ~ система распределения duty ~ график дежурств explanatory ~ пояснительная схема financial ~ финансовый план financing ~ план финансирования financing ~ программа финансирования forward cover ~ порядок срочного покрытия валютного риска general aid ~ программа общей помощи guarantee ~ система гарантий hedging ~ бирж. система хеджирования home help ~ соц. система помощи на дому home market ~ структура внутреннего рынка implement a ~ осуществлять план incentive ~ система материального стимулирования index account ~ система индексации instalment ~ система продажи в рассрочку insurance ~ система страхования investor protection ~ система защиты инвестора land consolidation ~ программа укрупнения участков земли large-scale ~ крупномасштабный проект ~ план, проект;
программа;
to lay a scheme составлять план, задумывать, замышлять loan ~ программа кредитования loan ~ система кредитования market making ~ программа создания рынка marketing ~ программа сбыта продукции marketing ~ система маркетинга national pension ~ государственная программа пенсионного обеспечения new ~ новый порядок notification ~ порядок уведомления obligatory insurance ~ система обязательного страхования optimization ~ схема оптимизации pension fund ~ программа пенсионного обеспечения pension ~ пенсионная система (общий термин) pension ~ программа пенсионного обеспечения pensions assurance ~ программа страхового пенсионного обеспечения pilot ~ пробная схема pilot ~ экспериментальный план pool ~ объединение пенсионных фондов нескольких предприятий preservation ~ порядок охраны priority ~ вчт. система приоритетов private superannuation ~ система частных пенсий по выслуге лет probability ~ вероятностная схема profit-sharing ~ программа участия в прибылях компании quality label ~ система знаков качества quota ~ система квот rationalization ~ программа рационализации refinancing ~ система рефинансирования registration ~ порядок регистрации repurchase ~ система продажи и обратной покупки reward ~ система поощрений rotation ~ программа чередования sampling ~ план выборки savings ~ программа накопления сбережений scheme вчт. алгоритм ~ диаграмма ~ замышлять (недоброе) ;
плести интриги ~ интрига, махинация;
происки;
bubble scheme дутое предприятие ~ конспект;
краткое изложение ~ план, проект;
программа;
to lay a scheme составлять план, задумывать, замышлять ~ план ~ планировать, проектировать ~ последовательность операций ~ программа ~ проект ~ система, построение, расположение;
under the present scheme of society при современном устройстве общества;
a colour scheme сочетание цветов ~ система ~ структура ~ схема, чертеж ~ схема ~ of arrangement порядок разрешения спорных вопросов ~ of arrangement порядок урегулирования претензий ~ of arrangement схема мероприятия ~ of arrangement negotiations переговоры о порядке урегулирования претензий ~ of arrangement proposal предложение о порядке урегулирования претензий ~ of distribution схема распределения ~ of payment порядок платежей ~ of social security benefits система пособий по социальному страхованию selective financing ~ система выборочного финансирования self-pensioning ~ программа пенсионного обеспечения за счет собственных средств selling ~ программа продажи settlement ~ порядок производства расчетов simulation ~ схема моделирования slum clearance ~ план сноса ветхих домов sorting ~ способ сортировки special deposit ~ система специальных депозитов special financing ~ система специального финансирования statutory insurance ~ установленная законом программа страхования subsidy ~ программа дотаций subsidy ~ программа субсидий superannuation ~ программа пенсионного обеспечения support ~ план поддержки support ~ проект поддержки tax avoidance ~ система уклонения от налогов tax declaration ~ порядок представления налоговой декларации tax-privileged savings ~ программа аккумуляции сбережений с налоговыми льготами taxation ~ порядок налогообложения town planning ~ программа городского планирования training ~ план профподготовки transitional ~ временный план trial ~ предварительная схема ~ система, построение, расположение;
under the present scheme of society при современном устройстве общества;
a colour scheme сочетание цветов unemployment benefit ~ программа пособий по безработице wiring ~ схема коммутации -
14 set of axioms
Большой англо-русский и русско-английский словарь > set of axioms
-
15 system of axioms
Большой англо-русский и русско-английский словарь > system of axioms
-
16 altruism
сущ.общ. альтруизм (готовность бескорыстно действовать на пользу другим, не считаясь со своими личными интересами; термин, введенный О. Контом как противоположный по смыслу эгоизму; по другой версии, введен этологами для описания организмов, помогающих другим организмам того же вида; представители социобиологии распространили концепцию "альтруистический организм" на человеческий вид; проблема альтруизма имеет актуальность при критике заимствования социальными науками аксиом классической экономической теории)Syn:Ant:See: -
17 theory
сущ.1) мет. теория, концепция (набор аксиом и логических рассуждений, позволяющий объяснить поведение каких-л. объектов реальности)conventional [orthodox\] theory — традиционная [ортодоксальная\] теория
See:accelerationist theory of inflation, dependency theory, descriptive theory, absolute advantage theory, accelerationist theory of inflation, acceptance theory of authority, adaptive expectations theory, agency theory, anticipated income theory, arbitrage pricing theory, attribution theory, axial theory, bargaining theory, Bayesian decision theory, behavioural decision theory, bicycle theory, bird-in-the-hand theory, buffer stock theory, capital theory, catastrophe theory, chaos theory, classical distribution theory, classical management theory, cognitive resource theory, commercial loan theory, commodity theory of money, comparative advantage theory, confidence theory, contestable markets theory, contract theory, quantity theory of money, debt deflation theory, demand theory, dependency theory, organizational theory, purchasing power parity theory2) мет. теория, метод, концепция (набор практических правил, позволяющий решать какую-л. реальную задачу для достижения определенных целей)See:ability-to-pay theory, theory of consumer choice, a priori theory of accounting, actuarial theory, administrative theory, advertising theory, compensatory fiscal theory, conduit theory, contingency theory, short interest theory, decision theory, declarative theory of statehood* * *. . Словарь экономических терминов . -
18 axiomatic method
аксиоматический метод, способ доказательства, в основу которого кладутся аксиомы.* * *аксиоматический метод, способ доказательства, в основу которого кладутся аксиомы.аксиоматический метод; построение научной теории на основе аксиом, из которых выводятся все другие положения. -
19 method, axiomatic
аксиоматический метод; построение научной теории на основе аксиом, из которых выводятся все другие положения. -
20 automated reasoning
1) Общая лексика: машинный (автоматизированный) поиск логического выво (в ИИ - одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом))2) Вычислительная техника: автоматизация формулирования логических выводов
См. также в других словарях:
АКСИОМ СХЕМА — единый способ задания аксиом, обладающих одной и той же синтаксич. структурой. Конкретная А. с. обычно реализуется при помощи фиксирующего ее синтаксич. структуру выражения (чаще всего не принадлежащего языку, в к ром записываются аксиомы) и… … Математическая энциклопедия
аксиомæ — з.б.п … Орфографический словарь осетинского языка
аксиом и аксиома — (грч axioma) 1. фил научна вистина јасна сама по себе, вистина за која не е потребен доказ, 2. оснрвна вистина, основно начело, 3. мат став што се усвојува без докази и што не произлегува од порано усвоени аксиоми … Macedonian dictionary
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
Независимость аксиом теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак … Википедия
ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… … Математическая энциклопедия
Независимость системы аксиом — У этого термина существуют и другие значения, см. Независимость (значения). Для улучшения этой статьи желательно?: Викифицировать статью. Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Независимость… … Википедия
Модель системы аксиом — Модель системы аксиом какой либо математический объект, который отвечает данной системе аксиом. Истинность системы аксиом можно доказать, только построив модель в рамках другой системы аксиом, которая считается «истинной». Кроме того,… … Википедия
КАТЕГОРИЧНОСТЬ СИСТЕМЫ АКСИОМ — свойство, выражающее содержат. полноту системы аксиом. Система аксиом наз. категоричной, если она однозначно определяет только одну систему предметов с точностью до изоморфизма, т.е. если все интерпретации, или модели, этой системы изоморфны друг … Философская энциклопедия
НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ — свойство системы аксиом данной аксиоматич. теории, состоящее в том, что каждая аксиома является независимой, т. е. не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, наз.… … Математическая энциклопедия
КАТЕГОРИЧНАЯ СИСТЕМА АКСИОМ — всякая система аксиом 2 , для к рой все алгебраические системы сигнатуры 2, удовлетворяющие этим аксиомам, изоморфны. Из теоремы Мальцева Тарского об элементарном расширении следует, что модели категоричной системы е аксиом 1 го порядка имеют… … Математическая энциклопедия