Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
bounded quantification
Translation of "bounded quantification" in Russian
Other results
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 (одноместная логика второго порядка, вид логики второго порядка, позволяющая кванторы над множествами вершин) имеет алгоритм линейного времени для графов с ограниченной шириной по одной из формулировок теоремы Курселя.
Synonyms and analogies of "bounded quantification" in English
Word & Expression of the day
Image of the day
Results: 3. Exact: 0. Elapsed time: 18 ms.
