українська
Анотація:У монографії розглядаються основні поняття загальної алгебри, основні алгебраїчні структури та їх застосування в сучасних інформаційних технологіях. Зокрема, на основі алгебр та алгебраїчних систем описуються основні абстрактні типи даних (натуральне число, списки, черги, стеки, множини, дерева, графи тощо), розв’язання проблем уніфікації екваціональних теоріях першого порядку та канонізації, а також застосування в реляційних базах даних та комп’ютерній геометрії.
російська
Анотація:В монографии рассматриваются основные понятия общей алгебры, основные алгебраические структуры и их применение в современных информационных технологиях. В частности, на основе алгебр и алгебраических систем описываются основные абстрактные типы данных (натуральное число, списки, очереди, стеки, множества, деревья, графы и др.), решение проблем унификации эквациональных теориях первого порядка и канонизации, а также применение в реляционных базах данных и компьютерной геометрии.