-
21 matrix calculus
-
22 situation calculus
-
23 integral calculus
English-Russian big polytechnic dictionary > integral calculus
-
24 matrix calculus
English-Russian big polytechnic dictionary > matrix calculus
-
25 tensor calculus
English-Russian big polytechnic dictionary > tensor calculus
-
26 differential calculus
The English-Russian dictionary general scientific > differential calculus
-
27 sameness predicate
English-Russian big polytechnic dictionary > sameness predicate
-
28 choice predicate
English-Russian big polytechnic dictionary > choice predicate
-
29 negated predicate
English-Russian big polytechnic dictionary > negated predicate
-
30 restricted
1. a узкий, ограниченный2. a преим. предназначенный для узкого круга, для элиты3. a конфиденциальный; для служебного пользованияrestricted publication — издание с грифом «конфиденциально»
Синонимический ряд:1. classified (adj.) classified; confidential2. definite (adj.) circumscribed; definite; determinate; fixed; narrow; precise3. limited (adj.) limited; modified; qualified; reserved4. local (adj.) isolated; local; localised5. prisoner (adj.) captive; enslaved; hostage; imprisoned; in bondage; incarcerated; jailed; prisoner; restrained6. segregated (adj.) segregated7. restricted (verb) barred; circumscribed; confined; delimited; limited; restricted -
31 restricted predicate calculus
Большой англо-русский и русско-английский словарь > restricted predicate calculus
-
32 restricted
1) несвободный
2) ограниченный
3) суженый
4) узкий
– in a restricted sense
– in the restricted sense
– restricted burning
– restricted flow
– restricted limit
– restricted randomization
– restricted spread
restricted burning charge — <cosm.> шашка пороховая бронированная
-
33 RPC
1) Биология: reversed phase chromatography2) Американизм: Regional Protection Code3) Спорт: Region Playback Control4) Военный термин: Rapid Positioning Capability, Regional Planning Committee, Regional Preparedness Committee, Regional Reporting Center, Reliability Policy Committee, Remote Procedure Calls, Resources Protection Committee, Royal Pioneer Corps, radar planning chart, radar processing center, recruiting publicity center, reefed parachute canopy, refugee processing center, regional personnel center, registered publications clerk, registered publications custodian, repair parts catalog, report to commander, reporting post, coastal, river patrol craft5) Техника: radiation policy council, radiation protection committee, receiver protection circuit, recording pressure controller, registered protective circuit, remote process cell, remote-position control, reversed-phase partition-column chromatography, rod pattern controller, rotating pancake coil6) Сельское хозяйство: Rice Polishing Concentrate7) Математика: узкое исчисление предикатов (restricted predicate calculus)8) Юридический термин: Rules of Professional Conduct (Court Rules)9) Экономика: Совет Регионального Планирования (Regional Planning Council)10) Автомобильный термин: remote parameter test11) Сокращение: Regional Processing Center (new naming convention, 2005), Remote Procedure Call (Internet), Royal Pioneer Corps (Now RLC (British Army)), РПЦ (республиканский перинатальный центр - republican perinatal centre)12) Физиология: Reports Of Patents Cases13) Вычислительная техника: Region Playback Control (DVD), Remote Procedure Call (Sun, Xerox, OSF, ECMA, RFC 1831)14) Нефть: каталог запасных частей (repair parts catalog), комитет по технической политике в области надёжности (reliability policy committee)15) Радиология: ЦРЗ - центр радиологической защиты (атомная энергетика)16) Биотехнология: retinal progenitor cell17) Транспорт: Regional Preparedness Committee (US)18) Фирменный знак: Root Person And Company19) СМИ: Rich Photorealistic Content20) SAP. route and process chart21) Инвестиции: Reports of Patent, Design and Trademark Cases22) Сетевые технологии: дистанционный вызов процедуры, механизм вызова удалённых процедур, удалённый вызов процедуры23) Полимеры: remote position control24) Программирование: (Remote Procedure Call) сервис вызова удаленных процедур (см. Remote Procedure Call)25) Химическое оружие: Project correspondence to client from Pasadena on RWCDC26) Безопасность: Region Protection Control27) Расширение файла: Remote Procedure Call28) ООН: Regional Protection Control29) Должность: Registered Professional Counselor -
34 restricted predicate calculus
Математика: узкое исчисление предикатовУниверсальный англо-русский словарь > restricted predicate calculus
-
35 rpc
1) Биология: reversed phase chromatography2) Американизм: Regional Protection Code3) Спорт: Region Playback Control4) Военный термин: Rapid Positioning Capability, Regional Planning Committee, Regional Preparedness Committee, Regional Reporting Center, Reliability Policy Committee, Remote Procedure Calls, Resources Protection Committee, Royal Pioneer Corps, radar planning chart, radar processing center, recruiting publicity center, reefed parachute canopy, refugee processing center, regional personnel center, registered publications clerk, registered publications custodian, repair parts catalog, report to commander, reporting post, coastal, river patrol craft5) Техника: radiation policy council, radiation protection committee, receiver protection circuit, recording pressure controller, registered protective circuit, remote process cell, remote-position control, reversed-phase partition-column chromatography, rod pattern controller, rotating pancake coil6) Сельское хозяйство: Rice Polishing Concentrate7) Математика: узкое исчисление предикатов (restricted predicate calculus)8) Юридический термин: Rules of Professional Conduct (Court Rules)9) Экономика: Совет Регионального Планирования (Regional Planning Council)10) Автомобильный термин: remote parameter test11) Сокращение: Regional Processing Center (new naming convention, 2005), Remote Procedure Call (Internet), Royal Pioneer Corps (Now RLC (British Army)), РПЦ (республиканский перинатальный центр - republican perinatal centre)12) Физиология: Reports Of Patents Cases13) Вычислительная техника: Region Playback Control (DVD), Remote Procedure Call (Sun, Xerox, OSF, ECMA, RFC 1831)14) Нефть: каталог запасных частей (repair parts catalog), комитет по технической политике в области надёжности (reliability policy committee)15) Радиология: ЦРЗ - центр радиологической защиты (атомная энергетика)16) Биотехнология: retinal progenitor cell17) Транспорт: Regional Preparedness Committee (US)18) Фирменный знак: Root Person And Company19) СМИ: Rich Photorealistic Content20) SAP. route and process chart21) Инвестиции: Reports of Patent, Design and Trademark Cases22) Сетевые технологии: дистанционный вызов процедуры, механизм вызова удалённых процедур, удалённый вызов процедуры23) Полимеры: remote position control24) Программирование: (Remote Procedure Call) сервис вызова удаленных процедур (см. Remote Procedure Call)25) Химическое оружие: Project correspondence to client from Pasadena on RWCDC26) Безопасность: Region Protection Control27) Расширение файла: Remote Procedure Call28) ООН: Regional Protection Control29) Должность: Registered Professional Counselor -
36 restricted predicate calculus
лог. узкое исчисление предикатовEnglish-Russian dictionary of computer science and programming > restricted predicate calculus
-
37 restricted predicate calculus
логикаEnglish-Russian scientific dictionary > restricted predicate calculus
- 1
- 2
См. также в других словарях:
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
Парадокс — (от греч. parádoxes неожиданный, странный) неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» … Большая советская энциклопедия
Формализация — представление какой либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление). Ф., осуществляемая … Большая советская энциклопедия
Номинализм — (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, т.е. именами отдельных единичных «сущностей» реальных или идеальных, а … Большая советская энциклопедия
НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… … Философская энциклопедия
Номинализм — (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому названия таких понятий, как «животное», «эмоция» это не собственные имена цельных сущностей, а общие имена… … Википедия
Номиналисты — Номинализм (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, то есть именами отдельных единичных «сущностей» реальных или… … Википедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия