Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
bounded quantification
Traducere "bounded quantification" în rusă
Alte rezultate
The technique was formalized in 1989 as "F-bounded quantification."
Эта техника была формализована в 1989 году под названием «F-bounded quantification».
In computational topology, Burton & Downey (2014) extend Courcelle's theorem from MSO2 to a form of monadic second-order logic on simplicial complexes of bounded dimension that allows quantification over simplices of any fixed dimension.
В вычислительной топологии Бартон и Дауни расширили теорему Курселя с MSO2 до логики второго порядка на симплициальных комплексах ограниченной размерности, что позволяет введение количественных характеристик для любой фиксированной размерности.
In particular, every graph property that can be expressed in MSO1 monadic second-order logic (a form of logic allowing quantification over sets of vertices) has a linear-time algorithm for graphs of bounded clique-width, by a form of Courcelle's theorem.
В частности, любой инвариант графа, который может быть выражен в MSO1 (одноместная логика второго порядка, вид логики второго порядка, позволяющая кванторы над множествами вершин) имеет алгоритм линейного времени для графов с ограниченной шириной по одной из формулировок теоремы Курселя.
Sinonime și analogii pentru "bounded quantification" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Rezultate: 3. Exacte: 0. Timp de răspuns: 25 ms.
