Subject | English | Russian |
Gruzovik, inf. | act formally | официальничать |
gen. | act formally | действовать официально |
gen. | address each other formally | на вы (4uzhoj) |
Gruzovik, inf. | address formally | выкать |
Gruzovik, inf. | address formally | выкаться |
psychiat. | although he was not formally diagnosed | хотя ему такой диагноз врачом-психиатром поставлен не был |
gen. | announce formally | официально объявлять (to announce something formally Taras) |
Makarov. | answer formally | отвечать официально |
Makarov. | be formally correct but materially false | быть формально правильным, а по существу ложным |
gen. | be formally correct but materially false | быть формально правильным, а по существу ложным |
gen. | be formally denied approval | получить официальный отказ в согласовании (Council is To be formally denied approval by The Planning Commission. Alexander Demidov) |
softw. | be formally verified | быть формально верифицированным (корпорации AdaCore Alex_Odeychuk) |
Makarov. | celebrate formally | официально отпраздновать |
O&G, sakh. | complete formally | оформить официально (документ Sakhalin Energy) |
gen. | compounds R-CP featuring a triple carbon-phosphorus bond and a mono-coordinated phosphorus atom, are formally isovalent derivatives of either alkynes | соединения R-CP с тройной связью углерод-фосфор и монокоординированным атомом фосфора являются формально изовалентными производными или алкинов R-CC-R <или цианидов (R-CC-R) or cyanides (R-CN; R-CN) |
progr. | correctness of the implementation against a formally defined specification | корректность реализации в соответствии с формально определённой спецификацией (корпорации AdaCore Alex_Odeychuk) |
law | formally accepted and entered onto the School Register | зачислен на учёбу (This is to certify that Dover College, has formally accepted and entered onto the School Register, the following student for the Academic year 2013/14 4uzhoj) |
math. | formally adjoint operator | формально сопряжённый оператор |
progr. | formally analyzable | поддающийся формальному анализу (корпорации AdaCore Alex_Odeychuk) |
progr. | formally analyzable | пригодный для формального анализа (корпорации AdaCore Alex_Odeychuk) |
progr. | formally approved | официально принятый (ssn) |
el. | formally approved procedure | официально утверждённая процедура |
tech. | formally approved procedure | официально утверждённое руководство |
progr. | formally authorized | подписанный (ssn) |
sec.sys. | formally avow | официально признавать (напр., совершение чего-либо Alex_Odeychuk) |
math. | formally complete | формально полный |
math. | formally complete theory | формально полная теория |
dipl. | formally confirm | официально подтвердить |
law | formally confirmed | официально подтверждено |
math. | formally consistent | формально непротиворечивый |
math. | formally consistent theory | формально непротиворечивая теория |
bank. | formally convertible | официально конвертируемый |
IMF. | formally convertible currency | официально конвертируемая (валюта) |
proverb | formally correct, but essentially sheer mockery | формально правильно, а по сути издевательство (Olga Okuneva) |
math. | formally correct definition | формально правильное определение |
math. | formally decidable | формально разрешимый |
math. | formally decidable formula | формально разрешимая формула |
math. | formally deducible theorem | формально выводимая теорема |
gen. | formally defined crime | формальный состав преступления (состав преступления, объективная сторона которого ограничена самим действием (бездействием) и не требует наступления негативных последствий, напр., дезертирство, вымогательство; In formally defined crimes, a cetain type of conduct is prohibited irrespective of the result of such conduct. Examples of crimes falling in this category are the possession of drugs, driving a motor car negligently, pperjury, rape. Let us consider the example of rape: here the act consists osimply of sexual penetration. The result of such act (for example, the question whether or not the woman became pregnant) is, for the purposes of determining liability for the crime, irrelevant. Alex_Odeychuk) |
math. | formally derivable | формально выводимый |
progr. | formally designated | формально обозначенный (ssn) |
math. | formally equivalent | формально эквивалентный |
gen. | formally establish | оформить (bookworm) |
gen. | formally establish | оформлять (bookworm) |
math. | formally false | формально ложный |
math. | formally finite germ | формально конечный росток |
math. | formally hypoelliptic operator | формально гипоэллиптический оператор |
math. | formally incomplete theory | формально неполная теория |
math. | formally inconsistent theory | формально противоречивая теория |
math. | formally integrable | формально интегрируемый |
med. | formally known as | официально известно |
gen. | formally married couples | пары, состоящие в официальном браке ('More) |
progr. | formally model computer software | формальное моделирование программного обеспечения ЭВМ (ssn) |
progr. | formally model computer software | формальное моделирование программного обеспечения компьютера (ssn) |
law | formally notify | официально уведомить (uncitral.org Tayafenix) |
gen. | formally notify | официально известить (it shall, upon formal notification thereof to the Department of State by the said Agency and Bureau, revert to the Department of State. Alexander Demidov) |
HR | to formally onboard | оформить сотрудника (an employee Ilija_Zdraveski) |
math. | formally ordered function | формально упорядоченная функция |
dipl. | formally propose | официально предложить (что-либо) |
dipl. | formally propose | внести предложение в официальном порядке |
math. | formally provable | формально доказуемый |
math., logic | formally provable theorem | формально доказуемая теорема |
softw. | formally prove correctness | формально доказать корректность (корпорации AdaCore Alex_Odeychuk) |
math. | formally quasifinite germ | формально квазиконечный росток |
math. | formally real | формально вещественный |
math. | formally real field | формально действительное поле |
math. | formally real field | формально вещественное поле |
math. | formally refutable | формально опровержимый |
math. | formally refutable formula | формально опровержимая формула |
obs. | formally request | испрашивать |
phys. | formally self-adjoint | формально самосопряжённый |
math. | formally self-adjoint operator | формально самосопряжённый оператор |
gen. | formally separate | раздельнооформленный |
Gruzovik | formally-separate | раздельнооформленный |
math. | formally symmetric operator | формально симметрический оператор |
math. | formally true | формально истинный |
softw. | formally verifiable | формально верифицированный (adacore.com Alex_Odeychuk) |
progr. | formally-verifiable software | формально верифицируемое программное обеспечение (Alex_Odeychuk) |
progr. | formally-verifiable software development | разработка формально верифицируемого программного обеспечения (Alex_Odeychuk) |
dipl. | greet formally | приветствовать официально |
Makarov. | greet formally | официально поздороваться |
Makarov. | he was formally degraded from the priesthood | он был официально отрешён от духовного сана |
gen. | he was formally degraded from the priesthood | он был официально лишён духовного сана |
O&G, sakh. | if formally approved | будучи официально утверждённым |
progr. | not formally proven | не доказан формально (ssn) |
gen. | propose formally | вносить предложение в официальном порядке |
SAP. | proposed formally | затребованный |
notar. | question formally | интерпеллировать (parliamentary practice) |
bank. | raise the funds formally | мобилизовать капитал путём выпуска зарегистрированных ценных бумаг |
gen. | recognize smth. formally | официально и т.д. признавать (tacitly, publicly, prematurely, etc., что-л.) |
el. | scheme language for formally describing digital circuits | язык STREAM |
el. | scheme language for formally describing digital circuits | язык формального описания цифровых схем |
gen. | separate smth. formally | формально и т.д. отделять (partially, symmetrically, nominally, legally, etc., что-л.) |
progr. | State transition logic is formally defined within finite automata theory | Логика переходов состояний формально определена в пределах теории конечных автоматов (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
gen. | support formally | формально поддержать (что-либо) |
Makarov. | the compounds RCP featuring a triple carbon-phosphorus bond and a mono-coordinated phosphorus atom, are formally isovalent derivatives of either alkynes | соединения RCP с тройной связью углерод-фосфор и монокоординированным атомом фосфора являются формально изовалентными производными или алкинов R-CC-R или цианидов (R-CC-R) or cyanides (RCN; RCN) |
gen. | the exhibition will be formally opened tomorrow | выставка официально откроется завтра |
Makarov. | the politician formally opened the new theatre building, so setting the seal on the group's effort to be recognized | политик официально открыл новое здание театра, тем самым одобряя старания творческого объединения |
progr. | the SLA should be formally authorized by senior customer and service provider representatives | Соглашение об уровне услуг должно быть подписано полномочными представителями заказчика и поставщика услуг (см. ISO/IEC 20000-2:2005) |
Makarov. | these two versions do not formally contradict one another | формально эти две версии не опровергают одна другую |
chess.term. | they formally acknowledged having been defeated | они официально признали своё поражение |
gen. | was not formally educated | "так диплом и не получил" (Анна Ф) |
gen. | was not formally educated | "так ничего и не закончил" (самоучка; недоучка Анна Ф) |
gen. | was not formally educated | "так нигде и не доучился" (Анна Ф) |
gen. | was not formally educated | "так ничего и не закончил" (Анна Ф) |
Makarov. | what is formally correct may be materially false | формально верное может быть фактически ложным |