Приложение
для AndroidПолное описание
Шеремет, М. С. Теоремы полноты для логики тождеств Эванса / М.С.Шеремет. - Новосибирск : [б. и.], 2001. - 12 с. - (Препринт / НИИ дискретной математики и информатики(Новосибирск) ; 56(2001)). - 60 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.17.23 | 512.57(04) |
Рубрики:
Алгебры универсальные
Кл.слова (ненормированные): универсальная алгебра
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Останькович А.А. Смешанная задача с производной по времени в граничном условии для квазилинейных гиперболических уравнений второго и четвертого порядка / А.А.Останькович, 1998. - 14 с. - Текст : непосредственный.Кажихов А.В. Корректность одной модели фазового перехода газ-твердое тело / А.В.Кажихов,И.А.Калиев, 1999. - 32 с. - Текст : непосредственный.Останькович А.А. Смешанная задача с производной по времени в граничном условии для квазилинейной гиперболической системы уравнений второго порядка / А.А.Останькович, 1999. - 9 с. - Текст : непосредственный.Байзаев С. Эллиптические системы с ограниченными коэффициентами на плоскости / С.Байзаев, 1999. - 74 с. - Текст : непосредственный.Ревин Д.О. Две D -теоремы для одного класса конечных групп / Д.О.Ревин, 1999. - 42 с. - Текст : непосредственный.Подзоров С.Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров, 1999. - 11 с. - Текст : непосредственный.Подзоров С.Ю. Однородные булевы алгебры с рекурсивным представлением / С.Ю.Подзоров, 1999. - 12 с. - Текст : непосредственный.Пузаренко В.Г. О теории моделей на наследственно конечных надстройках / В.Г.Пузаренко, 2000. - 18 с. - Текст : непосредственный.Семенова М.В. Разложения в полных решетках / М.В.Семенова, 2000. - 23 с. - Текст : непосредственный.Заварницин А.В. Порядки элементов в накрытиях групп Ln(q) и распознаваемость знакопеременной группы А / А.В.Заварницин, 2000. - 13 с. - Текст : непосредственный.Заварницин А.В. Распознавание по множеству порядков элементов знакопеременных групп степени r+1 и r+2 для простого r / А.В.Заварницин, 2000. - 11 с. - Текст : непосредственный.Шеремет М.С. Неразложимые алгебры в квазимногообразиях частичных алгебр / М.С.Шеремет, 2001. - 26 с. - Текст : непосредственный.Шеремет М.С. Теоремы полноты для логики тождеств Эванса / М.С.Шеремет, 2001. - 12 с. - Текст : непосредственный.
Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Казаров А.С. Присоединенное представление и двусторонние идеалы в универсальной обертывающей алгебре полупростой алгебры Ли : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.01 / А. С. Казаров, 1992. - 15 с. - Текст : непосредственный.Скиба А.Н. Локальные формации с заданными внутренними свойствами : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. Н. Скиба, 1993. - 20 с. - Текст : непосредственный.Сучета Чакрабарти.Свободные разрешимые алгебры в многообразиях с одной тернарной мальцевской операцией : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Сучета Чакрабарти, 1993. - 8 с. - Текст : непосредственный.Булатов А.А. Алгебраические свойства решетки клонов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. А. Булатов, 1995. - 14 с. - Текст : непосредственный.Умирбаев У.У. Проблема вхождения и подалгебры свободных алгебр : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / У. У. Умирбаев, 1995. - 21 с. - Текст : непосредственный.Шашков О.В. Объединение конечнобазируемых многообразий алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:01.01.06 / О. В. Шашков, 1996. - 13 с. - Текст : непосредственный.Горбунов В.А. Алгебраическая теория квазимногообразий : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / В. А. Горбунов, 1996. - 26 с. - Текст : непосредственный.Бощенко А.П. Решетки конгруэнций унарных алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. П. Бощенко, 1998. - 16 с. - Текст : непосредственный.Мордвинов Я.Л. Скелеты локально-конечных конгруэнц-модулярных многообразий и многообразий решеток : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Я. Л. Мордвинов, 2000. - 15 с. - Текст : непосредственный.Карташова А.В. Решетки топологий унаров : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. В. Карташова, 2001. - 18 с. - Текст : непосредственный.Шеремет М.С. Квазимногообразия частичных алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / М. С. Шеремет, 2001. - 15 с. - Текст : непосредственный.Журков С.В. Шкалы потенциалов вычислимости n-элементных алгебр : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / С. В. Журков, 2003. - 19 с. - Текст : непосредственный.Жданович П.Б. Свободные абелевы расширения Sp-перестановочных алгебр : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / П. Б. Жданович, 2003. - 18 c. - Текст : непосредственный.Данилов А.Н. Матричное представление свободных абелевых расширений : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. Н. Данилов, 2003. - 11 с. - Текст : непосредственный.Хобби Д. Строение конечных алгебр / Д.Хобби,Р.Маккензи;Пер. с англ. К.В.Адаричевой и др.; Под ред. В.А.Горбунова, Ю.Л.Ершова, 1993. - 286 c. - Текст : непосредственный.Русаков С.А. Алгебраические п-арные системы. Силовская теория п-арных групп / С.А.Русаков, 1992. - 264 с. - Текст : непосредственный.Symplectic geometry, groupoids, and integrable systems : Seminare sudrhodanien de geometrie May 22-June 2, 1989, Berkeley(Ca) / Ed.: P. Dazord, A. Weinstein, 1991. - XI,311 p. p. - Текст : непосредственный.Мовсисян Ю.М. Сверхтождества и сверхмногообразия в алгебрах / Ю.М.Мовсисян, 1990. - 232 с. - Текст : непосредственный.Горбунов В.А. Алгебраическая теория квазимногообразий / В.А.Горбунов, 1999. - 366 с. - Текст : непосредственный.
Показать все результатыХобби Д. Строение конечных алгебр / Д.Хобби,Р.Маккензи;Пер. с англ. К.В.Адаричевой и др.; Под ред. В.А.Горбунова, Ю.Л.Ершова, 1993. - 286 c. - Текст : непосредственный.Rutten J.J.M.M. A calculus of transition systems(towards universal coalgebra) / J.J.M.M.Rutten, 1995. - 25 p. - Текст : непосредственный.Rutten J.J.M.M. Universal coalgebra: a theory of systems / J.J.M.M.Rutten, 1996. - 55 p. - Текст : непосредственный.Русаков С.А. Алгебраические п-арные системы. Силовская теория п-арных групп / С.А.Русаков, 1992. - 264 с. - Текст : непосредственный.Мовсисян Ю.М. Сверхтождества и сверхмногообразия в алгебрах / Ю.М.Мовсисян, 1990. - 232 с. - Текст : непосредственный.Горбунов В.А. Алгебраическая теория квазимногообразий / В.А.Горбунов, 1999. - 366 с. - Текст : непосредственный.Diercks V. Kongruenzverbande von O-1 Gruppoiden mit Operatoren : Diss.:Mfiche / V.Diercks, 1991. - 73 мкфш. - Текст : непосредственный.McKenzie R. structure of decidable locally finite varieties / R.McKenzie,M.Valeriote, 1989. - VII,212 p. p. - Текст : непосредственный. Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных / Б.И.Плоткин, 1991. - 446 с. - Текст : непосредственный.Шеремет М.С. Неразложимые алгебры в квазимногообразиях частичных алгебр / М.С.Шеремет, 2001. - 26 с. - Текст : непосредственный.Шеремет М.С. Теоремы полноты для логики тождеств Эванса / М.С.Шеремет, 2001. - 12 с. - Текст : непосредственный.Гуров С.И. Элементы теории упорядоченных множеств и универсальной алгебры : Учеб. пособие / С.И.Гуров, 2002. - 100 с. - Текст : непосредственный.Пинус А.Г. Условные термы и их применение в алгебре и теории вычислений / А.Г.Пинус, 2002. - 238 с. - Текст : непосредственный.Бениаминов Е.М. Элементы универсальной алгебры и ее приложений в информатике : Учеб. пособие / Е.М.Бениаминов,Е.А.Ефимова, 2004. - 167 с. - Текст : непосредственный.Гуров С.И. Упорядоченные множества и универсальная алгебра (вводный курс) : учеб. пособие / С.И.Гуров, 2004. - 104 с. - Текст : непосредственный.Основы универсальной алгебры : Учеб. пособие / А.Г. Пинус, 2005. - 137 с. - Текст : непосредственный.Производные структуры универсальных алгебр / А. Г. Пинус, 2007. - 202 с. - Текст : непосредственный.Матвеев О.А. Универсальные алгебры в теории пространств аффинной связности, близких к симметрическим / О. А. Матвеев, Е. Л. Нестеренко, 2012. - 131 с. - Текст : непосредственный.Бунина Е.И. Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр / Е. И. Бунина, А. В. Михалев, А. Г. Пинус, 2015. - 360 с. - Текст : непосредственный.Виноградов Д.В. О теоретико-категорном обосновании ВКФ-метода / Д. В. Виноградов. - Текст : непосредственный // <19=девятнадцатая> Национальная конференция по искусственному интеллекту с международным участием, 11-16 октября 2021, Ростов-на-Дону - Таганрог. КИИ-2021 : труды конференции / Российская ассоциация искусственного интеллекта, Федеральный исследовательский центр "Информатика и управление" РАН, Московский физико-технический институт (национальный исследовательский университет), Южный федеральный университет. - Ростов-на-Дону ; Таганрог : Изд-во Южного федерального ун-та, 2021. - с. 139-148
Показать все результатыЗаказ фрагмента документа ₽