-
21 widerspruchsfrei
a обыкн мат непротиворечивыйDas Axiómensystem soll wíderspruchsfrei sein. мат — Система аксиом должна быть непротиворечивой.
-
22 axiom scheme
мат. -
23 nonelementary system
English-Russian scientific dictionary > nonelementary system
-
24 set of axioms
мат. -
25 system of axioms
мат. -
26 sequencing axiom
-
27 axiom
-
28 aksiomatika
сущ. аксиоматика (учение об аксиомах; система аксиом) -
29 reducibility axiom
The English-Russian dictionary general scientific > reducibility axiom
-
30 separation axiom
The English-Russian dictionary general scientific > separation axiom
-
31 triangle axiom
The English-Russian dictionary general scientific > triangle axiom
-
32 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 ~ схема коммутации -
33 scheme
[ski:m]agricultural scheme структура сельского хозяйства allocation scheme вчт. схема размещения amended scheme усовершенствованная программа amortization scheme план погашения долга в рассрочку assurance scheme система гарантий audit scheme порядок ревизии axiom scheme схема аксиом block scheme блок-схема block scheme структурная схема bonus scheme порядок получения надбавок к заработной плате bonus scheme система участия в прибылях scheme интрига, махинация; происки; bubble scheme дутое предприятие certification scheme порядок сертификации classification scheme система классификации coding scheme вчт. схема кодирования scheme система, построение, расположение; under the present scheme of society при современном устройстве общества; a colour scheme сочетание цветов Community scheme структура Европейского экономического сообщества company health insurance scheme система страхования работников компании от болезней compulsory insurance scheme страх. порядок обязательного страхования computational scheme вычислительный алгоритм concessionary scheme концессионная политика conditional sale scheme порядок условной продажи conversion scheme порядок конверсии costing scheme порядок калькуляции себестоимости debt rescheduling scheme программа реструктуризации долга decoding scheme схема декодирования depositors' guarantee scheme программа обеспечения защиты вкладов discount scheme система учетных ставок distribution scheme система распределения duty scheme график дежурств explanatory scheme пояснительная схема financial scheme финансовый план financing scheme план финансирования financing scheme программа финансирования forward cover scheme порядок срочного покрытия валютного риска general aid scheme программа общей помощи guarantee scheme система гарантий hedging scheme бирж. система хеджирования home help scheme соц. система помощи на дому home market scheme структура внутреннего рынка implement a scheme осуществлять план incentive scheme система материального стимулирования index account scheme система индексации instalment scheme система продажи в рассрочку insurance scheme система страхования investor protection scheme система защиты инвестора land consolidation scheme программа укрупнения участков земли large-scale scheme крупномасштабный проект scheme план, проект; программа; to lay a scheme составлять план, задумывать, замышлять loan scheme программа кредитования loan scheme система кредитования market making scheme программа создания рынка marketing scheme программа сбыта продукции marketing scheme система маркетинга national pension scheme государственная программа пенсионного обеспечения new scheme новый порядок notification scheme порядок уведомления obligatory insurance scheme система обязательного страхования optimization scheme схема оптимизации pension fund scheme программа пенсионного обеспечения pension scheme пенсионная система (общий термин) pension scheme программа пенсионного обеспечения pensions assurance scheme программа страхового пенсионного обеспечения pilot scheme пробная схема pilot scheme экспериментальный план pool scheme объединение пенсионных фондов нескольких предприятий preservation scheme порядок охраны priority scheme вчт. система приоритетов private superannuation scheme система частных пенсий по выслуге лет probability scheme вероятностная схема profit-sharing scheme программа участия в прибылях компании quality label scheme система знаков качества quota scheme система квот rationalization scheme программа рационализации refinancing scheme система рефинансирования registration scheme порядок регистрации repurchase scheme система продажи и обратной покупки reward scheme система поощрений rotation scheme программа чередования sampling scheme план выборки savings scheme программа накопления сбережений scheme вчт. алгоритм scheme диаграмма scheme замышлять (недоброе); плести интриги scheme интрига, махинация; происки; bubble scheme дутое предприятие scheme конспект; краткое изложение scheme план, проект; программа; to lay a scheme составлять план, задумывать, замышлять scheme план scheme планировать, проектировать scheme последовательность операций scheme программа scheme проект scheme система, построение, расположение; under the present scheme of society при современном устройстве общества; a colour scheme сочетание цветов scheme система scheme структура scheme схема, чертеж scheme схема scheme of arrangement порядок разрешения спорных вопросов scheme of arrangement порядок урегулирования претензий scheme of arrangement схема мероприятия scheme of arrangement negotiations переговоры о порядке урегулирования претензий scheme of arrangement proposal предложение о порядке урегулирования претензий scheme of distribution схема распределения scheme of payment порядок платежей scheme of social security benefits система пособий по социальному страхованию selective financing scheme система выборочного финансирования self-pensioning scheme программа пенсионного обеспечения за счет собственных средств selling scheme программа продажи settlement scheme порядок производства расчетов simulation scheme схема моделирования slum clearance scheme план сноса ветхих домов sorting scheme способ сортировки special deposit scheme система специальных депозитов special financing scheme система специального финансирования statutory insurance scheme установленная законом программа страхования subsidy scheme программа дотаций subsidy scheme программа субсидий superannuation scheme программа пенсионного обеспечения support scheme план поддержки support scheme проект поддержки tax avoidance scheme система уклонения от налогов tax declaration scheme порядок представления налоговой декларации tax-privileged savings scheme программа аккумуляции сбережений с налоговыми льготами taxation scheme порядок налогообложения town planning scheme программа городского планирования training scheme план профподготовки transitional scheme временный план trial scheme предварительная схема scheme система, построение, расположение; under the present scheme of society при современном устройстве общества; a colour scheme сочетание цветов unemployment benefit scheme программа пособий по безработице wiring scheme схема коммутации -
34 extension
- установочная длина (при стыковой сварке)
- удлинённый конец
- удлинение (трубопровода)
- расширение (в телекоммуникационных технологиях)
- расширение
- распространение индексов
- разгибание
- корректировка ранее определённых границ месторождения газа
- команда вывода файлов на экран в алфавитном порядке их расширений
- добавочный телефонный аппарат
- вылет (электрода)
- башмак (полюсный)
башмак (полюсный)
—
[Я.Н.Лугинский, М.С.Фези-Жилинская, Ю.С.Кабиров. Англо-русский словарь по электротехнике и электроэнергетике, Москва, 1999 г.]Тематики
- электротехника, основные понятия
EN
вылет (электрода)
—
[ http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]Тематики
EN
добавочный телефонный аппарат
Телефон, подключаемый к той же абонентской линии, что и основной телефон, и имеющий с ним одинаковый номер. См. threshold ~.
[Л.М. Невдяев. Телекоммуникационные технологии. Англо-русский толковый словарь-справочник. Под редакцией Ю.М. Горностаева. Москва, 2002]Тематики
- электросвязь, основные понятия
EN
команда вывода файлов на экран в алфавитном порядке их расширений
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
корректировка ранее определённых границ месторождения газа
—
[ http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]Тематики
EN
расширение
Увеличение возможностей объекта за счет добавления к нему новых компонентов.
Объектами расширения могут быть сети, системы, процессы, языки, тексты,файлы, программы, макрокоманды, поля, и т.д. Например, расширенная многоцелевая почта Internet, расширенный язык разметки, расширение запроса.
[Гипертекстовый энциклопедический словарь по информатике Э. Якубайтиса]
[ http://www.morepc.ru/dict/]Тематики
EN
расширение
Процесс добавления в исходный сигнал группы кодированных символов, которые в дальнейшем обрабатываются и преобразуются как единый сигнал.
[Л.М. Невдяев. Телекоммуникационные технологии. Англо-русский толковый словарь-справочник. Под редакцией Ю.М. Горностаева. Москва, 2002]Тематики
- электросвязь, основные понятия
EN
удлинение (трубопровода)
—
[ http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]Тематики
EN
удлинённый конец
консольная часть
—
[ http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]Тематики
Синонимы
EN
установочная длина (при стыковой сварке)
—
[ http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]Тематики
EN
3.5.13 распространение индексов (extension): Комбинирование индексов путем соединения их косой чертой (/).
Примечание - Косой чертой в УДК соединяют коды начального и конечного классов диапазона последовательных классов по классификационной таблице. Результирующий индекс обозначает логическое объединение всех классов указанного диапазона. В тех случаях, когда начальные знаки соединяемых кодов совпадают вплоть до последней разделительной точки, после косой черты приводят только окончание кода, включая разделительную точку
625.7 Автомобильные дороги в целом …
625.8 Дорожные покрытия
625.71.8 Автомобильные дороги. Дорожное строительство
Источник: ГОСТ 7.90-2007: Система стандартов по информации, библиотечному и издательскому делу. Универсальная десятичная классификация. Структура, правила ведения и индексирования оригинал документа
3.9 разгибание (extension): Движение, которое увеличивает угол между двумя смежными участками тела (например, разгибание руки увеличивает угол между плечом и предплечьем).
Источник: ГОСТ Р ИСО 9241-5-2009: Эргономические требования к проведению офисных работ с использованием видеодисплейных терминалов (VDT). Часть 5. Требования к расположению рабочей станции и осанке оператора оригинал документа
3.126 расширение (extension): Расширение ядра PSL, содержащее дополнительные аксиомы.
Примечание 1 - Ядро PSL - относительно простой набор аксиом, достаточный для выражения широкого круга основных процессов. Однако более сложные процессы требуют выразительных ресурсов, превышающих ресурсы ядра PSL. Чтобы не было путаницы, само ядро PSL c каждым возможным понятием может быть полезно в описаниях того или иного процесса, но разнообразие отдельных модульных расширений требует развития и дополнения к ядру PSL. В этом случае пользователь может точно приспособить язык для удовлетворения его требований в выразительности.
Примечание 2 - Все расширения являются теориями ядра или дефинициальными расширениями.
Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа
Англо-русский словарь нормативно-технической терминологии > extension
-
35 calculus
формальная математическая система, задаваемая множеством базовых символов, множеством синтаксических правил для порождения из базовых элементов произвольных, множеством аксиом (заведомо истинных элементов данного исчисления) и множеством правил вывода (семантических правил), с помощью которых из одних элементов системы порождаются другие. В зависимости от видов указанных множеств существует ряд различных исчисленийсм. тж. predicate calculusАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > calculus
- 1
- 2
См. также в других словарях:
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ — система аксиом, записанная на языке узкого исчисления предикатов. Системы аксиом арифметики формальной, теории множеств Цермело Френкеля (см. Аксиоматическая теория множеств), типов теории примеры Э. с. а. В. Н. Гришин … Математическая энциклопедия
Система аксиом — … Википедия
ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… … Математическая энциклопедия
КАТЕГОРИЧНАЯ СИСТЕМА АКСИОМ — всякая система аксиом 2 , для к рой все алгебраические системы сигнатуры 2, удовлетворяющие этим аксиомам, изоморфны. Из теоремы Мальцева Тарского об элементарном расширении следует, что модели категоричной системы е аксиом 1 го порядка имеют… … Математическая энциклопедия
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
Модель системы аксиом — Модель системы аксиом какой либо математический объект, который отвечает данной системе аксиом. Истинность системы аксиом можно доказать, только построив модель в рамках другой системы аксиом, которая считается «истинной». Кроме того,… … Википедия
КАТЕГОРИЧНОСТЬ СИСТЕМЫ АКСИОМ — свойство, выражающее содержат. полноту системы аксиом. Система аксиом наз. категоричной, если она однозначно определяет только одну систему предметов с точностью до изоморфизма, т.е. если все интерпретации, или модели, этой системы изоморфны друг … Философская энциклопедия
Независимость аксиом теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак … Википедия
Независимость системы аксиом — У этого термина существуют и другие значения, см. Независимость (значения). Для улучшения этой статьи желательно?: Викифицировать статью. Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Независимость… … Википедия
НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ — свойство системы аксиом данной аксиоматич. теории, состоящее в том, что каждая аксиома является независимой, т. е. не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, наз.… … Математическая энциклопедия