Детальная информация
73
И 741
И 741
Zhukov, A.
An Algorithm for Embedding 2-Order into 0-Order of Finite Labeled Posets and Forests / A. Zhukov // Информатика и информационные технологии в образовании: теория , приложения, дидактика : материалы Всерос. науч. школы-конф. с междунар. участием (26-29 сент. 2012 г.) / [редкол.: А. Д. Герасёв, Б. О. Майер, В. Л. Селиванов (науч. ред.)] ; Новосиб. гос. пед. ун-т, Ин-т физ.-мат. и информ.-экон. образования, Каф. информатики и дискретной математики, НОЦ "Информатика и информационные технологии в системе образования". - Новосибирск, 2012. - Т. 1 : Информатика и математика. - С. 149-155.. - URL: https://lib.nspu.ru/views/sbo/999/read.php (дата обращения: 28.04.2024) .
An Algorithm for Embedding 2-Order into 0-Order of Finite Labeled Posets and Forests / A. Zhukov // Информатика и информационные технологии в образовании: теория , приложения, дидактика : материалы Всерос. науч. школы-конф. с междунар. участием (26-29 сент. 2012 г.) / [редкол.: А. Д. Герасёв, Б. О. Майер, В. Л. Селиванов (науч. ред.)] ; Новосиб. гос. пед. ун-т, Ин-т физ.-мат. и информ.-экон. образования, Каф. информатики и дискретной математики, НОЦ "Информатика и информационные технологии в системе образования". - Новосибирск, 2012. - Т. 1 : Информатика и математика. - С. 149-155.. - URL: https://lib.nspu.ru/views/sbo/999/read.php (дата обращения: 28.04.2024) .
Пункт выдачи:
абонемент № 1
| Доступ | Наименование документа |
|---|---|
| А В | Полнотекстовый документ (читать) |
We give a constructive (algorithmic) proof that the quotient structure of finite k-labeled posets (forests) under 2-order is isomorphically embeddable into the corresponding structures under 0-order (also known as homomorphic order) and 1-order. In particular, it means that 2-preorder on the finite k-labeled posets (forests) can be split (in some specified sense) into 0-preorder and 2-equivalence. As a corollary, we define the infimum operation in the quotient structures of the finite k-labeled posets and forests, and prove that these structures are distributive lattices.
0-(pre)order
1-(pre)order
2-(pre)order
labeled forest
labeled poset
НГПУ
труды преподавателей НГПУ
1-(pre)order
2-(pre)order
labeled forest
labeled poset
НГПУ
труды преподавателей НГПУ