Examples of using Комбинаторная in Russian and their translations into English
{-}
-
Official
-
Colloquial
Комбинаторная формула для всех n дана в 2007.
Тестирование программного обеспечения- комбинаторная задача.
Software testing is a combinatorial problem.Комбинаторная оптимизация и алгоритмическая теория игр.
Combinatorial Optimization and Algorithmic Game Theory.Задача об упаковке в контейнеры- NP- трудная комбинаторная задача.
In computational complexity theory, it is a combinatorial NP-hard problem.Комбинаторная генерация программных конфигураций ОС.
Combinatorial generation of operation system software configurations.Симплициальная( или комбинаторная) d- сфера- это симплициальный комплекс, гомеоморфный d- мерной сфере.
A simplicial(or combinatorial) d-sphere is a simplicial complex homeomorphic to the d-dimensional sphere.Комбинаторная формулировка накрывающих графов немедленно обобщается на случай мультиграфов.
The combinatorial formulation of covering graphs is immediately generalized to the case of multigraphs.Алгебраическая теория графов Комбинаторная коммутативная алгебра Комбинаторика многогранников Bannai, Ito, 1984.
Algebraic graph theory Combinatorial commutative algebra Journal of Algebraic Combinatorics Polyhedral combinatorics Bannai& Ito 1984 Godsil 1993 Bailey 2004.Комбинаторная теорема Римана об отображениях дает необходимое и достаточное условие, чтобы это произошло.
The Combinatorial Riemann Mapping Theorem gives necessary and sufficient conditions for this to occur.Сходное теоретическое понятие, комбинаторная логика, является более абстрактным, нежели λ- исчисления и было создано раньше.
An equivalent theoretical formulation, combinatory logic, is commonly perceived as more abstract than lambda calculus and preceded it in invention.Комбинаторная оптимизация включает в себя задачи оптимизации, в которых множество допустимых решений дискретно или может быть сведено к дискретному множеству.
Combinatorial optimization is concerned with problems where the set of feasible solutions is discrete or can be reduced to a discrete one.Лемер написал статью« Машины для вычислений», которая является первой главой в книге« Прикладная комбинаторная математика» Эдвина Бекенбача, 1964.
Lehmer wrote the article"Machine tools of Computation," which is chapter one in the book"Applied Combinatorial Mathematics," by Edwin Beckenbach, 1964.Вание и комбинаторная химия с использованием вычислительной техники.
Molecular modelling and computer-assisted combinatorial chemistry.Хотя многогранники, замощения и упаковка шаров исследовались еще Кеплером и Коши,современная комбинаторная геометрия начала формироваться в конце 19- го века.
Although polyhedra and tessellations had been studied for many years by people such as Kepler and Cauchy,modern discrete geometry has its origins in the late 19th century.И λ- исчисление, и комбинаторная логика были разработаны для более ясного и точного описания принципов и основ математики.
Combinatory logic and lambda calculus were both originally developed to achieve a clearer approach to the foundations of mathematics.Верещагин проводит исследования в таких направлениях как сложность вычислений, алгоритмическая теория информации,алгоритмическая статистика, комбинаторная оптимизация и алгоритмическая теория игр.
The Laboratory conducts research in computational complexity, information theory,algorithmic statistics, combinatorial optimization, and algorithmic game theory.Комбинаторная оптимизация, разрешимые задачи, комбинаторная конфигурация, функция натурального аргумента, целевая функция, перестановка.
Combinatorial optimization, the solvable problems, combinatorial configuration, the function of a natural argument, the objective function, the permutations.В 1996 году была внедрена свободно- комбинаторная антиретровирусная терапия, которая привела к существенному сокращению числа заболеваний, приводящих к СПИДу и летальному исходу.
In 1996, free combination antiretroviral therapy was introduced, resulting in a drastic drop in the number of cases progressing to AIDS and death.Комбинаторная оптимизация- область теории оптимизации в прикладной математике, связанная с исследованием операций, теорией алгоритмов и теорией вычислительной сложности.
Combinatorial optimization is a subset of mathematical optimization that is related to operations research, algorithm theory, and computational complexity theory.Технологии высокопроизводительного скрининга позволяют проводить скрининг большого числа соединений( библиотек- см. комбинаторная биохимия) на предмет конкретных функций, например осуществлять поиск определенного соединения с целью его увязки с конкретным рецептором или инактивации конкретного фермента.
High-throughput screening technologies allow large numbers of compounds(libraries- see combinatorial biochemistry) to be screened for specific activities, such as looking for a compound to bind to a particular receptor, or inactivate a specific enzyme.Однако существует комбинаторная метрика в соответствующих графах инциденций( графах Леви), а именно, длина кратчайшего пути между двумя вершинами в этом двудольном графе.
However, a combinatorial metric does exist in the corresponding incidence graph(Levi graph), namely the length of the shortest path between two vertices in this bipartite graph.Задача о вечном доминирующем множестве, известная также как задача о вечном доминировании,может быть представлена как комбинаторная игра между двумя игроками, делающими ходы поочередно- защищающаяся сторона выбирает начальное доминирующее множество D и посылает охранника в атакуемую вершину, если в ней не было охранника.
The eternal dominating set problem, also known as the eternal domination problem and the eternal security problem,can also be interpreted as a combinatorial game played between two players that alternate turns: a defender, who chooses the initial dominating set D and the guard to send to each attack that occurs at a vertex without a guard; and an attacker, who chooses the vertex to be attacked on their turn.Комбинаторная логика- трактовка вычисления сходна с λ- исчислением, но имеются и важные отличия например, комбинатор неподвижной точки Y имеет нормальную форму в комбинаторной логике, а в λ- исчислении- нет.
Combinatory logic is a concept which has many similarities to λ{\displaystyle\lambda}-calculus, but also important differences exist e.g. fixed point combinator Y has normal form in Научные интересы: комбинаторика, комбинаторная оптимизация, комбинаторная генерация, математическое моделирование и решение комбинаторных оптимизационных задач геометрического проектирования, комбинаторные задачи маршрутизации.
Scientific interests: Combinatorics, Combinatorial Generation, Аппликативные вычислительные системы Комбинаторная логика Лямбда- исчисление с типами Каррирование Cousineau G., Curien P.- L., Mauny M. The categorical abstract machine.- LNCS, 201, Functional programming languages computer architecture.-- 1985, pp.~ 50- 64.
Combinatory logic Typed lambda calculus Cartesian closed category Applicative computing systems Anonymous recursion Evaluation strategy Explicit substitution SKI combinator calculus Unlambda Currying Caml Cousineau G., Curien P.-L., Mauny M. The categorical abstract machine.- LNCS, 201, Functional programming languages computer architecture.-- 1985, pp.~50-64.Об одной комбинаторной проблеме, связанной с быстрым умножением матриц.
On Combinatorial Problem, Related with Fast Matrix Multiplication.Ключевые слова: комбинаторные алгоритмы, перестановка, таблица инверсий, временная сложность.
Keywords: combinatorial algorithms, permutations, inversion table, time-complexity.Он основан на комбинаторной логике, варианте Лямбда- исчисления, который опускает оператор lambda.
It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.Случайные тесты, комбинаторные тесты, тесты на особые случаи и т. д.
Random tests, combinatorial tests, tests for corner cases, etc.В комбинаторной геометрии многие типы графов инцидентности заведомо свободны от биклик.
In discrete geometry, many types of incidence graph are necessarily biclique-free.
