monadic примеры

Примеры

1. Of course there is a ready answer: Because we do not grant the presence of the Monadic Essence.
   Потому, что мы не допускаем наличности Монадической Сущности.
2. However, it cannot be true for all graphs of bounded treewidth, because in general counting adds extra power over monadic second-order logic without counting.
   Однако это не может быть верно для всех графов с ограниченной древесной шириной, поскольку, в общем случае, предикат подсчёта длины добавляет силу логике второго порядка.
3. In this system the quad- ratic structure symbolizes the four directions, the dyadic structure represents the opposition Above and Mother Earth, and the monadic structure symbolizes the Spotted Eagle.
   В этой четвертной системе структура символизирует четыре направления, структура dyadic представляет противопоставление Верха и Матери Земли, а структура monadic символизирует Пятнистого Орла.
4. In this system the quad- ratic structure symbolizes the four directions, the dyadic structure represents the opposition Above and Mother Earth, and the monadic structure symbolizes the Spotted Eagle.
   В этой четвертной системе структура символизирует четыре направления, структура dyadic представляет противопоставление Верха и Матери Земли, а структура monadic символизирует Пятнистого Орла.
5. Courcelle conjectured a converse to this: if a property of graphs of bounded treewidth is recognized by a tree automaton, then it can be defined in counting monadic second-order logic.
   Гипотеза Курселя обратна этому — если свойство графов с ограниченной шириной распознаётся автоматом над деревьями, то оно может быть определено в терминах логики второго порядка.