JК
ДИСКРЕТНАЯ МАТЕМАТИКА БЕЗ ФОРМУЛ :: Соловьев Александр
Страница: 33 из 71Такие элементы называются соответственно СУПРЕМУМ и ИНФИМУМ . Или кратко, sup и inf .
Для множества чисел 1, 2, 3, 4, 6, 9, 12, 18, 36 с отношением делить, возьмем подмножество чисел 3, 6, 9. Для него множество мажорант будет 12, 36. Множество минорант – 3, 1. супремум – 12, инфимум – 3.
РЕШЕТКОЙ называется ЧУМ , в котором для любого непустого подмножества существуют супремум и инфимум.
Решетки, которые получаются как множества подмножеств данного конечного множества, с отношением включения, относятся к БУЛЕВЫМ РЕШЕТКАМ . Для тех, кто знают про булеву алгебру, добавим, что традиционная булева алгебра есть решетка из двух элементов: «истина», «ложь», с отношением порядка «более истинный».
Определить решетку можно и «алгебраически». Если для элементов множества с отношением частичного порядка (частично-упорядоченным множеством) выполняются законы коммутативный, ассоциативный, поглощения и идемпотентности, то такое частично-упорядоченное множество называется решеткой.
Если, кроме того, выполняется дистрибутивный закон – то решетка называется дистрибутивной.
Тут уж поверьте на слово – с помощью решеток решен ряд важных проблем. В том числе и теоретического программирования.
Лекция 6. МАТЕМАТИЧЕСКАЯ ЛОГИКА (БЕССМЫСЛЕННАЯ ЛОГИКА)
Обычно, настоящие математики не приспособлены к жизни. Посмотрите на них, если имеете возможность. Они где-то витают… Казалось бы, следует сделать исключение для логиков. Хотя бы потому, что поступки логиков должны быть наиболее логичны.
Для множества чисел 1, 2, 3, 4, 6, 9, 12, 18, 36 с отношением делить, возьмем подмножество чисел 3, 6, 9. Для него множество мажорант будет 12, 36. Множество минорант – 3, 1. супремум – 12, инфимум – 3.
РЕШЕТКОЙ называется ЧУМ , в котором для любого непустого подмножества существуют супремум и инфимум.
Решетки, которые получаются как множества подмножеств данного конечного множества, с отношением включения, относятся к БУЛЕВЫМ РЕШЕТКАМ . Для тех, кто знают про булеву алгебру, добавим, что традиционная булева алгебра есть решетка из двух элементов: «истина», «ложь», с отношением порядка «более истинный».
Определить решетку можно и «алгебраически». Если для элементов множества с отношением частичного порядка (частично-упорядоченным множеством) выполняются законы коммутативный, ассоциативный, поглощения и идемпотентности, то такое частично-упорядоченное множество называется решеткой.
Если, кроме того, выполняется дистрибутивный закон – то решетка называется дистрибутивной.
Тут уж поверьте на слово – с помощью решеток решен ряд важных проблем. В том числе и теоретического программирования.
Лекция 6. МАТЕМАТИЧЕСКАЯ ЛОГИКА (БЕССМЫСЛЕННАЯ ЛОГИКА)
Обычно, настоящие математики не приспособлены к жизни. Посмотрите на них, если имеете возможность. Они где-то витают… Казалось бы, следует сделать исключение для логиков. Хотя бы потому, что поступки логиков должны быть наиболее логичны.