In contrast a graph rewriting rule of the SPO approach is a single morphism in the category of labeled multigraphs and partial mappings that preserve the multigraph structure: r: L -> R {\displaystyle r\colon L\rightarrow R}. |
Правило переписывания графа в подходе SPO это единственный морфизм в категории помеченных мультиграфов и частичных отображений, которые сохраняют структуру мультиграфа: r: L -> R {\displaystyle r\colon L\rightarrow R}. |
Another graph morphism m: L -> G {\displaystyle m\colon L\rightarrow G} models an occurrence of L in G and is called a match. |
Другой морфизм графа м: L -> G {\displaystyle m\colon L\rightarrow G} моделирует вхождение L {\displaystyle L} в G {\displaystyle G} и называется сопоставлением. |
Marston Morse proved that, provided M {\displaystyle M} is compact, any smooth function f: M -> R {\displaystyle f\colon M\to \mathbb {R}} could be approximated by a Morse function. |
Марстон Морс доказал, что если М {\displaystyle M} компактно, любая гладкая функция f: M -> R {\displaystyle f\colon M\to \mathbb {R}} может быть аппроксимирована функцией Морса. |
Burial place of members of various lodges in the historic cemetery Cementerio de Colon in Havana. |
Захоронения членов различных лож на историческом кладбище Cementerio de Colon в Гаване. |
The band members are fans of Aqua Teen Hunger Force and in 2007, Mastodon performed the opening song of Aqua Teen Hunger Force Colon Movie Film for Theaters, "Cut You Up with a Linoleum Knife". |
Участники группы были фанатами анимационного сериала Aqua Teen Hunger Force, и в 2007 году, Mastodon записали заглавную композицию к полнометражному мультфильму Aqua Teen Hunger Force Colon Movie Film for Theaters, «Cut You Up with a Linoleum Knife». |
In 1933, the noted librarian Ranganathan proposed a faceted classification system for library materials, known as colon classification. |
В 1933 году разными библиотекарь Шиали Рамамрита Ранганатан предложил фасетную классификацию для книг, которая теперь известна как Colon classification. |
Performed with Andrey Kondakov, Valery Belinov, Anatoly Gerasimov, Frank Colon (USA), Saskia Laroo (Netherlands). |
Сотрудничал с Андреем Кондаковым, Валерием Белиновым, Анатолием Герасимовым, Frank Colon(USA), Saskia Laroo(Netherlands). |