yacc> В абстракном смысле - множество, снабженное набором n-арных операций.
Алгебраические системы — там смотри определение алгебраической системы. В нём есть случай алгебры. Кстати, там есть определение и модели.
В
алгебраическом смысле.
Кстати, алгебраические отношения в чистом виде практически — это реляционные БД. Точнее теория. И декартовы произведения, и N-я степень, и линейное пространство. Вот так в незамутнённом чистом математическом виде совершенно абстрактная алгебра проникла в прикладной мир.
Правда саму теорию реляционных отношений тоже немного народу знают и предпочитают пользоваться только выводами. И некоторые оспаривают, что теория реляционных отношений — часть алгебры, а не практика.
После этого параграфа должно быть понятно, что такое модель в
алгебраическом понимании — например, модель реляционной БД. Множество и отношения.
yacc> Да, тут ты меня Миш, подловил - свою ошибку я понял гораздо раньше - потому что признак "патриот/непатриот" не включен в множество, а алгебра оперирует на определенном для нее множестве.
Когда формируешь множество, то признак формирования в множество не входит. Признак — это скорее часть элемента множества, но множество состоит из элементов, т.е. до структуры элемента там не доходит. Я тебе об этом сразу сказал. Грубо говоря, разбивая людей на мужчин и женщин и определяя принадлежность к мужчинам по наличию пениса (для примера), мы получаем множество мужчин и женщин. Объекты в каждом множестве либо имеют пенис, либо не имеют. Но множество мужчин не есть множество пенисов. Множество пенисов будет другим множеством.
И на нем можно ввести разные ф-ции типа "меряться".
yacc> Ты у нас какбы математик - за этот оставленный хвост ты бы меня мог поймать раньшше...
yacc> Стареешь?
Какой хвост? Ты ещё раньше не туда пошёл. С ф-ми — для ф-ций оба множества должны быть определены до определения ф-ции. А у нас второго ещё нет. Только определяем.
yacc> Тогда твой тезис относительно Черчиля/Гейтса и т.п. абсолютно не прав - поскольку они не из абстрактного множества!
Это пофигу. Пойми, у математики нет такого различия. Это различие появляется в тот момент, когда ты строишь модель и хочешь, чтобы она чему-то соответствовала, т.е. используешь математику в качестве инструмента, то там и появляются различия. Например, груши и яблоки и запрет их складывать в одном смысле (для подсчёта груш и яблок, как раздельных сущностей) и разрешение складывать в другом смысле (например, подсчёт веса или штук для перевозки). Тот самый анализ размерностей в физике тоже очень хороший пример. Но про пострение такой модели я и не веду речи. Понимаешь?