Разрешимый функтор - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
разрешить эту ситуацию - to resolve this situation
нам не разрешили - we were not allowed
нормально разрешимый - normally solvable
разрешить ли - whether to allow
разрешительный характер - permissive in nature
нормальная разрешимость - normal solvability
разрешить удаление - allow deleting
разрешить кому-л. бесплатный проезд - to allow smb. a free passage
разрешить въезд иностранцу - receive an alien
разрешимость системы уравнений - solvability of the system of equations
Синонимы к разрешимый: растворимый, объяснимый
Значение разрешимый: Такой, к-рый можно разрешить (во 2, 3 знач.).
biadditive функтор - biadditive functor
абелизовать функтор - abelianizing functor
бинарный функтор - binary functor
точный справа функтор - right exact functor
сбалансированный функтор - balanced functor
функтор переноса - translation functor
экономичный функтор - economical functor
транспортабельный функтор - transportable functor
строго точный функтор - faithfully exact functor
теоретико-множественный функтор - set-valued functor
Синонимы к функтор: согласно, против, зависимый, абитуриент
Однако, как только мы разрешим разногласия по ссылкам Alternet, я буду рад услышать ваши причины, по которым вы хотите удалить тег NPOV. |
However, once we resolve the Alternet links disagreement, I'd be happy to hear your reasons why you want the NPOV tag removed. |
She knew it was not insurmountable. |
|
Он математически доказал, что каждый частично разрешимый язык имеет грамматику типа 0. |
He proved mathematically that every partially decidable language has a type-0 grammar. |
Монадическая теория арифметики второго порядка совпадает с полной теорией второго порядка и не является разрешимой. |
The monadic-second-order theory of arithmetic is the same as the full second-order theory, and is not decidable. |
Хранилище ограничений не удовлетворяется, если переменная обязана принимать как значение конкретной области, так и функтор, применяемый к терминам. |
The constraint store is unsatisfiable if a variable is bound to take both a value of the specific domain and a functor applied to terms. |
Такие предположения могут привести к путанице, например, в случае пространств имен XML, которые имеют визуальное сходство с разрешимыми URI. |
Such assumptions can lead to confusion, for example, in the case of XML namespaces that have a visual similarity to resolvable URIs. |
В математике, в частности в теории категорий, представимый функтор - это определенный функтор из произвольной категории в категорию множеств. |
In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. |
Анджелина может оценить эти механики на полезность, играя в простые неразрешимые уровни игры и проверяя, делает ли новая механика уровень разрешимым. |
ANGELINA can evaluate these mechanics for usefulness by playing simple unsolvable game levels and testing to see if the new mechanic makes the level solvable. |
Действительно, в течение некоторого времени не было известно, разрешима ли задача линейного программирования за полиномиальное время, т. е. |
In fact, for some time it was not known whether the linear programming problem was solvable in polynomial time, i.e. of complexity class P. |
Агрессивные изменения поведения иногда являются результатом других разрешимых проблем, которые могут сделать лечение антипсихотиками ненужным. |
Aggressive behavior changes are sometimes the result of other solvable problems, that could make treatment with antipsychotics unnecessary. |
Для системы с числовой апертурой NA и длиной волны λ любой шаг ниже 0,5 λ / NA не был бы разрешим при одной экспозиции пластины. |
For a system with numerical aperture NA and wavelength λ, any pitch below 0.5 λ/NA would not be resolvable in a single wafer exposure. |
Линейные системы не содержат продуктов между xs и всегда разрешимы. |
Linear systems contain no products between xs and are always solvable. |
Остается неясным, является ли загадка действительно разрешимой головоломкой в рамках раннего интернет-конкурса или это была запутанная мистификация. |
It remains unclear if the enigma involves a genuinely solvable puzzle as part of an early Internet-based contest or was a convoluted hoax. |
According to these, the problem was difficult but not insoluble. |
|
Эти системы типов не имеют разрешимого вывода типа и трудны для понимания и программирования. |
These type systems do not have decidable type inference and are difficult to understand and program with. |
Функтором третьего рода является функтор Mod → Ab, Где Mod-это волокнистая категория всех модулей над произвольными кольцами. |
A functor of the third kind is the functor Mod → Ab, where Mod is the fibred category of all modules over arbitrary rings. |
Мы разрешим ваш конфликт путем, который наиболее соответствует вашему ограниченному интеллекту. |
We will resolve your conflict in the way most suited to your limited mentalities. |
Мы столкнулись с жестокими реальностями множества новых конфликтов, которые оказались весьма трудно разрешимыми. |
We stand exposed to the harsh realities of a host of new conflicts that have proved to be quite intractable. |
Начиная с сегодняшнего дня... в Западном Балтиморе можно продавать наркотики... но только там, где мы разрешим. |
Beginning today, you can sell drugs in West Baltimore, but only where we say you can. |
Природа стала рассматриваться как товар, существующий в основном для удовлетворения потребностей людей, а все экологические проблемы считаются разрешимыми с помощью технических средств. |
Nature has been treated as a commodity that exists largely for the benefit of people, and all environmental problems as solvable with a technological fix. |
Можно сказать: Мы поменяем этот закон и разрешим это, но нельзя говорить, что будем притворяться, будто ничего не происходит. |
He may say: Let us change this law and relax it, but he cannot say we should pretend it is not there. |
Ты знаешь, какую часть своей жизни я потратила впустую, валяясь на диване и представляя, как мы разрешим все свои проблемы с помощью пустой болтовни? |
Do you know how much of my life I've wasted pretending we can jabber through our issues? |
Сейчас мы разрешим этот спор. |
Now, this quarrel must be settled. |
Если вы соглашаетесь на это, тогда мы разрешим нашу задачу. |
If you will do this I think the chances are that our little problem will soon be solved. |
Если проблема разрешима, зачем быть несчастным? |
If a problem can be solved, why be unhappy? |
Мы разрешим допоздна смотреть сериал Нотс-Лэндинг и Возвращение в никуда. |
We'll let you stay up late tonight and watch Knots Landing, Return To The Cul-de-Sac. |
Чтобы облегчить поступление информации из источников, мы разрешим предоставлять её анонимно. |
To make it easier for sources to come forward... we're going to allow them to give us information anonymously. |
We'll let you talk through lunch. |
|
Мы разрешим вопросы от зала.. |
We will open the floor to questions... |
Если мы разрешим им вводить всех в заблуждение... |
If we start allowing them to take us on flights of fancy... |
Мы разрешим ей побыть маленьким непослушным ребёнком. |
She gets the chance to be a little child for once. |
Разрешим людям из Флоренции отпраздновать окончание поста и они прибудут сюда. |
Allow the people of Florence to celebrate the end of Lent as they do its arrival. |
Из рассказа Ксенофонта о нем мы узнаем, что он считал прекрасное совпадающим с добром, и оба они разрешимы в полезное. |
We learn from Xenophon's account of him that he regarded the beautiful as coincident with the good, and both of them are resolvable into the useful. |
Таким образом, An является простой группой для всех n > 4. А5-самый маленький не-разрешимая группа. |
Thus, An is a simple group for all n > 4. A5 is the smallest non-solvable group. |
Он представляет собой простой и в целом разрешимый пример взаимодействия света и атома и назван в честь Исидора Исаака Раби. |
It provides a simple and generally solvable example of light-atom interactions, and is named after Isidor Isaac Rabi. |
В следующем примере функтор используется для сортировки простой базы данных сотрудников по идентификационному номеру каждого сотрудника. |
In the following example, a functor is used to sort a simple employee database by each employee's ID number. |
Из рассказа Ксенофонта о нем мы узнаем, что он считал прекрасное совпадающим с добром, и оба они разрешимы в полезное. |
We learn from Xenophon's account of him that he regarded the beautiful as coincident with the good, and both of them are resolvable into the useful. |
Определение разрешимости диофантова уравнения. |
Determination of the solvability of a Diophantine equation. |
Существует функтор из категории CRing to Ring, который забывает аксиому коммутативности, но сохраняет все операции. |
There is a functor from the category CRing to Ring that forgets the axiom of commutativity, but keeps all the operations. |
На самом деле, с помощью этого инструмента можно решить некоторые квинтики, которые не разрешимы с помощью радикалов. |
In fact, using this tool one can solve some quintics that are not solvable using radicals. |
Напротив, забывчивый функтор сверху донизу не является консервативным, потому что не каждая непрерывная биекция является гомеоморфизмом. |
In contrast, the forgetful functor from Top to Set is not conservative because not every continuous bijection is a homeomorphism. |
Один из примеров случая, когда комбинаторная сложность приводит к пределу разрешимости, - это решение шахмат. |
One example of a case where combinatorial complexity leads to solvability limit is in solving chess. |
Любой из индивидуальных паттернов разрешим, но одно освещение не может быть использовано одновременно для всех них. |
Any of the individual patterns is resolvable, but a single illumination cannot be used simultaneously for all of them. |
Классическим примером разрешимой задачи решения является множество простых чисел. |
A classic example of a decidable decision problem is the set of prime numbers. |
Задача решения A разрешима или эффективно разрешима, если A-рекурсивное множество. |
A decision problem A is decidable or effectively solvable if A is a recursive set. |
Проблема частично разрешима, полурасполнима, разрешима или доказуема, если A-рекурсивно перечисляемое множество. |
A problem is partially decidable, semidecidable, solvable, or provable if A is a recursively enumerable set. |
Семейство языков программирования ML поддерживает универсальное Программирование с помощью параметрического полиморфизма и универсальных модулей, называемых функторами. |
The ML family of programming languages support generic programming through parametric polymorphism and generic modules called functors. |
Конечно представленные группы, удовлетворяющие достаточно сильным малым условиям отмены, являются гиперболическими словами и имеют словесную задачу, разрешимую алгоритмом Дена. |
Finitely presented groups satisfying sufficiently strong small cancellation conditions are word hyperbolic and have word problem solvable by Dehn's algorithm. |
Этого достаточно, чтобы показать, что правые производные функторы любого левого точного функтора существуют и уникальны вплоть до канонического изоморфизма. |
This is enough to show that right derived functors of any left exact functor exist and are unique up to canonical isomorphism. |
Напомним, что мы также можем выразить пучок как особый вид функтора. |
Recall that we could also express a sheaf as a special kind of functor. |
Что касается областей вещественных чисел, то функторы могут использоваться с областями целых чисел. |
As for domains of reals, functors can be used with domains of integers. |
В этом случае термин может быть выражением над целыми числами, константой или применением функтора над другими терминами. |
In this case, a term can be an expression over integers, a constant, or the application of a functor over other terms. |
Стрелка между двумя функторами является естественным преобразованием, когда она подчиняется определенным условиям естественности или коммутативности. |
An arrow between two functors is a natural transformation when it is subject to certain naturality or commutativity conditions. |
Как понятие монады, так и термин первоначально пришли из теории категорий, где она определяется как функтор с дополнительной структурой. |
Both the concept of a monad and the term originally come from category theory, where it is defined as a functor with additional structure. |
Теперь эти две процедуры уже продвигают список к прикладному функтору. |
Now, these two procedures already promote List to an applicative functor. |
Полнота, последовательность, разрешимость и выразительность-это еще более фундаментальные понятия в логике. |
Completeness, consistency, decidability, and expressivity, are further fundamental concepts in logic. |
Поэтому я призываю всех, кто знает, какая дискуссия связана с этой аналогией, не высказывать ее здесь, пока мы сначала не разрешим эту аналогию. |
Thus I urge everyone who know which discussion is connected to this analogy NOT to state it here until we firstly resolve the analogy. |
Эта загадка легко разрешима, но только путем проведения линий вне границ квадратной области, определяемой самими девятью точками. |
The conundrum is easily resolved, but only by drawing the lines outside the confines of the square area defined by the nine dots themselves. |
Это показывало, что, по крайней мере среди криптографов, неразрешенная загадка была явно признана разрешимой. |
This showed that, at least amongst the cryptographers, the un-steckered Enigma was clearly recognized as solvable. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «разрешимый функтор».
А именно, здесь можно найти перевод (значение) «разрешимый функтор» на английском языке, синонимы, антонимы, краткое определение слов: разрешимый, функтор . Также, к фразе «разрешимый функтор» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
