Условные термы и их применение в алгебре и теории вычислений, Монография, Пинус А.Г., 2002
Условные термы и их применение в алгебре и теории вычислений, Монография, Пинус А.Г., 2002.
В монографии, на основе введенного понятия условного терма, изучается строение условных многообразий (универсальных классов универсальных алгебр, в том числе и отдельных конечных алгебр). Описываемое отношение условной рациональной эквивалентности условных многообразий позволяет решить целый ряд чисто алгебраических задач, а также построить теорию программно вычислимых функций на универсальных алгебрах.
ДИСКРИМИНАТОРНЫЕ МНОГООБРАЗИЯ.
В настоящей главе будут рассмотрены основные вопросы строения так называемых дискриминаторных многообразий. Различные аспекты теории этих многообразий играют ключевую роль в изучении условных термов и условных многообразий (гл. 3). Введение и изучение дискриминаторных .многообразий связано с попытками обобщения различных результатов известных для многообразия булевых алгебр на более широкий класс многообразий. Особое внимание класс дискриминаторных многообразий заслужил в силу известного описания С. Баррисом и Р. Мак-Кензи [60] конгруэнц-модулярных многообразий с разрешимой элементарной теорией, где дискриминаторные многообразия наряду с абелевыми играют базовую роль. Материал данной главы касается лишь тех фактов строения дискриминаторных многообразий, которые непосредственно используются в главе 3. Более общий интерес к дискриминаторным многообразиям отражен в монографиях X. Вернера [98], С. Барриса и Х.П. Санкапанавара [61] и автора [85].
В параграфе 2.1 доказаны основные свойства дискриминаторных многообразий и приводится их описание Р. МакКензи с помощью условий, близких к мальцевским условиям. В параграфе 2.2 доказывается возможность представления алгебр дискриминаторного многообразия в виде булевых произведений простых алгебр, на основе этого описывается строение конгруэнций на алгебрах дискриминаторных многообразий и гомоморфизмов между этими алгебрами.
Оглавление
Введение
1 Многообразия и категории универсальных алгебр
1.1 Общие сведения о многообразиях алгебр
1.2 Рациональная и Морита-эквивалентность многообразий
2 Дискриминаторные многообразия
2.1 Основные свойства
2.2 Булево представление алгебр
3 Условные термы
3.1 Условные термы и функции
3.2 Условные тождества
3.3 Условная эквивалентность
3.4 Инварианты отношений
3.5 Неэквивалентные алгебры
3.6 Алгебры эквивалентные
3.7 Обобщения условных термов
3.8 Шкалы вычислительных потенциалов
3.9 Условные термы и программы
Приоритеты
Литература.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12767 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Flight International 2010-06-15 (Vol 177 No 5244)
Название: Flight International Год / месяц: 2010 / 6Номер: 5244Формат: pdfРазмер: 41 МбFlight International (or Flight) is a global aerospace weekly publication. Founded in 1909, it is the world's ol . . .
-
Управление временем Руководство для лидеров
Название: Управление временемАвтор: Халан И.С.Серия или выпуск: Руководство для лидеровИздательство: ДиляISBN: 5-88503-190-8Год издания: 2006Страниц: 96Язык: РусскийФормат: rtfКачество: отличноеРазм . . .
-
Блюда на пару. Большая энциклопедия
Название: Блюда на пару. Большая энциклопедияАвтор: И.А. МихайловаИздательство: ЭксмоГод издания: 2009Страниц: 480Язык: РусскийФормат: djvuКачество: отличноеРазмер: 17.3 МбОписание: Диетологи всего . . .
-
Gameplay №3 (2010 Март) [Периодика]
Название: GameplayИздательство: ITC PublishingСтрана: РоссияГод Выпуска: 2010 МартФормат|Качество: PDF/ХорошееРазмер файла: 62.32 MB Количество Страниц: 77Тип: Книги / ЖурналыОписание: Gameplay – пер . . .
-
Принцесса на грани
Название: Принцесса на граниАвтор: Мэг КэботИздательство: АСТ, Астрель, ХранительISBN: 978-5-17-043163-2, 978-5-271-16577-1, 978-5-9762-2853-5Год издания: 2007Страниц: 256Язык: РусскийФормат: rtfРаз . . .
-
Ловушка для чародеев
Название: Ловушка для чародеевАвтор: Майкл МоллойСерия или выпуск: Ночные ведьмы - 2Издательство: Эксмо, ДоминоISBN: 978-5-699-40399-8Год издания: 2010Страниц: 352Язык: РусскийФормат: RTFКачество: о . . .
-
Операция «Остров»
Название: Операция «Остров»Автор: Виктор ШендеровичЯзык: РусскийФормат: rtf, txt, pdf, fb2, doc, htmРазмер: 5,02 МбОписание:Те, кто по ту сторону телеэкрана составляет меню и готовит все это тошнотво . . .
-
Кошмар: моментальные снимки
Название: Кошмар: моментальные снимкиАвтор: Брэд БреккЯзык: РусскийФормат: rtf, txt, pdf, fb2, doc, htmРазмер: 38,7 МбОписание:Он воевал, он стрелял, и по нему стреляли; он видел, как полыхают джунгл . . .
-
Красавица некстати
Название: Красавица некстатиАвтор: Анна БерсеневаИздательство: ЭксмоISBN: 978-5-699-31451-5Год издания: 2008Страниц: 384Язык: РусскийФормат: rtfРазмер: 5.04 МбОписание: Это знакомо многим женщинам: . . .
-
Лана (аудиокнига)
Название: Лана (аудиокнига)Автор: Андрей БелянинИздательство: МедиаКнигаГод издания: 2010Язык: РусскийФормат: МР3Битрейт аудио: 160 kbpsВремя звучания: 04:10:00Читает: Сергей ГорбуновКачество: отлич . . .
![Журнал Gameplay №3 (2010 Март) [Периодика]](http://img-fotki.yandex.ru/get/15536/303691805.4f9/0_16afca_a1c86432_orig "Журнал Gameplay №3 (2010 Март) [Периодика]")
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Условные термы и их применение в алгебре и теории вычислений, Монография, Пинус А.Г., 2002. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.