Приложение
для AndroidПолное описание
512/П 395
Плоткин, Б. И. Универсальная алгебра, алгебраическая логика и базы данных / Б.И.Плоткин. - М. : Наука, 1991. - 446 с. - 3960 экз. - ISBN 5-02-014635-8 : 5.80 р. - Текст : непосредственный.
Библиогр.:с.435-442
| ГРНТИ | УДК | |
| 27.17.23 | 512.57 | |
| 27.17.21 | 512.563 | |
| 004.65 |
Рубрики:
Алгебры универсальные
Алгебра логики
Банки данных
Кл.слова (ненормированные): алгебры универсальные -- алгебра логики
Имеются экземпляры в отделах: всего 7 : ХР (2), ФО18 (1), ФО19 (1), ФО20 (1), ФО25 (1), ФО26 (1)
Свободны: ХР (2), ФО18 (1), ФО19 (1), ФО20 (1), ФО25 (1), ФО26 (1)
Завадский А.Г. Представления частично упорядоченных множеств конечного роста : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. Г. Завадский, 1991. - 19 с. - Текст : непосредственный.Адаричева К.В. Строение решеток подполурешеток : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / К. В. Адаричева, 1990. - 12 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Казаров А.С. Присоединенное представление и двусторонние идеалы в универсальной обертывающей алгебре полупростой алгебры Ли : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.01 / А. С. Казаров, 1992. - 15 с. - Текст : непосредственный.Скиба А.Н. Локальные формации с заданными внутренними свойствами : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. Н. Скиба, 1993. - 20 с. - Текст : непосредственный.Сучета Чакрабарти.Свободные разрешимые алгебры в многообразиях с одной тернарной мальцевской операцией : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Сучета Чакрабарти, 1993. - 8 с. - Текст : непосредственный.Молчанов В.А. Нестандартные приложения алгебры соответствий : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / В. А. Молчанов, 1994. - 28 с. - Текст : непосредственный.Булатов А.А. Алгебраические свойства решетки клонов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. А. Булатов, 1995. - 14 с. - Текст : непосредственный.Умирбаев У.У. Проблема вхождения и подалгебры свободных алгебр : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / У. У. Умирбаев, 1995. - 21 с. - Текст : непосредственный.Шашков О.В. Объединение конечнобазируемых многообразий алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:01.01.06 / О. В. Шашков, 1996. - 13 с. - Текст : непосредственный.Горбунов В.А. Алгебраическая теория квазимногообразий : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / В. А. Горбунов, 1996. - 26 с. - Текст : непосредственный.Власов В.Н. Алгоритмические свойства булевых алгебр : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. Н. Власов, 1999. - 16 с. - Текст : непосредственный.Липачева Е.В. Рекурсивные и частичные автоморфизмы булевых алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Липачева, 1997. - 13 с. - Текст : непосредственный.Репницкий В.Б. Представление решеток решетками подалгебр : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / В. Б. Репницкий, 1997. - 27 с. - Текст : непосредственный.Бощенко А.П. Решетки конгруэнций унарных алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. П. Бощенко, 1998. - 16 с. - Текст : непосредственный.Зуев Ю.А. Вероятностные методы в пороговой логике : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09 / Ю. А. Зуев, 1998. - 21 с. - Текст : непосредственный.Запатрин Р.Р. Полугрупповая координатизация решеток : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Р. Р. Запатрин, 1999. - 7 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Ильин С.Н. Строение обратимых матриц над упорядоченными алгебраическими системами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Н. Ильин, 1999. - 16 с. - Текст : непосредственный.Кириченко К.Д. Бесповторные и слабоповторные булевы функции в предэлементарных базисах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / К. Д. Кириченко, 2000. - 14 с. - Текст : непосредственный.
Показать все результатыОбъектно-ориентированное моделирование для пространственных баз данных / ВЦП. - 32 c. - Текст : непосредственный.Обеспечение выполнения восстановления после аварии / ВЦП. - 16 c. - Текст : непосредственный.Указатель консультантов по надежности / ВЦП. - 42 c. - Текст : непосредственный.Перечень консультантов по вопросам защиты. Дополнение / ВЦП. - 10 c. - Текст : непосредственный.Курсы познания журнала "Choice" / ВЦП. - 9 c. - Текст : непосредственный.Фирма "Комдисо, инк."(CDRS) - службы восстановления после аварии / ВЦП. - 17 c. - Текст : непосредственный.Предоставляемые услуги по восстановлению нарушений работы вычислительных центров. Фирма АЙН МАУНТИН : Обзор, анализ, характеристики / ВЦП. - 15 c. - Текст : непосредственный.Предоставляемые услуги по восстановлению компьютерных нарушений : Обзор, анализ, характеристики / ВЦП. - 17 c. - Текст : непосредственный.Службы восстановления "Сангард". Службы восстановления "Дисастер" / ВЦП. - 17 c. - Текст : непосредственный.Algebraic logic / сост. H. Andreka, 1991. - VI,746 p. p. - Текст : непосредственный.Schmidt G. Relations and graphs : Discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein, 1993. - VIII,301 p. p. - Текст : непосредственный.Brass S. Defaults in deduktiven Datenbanken : Diss. / S.Brass, 1992. - VI,197 S. S. - Текст : непосредственный.Хобби Д. Строение конечных алгебр / Д.Хобби,Р.Маккензи;Пер. с англ. К.В.Адаричевой и др.; Под ред. В.А.Горбунова, Ю.Л.Ершова, 1993. - 286 c. - Текст : непосредственный.Thieme C.J.E. Schema integration in object-oriented databases / C.J.E.Thieme,A.P.J.M.Siebes, 1993. - 30 p. - Текст : непосредственный.Thieme C.J.E. Schema refinement and schema integration in object-oriented databases / C.J.E.Thieme,A.P.J.M.Siebes, 1993. - 19 p. - Текст : непосредственный.Промахина И.М. Некоторые программные средства построения специализированных баз данных / И. М. Промахина, В. А. Ткаченко, В. В. Шевченко, 1993. - 16 c. - Текст : непосредственный.Мешалкин В.П. Введение в базы данных : Учеб. пособие / В. П. Мешалкин, В. Н. Фефелов, М. А. Пермяков, 1993. - 127 c. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1994. - 36 c. - Текст : непосредственный.Kim W. Introduction to object-oriented databases / W.Kim, 1990. - 234 p. - Текст : непосредственный.Обухов В.Е. Логические уравнения и прикладные задачи / В.Е.Обухов,В.В.Павлов, 1992. - 187 c. - Текст : непосредственный.
Показать все результатыНовак И.Н. Методы оптимизации хранения данных в параметрических базах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / И. Н. Новак, 1991. - 16 с. - Текст : непосредственный.Космынин А.Н. Методы и средства организации типовополной модели баз данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / А. Н. Космынин, 1991. - 19 с. - Текст : непосредственный.Петровых Е.А. Разработка логического процесса реляционных данных и методики его использования в океанологическом банке данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Петровых, 1992. - 18 с. - Текст : непосредственный.Денисов С.Б. Исследование и разработка физического уровня для дедуктивных реляционных СУБД : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Б. Денисов, 1992. - 16 с. - Текст : непосредственный.Ле Тхай Хи.Теория и методы графической формулировки запросов к базам данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Ле Тхай Хи, 1992. - 15 с. - Текст : непосредственный.Oracle для IBM PC/MS-DOS : Руководство по применению и установке / ВЦП. - 100 c. - Текст : непосредственный.Ливчак А.Б. О критериях полноты (Математические аспекты выбора языка запросов) : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / А. Б. Ливчак, 1993. - 16 с. - Текст : непосредственный.Новиков В.А. Формальное описание и моделирование предметных областей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / В. А. Новиков, 1994. - 19 с. - Текст : непосредственный.Кострюков В.А. Системы мультидоступа и восстановления в современных СУБД : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / В. А. Кострюков, 1993. - 17 с. - Текст : непосредственный.Кузнецов С.Д. Исследование и разработка SOL-сервера : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.16 / С. Д. Кузнецов, 1993. - 22 с. - Текст : непосредственный.Цай В.А. Разработка и исследование методов построения инструментальных систем проектирования баз знаний и данных : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.06 / В. А. Цай, 1993. - 39 с. - Текст : непосредственный.Белков А.В. Разработка и исследование алгоритмов первичного анализа и схем индексации изображений в визуальных информационных системах : автореф. дис. .. канд. техн. наук : 05.13.01 / А. В. Белков, 2003. - 19 с. - Текст : непосредственный.Молчанов В.А. Нестандартные приложения алгебры соответствий : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / В. А. Молчанов, 1994. - 28 с. - Текст : непосредственный.Домбровская Г.Р. Низкоуровневая поддержка нестандартных моделей транзакций в системе хранения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Г. Р. Домбровская, 1995. - 16 с. - Текст : непосредственный.Казарцев А.А. Алгоритм поиска в базе данных,основанный на аппроксимации распределения адресов в индексе : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. А. Казарцев, 1995. - 18 с. - Текст : непосредственный.Барышников В.В. Система построения сетевых баз данных и знаний : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. В. Барышников, 1995. - 14 с. - Текст : непосредственный.Крашенинников С.В. Управление данными в системе Таблично-ориентированного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / С. В. Крашенинников, 1996. - 14 с. - Текст : непосредственный.Шашков О.В. Объединение конечнобазируемых многообразий алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:01.01.06 / О. В. Шашков, 1996. - 13 с. - Текст : непосредственный.Бениаминов Е.М. Алгебраические методы в теории баз данных и представлении знаний : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / Е. М. Бениаминов, 1996. - 17 с. - Текст : непосредственный.Горбунов В.А. Алгебраическая теория квазимногообразий : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / В. А. Горбунов, 1996. - 26 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽