полная полугруппа

  • 1УПОРЯДОЧЕННАЯ ПОЛУГРУППА — полугруппа, наделенная структурой (частичного, вообще говоря) порядка стабильного относительно полугрупповой операции, т. е. для любых элементов а, b, с из следует и Если отношение на У. н. Sесть линейный порядок, то S наз. линейно упорядоченной… …

    Математическая энциклопедия

  • 2ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …

    Математическая энциклопедия

  • 3ЭРГОДИЧЕСКАЯ ТЕОРИЯ — Введение Э. т. (метрическая теория динамических систем) раздел теории динамических систем, изучающий их статистич. свойства. Возникновение Э. т. (1 я треть 20 в.) было стимулировано попытками доказать эргодическую гипотезу (термин введён П. и Т.… …

    Физическая энциклопедия

  • 4ОПРЕДЕЛИТЕЛЬ — детерминант, квадратной матрицы А=||aij|| порядка пнад ассоциативно коммутативным кольцом K с единицей 1 элемент кольца K, равный сумме всех членов вида где i1, . . ., in перестановка чисел 1, . . ., п,a t число инверсий перестановки i1,..., in.… …

    Математическая энциклопедия

  • 5РЕШЕТКА — с т р у к т у р а, частично упорядоченное множество, в к ром каждое двухэлементное подмножество имеет как точную верхнюю, так и точную нижнюю грани. Отсюда вытекает существование этих граней для всякого непустого конечного подмножества. П р и м е …

    Математическая энциклопедия