Является ли АТД полугруппой

@k__i__a · Регистрация: 05.11.2019

Студворк — интернет-сервис помощи студентам

Проверить, является ли реализация АТД полугруппой и можно ли ввести структуру моноида на мн-ве действительных чисел с бинарной операцией * вида U * V = 3UV

@kabenyuk · 18.05.2020, 12:30

Сообщение от k__i__a

реализация АТД

Что за АТД?

@k__i__a · 18.05.2020, 12:32 **[ТС]**

Абстарктный тип данных

@kabenyuk · 18.05.2020, 12:41

Сообщение от k__i__a

Абстарктный тип данных

Все равно не понял. А вот вторая часть вопроса понятна. Действительные числа с бинарной операцией * вида U * V = 3UV являются моноидом.

@k__i__a · 18.05.2020, 12:46 **[ТС]**

Сообщение от kabenyuk

Все равно не понял. А вот вторая часть вопроса понятна. Действительные числа с бинарной операцией * вида U * V = 3UV являются моноидом.

А как это даказывается? Ввиду ассоциативности и нульарной операцией?

@kabenyuk · 18.05.2020, 12:53

Сообщение от k__i__a

Ввиду ассоциативности и нульарной операцией?

Да, проверяйте ассоциативность, а нейтральный элемент здесь число 1/3 - оно же нуль-арная операция.

Новые блоги и статьи Все статьи Все блоги /
Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .	Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .
[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .

@k__i__a 0 / 0 / 0 Регистрация: 05.11.2019 Сообщений: 48

	Является ли АТД полугруппой 18.05.2020, 11:46. Показов 466. Ответов 5 Метки нет (Все метки) Проверить, является ли реализация АТД полугруппой и можно ли ввести структуру моноида на мн-ве действительных чисел с бинарной операцией * вида U * V = 3UV 0

@k__i__a 0 / 0 / 0 Регистрация: 05.11.2019 Сообщений: 48
	18.05.2020, 12:32 [ТС]
	Абстарктный тип данных 0