Полное описание
> Бунина, Е. И. Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр / Е. И. Бунина, А. В. Михалев, А. Г. Пинус. - М. : Изд-во МЦНМО, 2015. - 360 с. - Библиогр.: с. 335-357 (426 назв.). Предм. указ.: с. 358-360. - 500 экз. - Текст : непосредственный.
Рубрики: Моделей теория (матем.)
Алгебры
Алгебры универсальные
Доп. точки доступа: Михалев, А.В.
Пинус, А.Г.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-15/21789)>
Шифр в сводном ЭК: 667849608e1039ca5681ca1b3a27d622
Advanced studies in mathematics and mechanics. Вып. 2 : Абелевы группы и их кольца эндоморфизмов / П. А. Крылов, А. В. Михалев, А. А. Туганбаев, 2006. - 512 с. - Текст : непосредственный. Пинус А.Г. Производные структуры универсальных алгебр / А. Г. Пинус, 2007. - 202 с. - Текст : непосредственный. Бунина Е.И. Автоморфизмы и элементарная эквивалентность групп Шевалле и других производных структур : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / Е. И. Бунина, 2010. - 32 с. - Текст : непосредственный. Пинус А.Г. Основные понятия высшей алгебры / А. Г. Пинус, А. В. Чехонадских, 1997. - 61 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Михалев А.В. Разработка и исследование технологических параметров установки непрерывного литья и деформации для производства стальных полос : 05.02.09 - Технологии и машины обработки давлением: автореферат диссертации на соискание ученой степени кандидата технических наук / А. В. Михалев, 2019. - 23 с. - Текст : непосредственный. Крылов П.А. Связи абелевых групп и их колец эндоморфизмов / П.А. Крылов, А.В. Михалев, А.А. Туганбаев, 2002. - 451 с. - Текст : непосредственный. Пинус А.Г. Основы универсальной алгебры : Учеб. пособие / А.Г. Пинус, 2005. - 137 с. - Текст : непосредственный. Бунина Е.И. Элементарная эквивалентность линейных и алгебраических групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. И. Бунина, 2001. - 12 с. - Текст : непосредственный. Михалев А.В. Экспериментальное исследование нестационарных излучающих процессов в ионосферной и лабораторной плазмах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:04.00.22 / А. В. Михалев, 1995. - 19 с. - Текст : непосредственный. Пинус А.Г. Условные термы и их применение в алгебре и теории вычислений / А.Г.Пинус, 2002. - 238 с. - Текст : непосредственный. Ивлева А.М. Основы алгебры и аналитической геометрии : Учебник / А. М. Ивлева, А. Г. Пинус, А. В. Чехонадских, 2003. - 269 с. - Текст : непосредственный. Михалев, А. А. Начала алгебры : Учеб. пособие. Ч. 1 : Алгебраические структуры, комплексные числа, системы линейных уравнений, матрицы, определители матриц, линейные пространства и линейные отображения, 2005. - 258 с. - Текст : непосредственный. Бунина Е.И. Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр / Е. И. Бунина, А. В. Михалев, А. Г. Пинус, 2015. - 360 с. - Текст : непосредственный. Лехов О.С. Установка совмещенного процесса непрерывного литья и деформации для производства листов из стали для сварных труб. Теория и расчет / О. С. Лехов, А. В. Михалев, 2017. - 150 с. - Текст : непосредственный. Михалев А.В. Гидродинамика псевдоожиженного слоя и ее влияние на эффективность и экологичность процесса совместного сжигания антрацитового штыба и биогранул : автореф. дис. .. канд. техн. наук: 05.17.08, 05.14.04 / А. В. Михалев, 2007. - 18 с. - Текст : непосредственный. Пинус А.Г. Векторная алгебра и линейная геометрия : Учеб. пособие для студентов 1 курса всех фак. / А.Г.Пинус, 1997. - 63 с. - Текст : непосредственный. Исследование процессов псевдоожижения и горения агрогранул применительно к теплогенераторам зерносушилок / Р.Л. Исьёмин, С.Н. Кузьмин, А.В. Михалев и др. - Текст : непосредственный // Промышленная энергетика. - М. - 2010. - № 7. - с. 46-50 Михалев А.В. Компьютерная алгебра. Вычисления в дифференциальной и разностной алгебре / А.В.Михалев,Е.В.Панкратьев, 1989. - 97 c. - Текст : непосредственный. Басс Х. Алгебраическая K-теория / Х. Басс; пер. с англ. А. В. Михалева; под ред. Е. С. Голода, 1973. - 591 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный. Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный. Показать все результаты Гиберт К.Я. F-алгебры. Геометрии n-цепей. Функции от элементов алгебр : учебное пособие / К. Я. Гиберт, 2009. - 106 с. - Текст : непосредственный. Филиппов В.Т. Ниль-элементы индекса 2 в алгебрах Мальцева / В. Т. Филиппов, 1996. - 18 с. - Текст : непосредственный. Шеремет М.С. Неразложимые алгебры в квазимногообразиях частичных алгебр / М. С. Шеремет, 2001. - 26 с. - Текст : непосредственный. Karpilovsky G. Incluced modules over group algebras / G. Karpilovsky, 1990. - XI,364 p. p. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. McKenzie R. structure of decidable locally finite varieties / R. McKenzie, M. Valeriote, 1989. - VII,212 p. p. - Текст : непосредственный. Ермолаев Е.А. Ассоциативные алгебры в теории классических полей / Е. А. Ермолаев, 2008. - 186 с. - Текст : непосредственный. Muller J. Zerlegungszahlen fur generische Iwahori-Hecke-Algebren von exzeptionellem Typ / J. Muller, 1995. - 198 S. - Текст : непосредственный. Пинус А.Г. Производные структуры универсальных алгебр / А. Г. Пинус, 2007. - 202 с. - Текст : непосредственный. Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин, 1991. - 446 с. - Текст : непосредственный. Maanen H.A.N.van Axioms for No-categorical orderings / H. A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Душенин Д.И. Абелевы Р-группы и автоустойчивость относительно оракула : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Д. И. Душенин, 2013. - 14 с. - Текст : непосредственный. Ромина А.В. Автоустойчивость и представимость моделей в допустимых множествах : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Ромина, 2001. - 8 с. - Текст : непосредственный. Бунина Е.И. Автоморфизмы и элементарная эквивалентность групп Шевалле и других производных структур : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / Е. И. Бунина, 2010. - 32 с. - Текст : непосредственный. Фокина Е.Б. О тьюринговой сложности классов моделей и теорий : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. Б. Фокина, 2008. - 15 с. - Текст : непосредственный. Maanen H.A.N.van Axioms for No-categorical orderings / H. A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Когабаев Н.Т. Вычислимые представления проективных плоскостей / Н. Т. Когабаев, 2017. - 27 с. - Текст : непосредственный. Стрыгин В.З. Теория моделей / В. З. Стрыгин, 2018. - 50 с. - Текст : непосредственный. Птахов Д.О. Полигоны с примитивно-нормальными и P -стабильными теориями / Д. О. Птахов, 2018. - 19 с. - Текст : непосредственный. Марчук М.И. Определимость и индексные множества моделей автоустойчивых относительно сильных конструктивизаций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / М. И. Марчук, 2016. - 23 с. - Текст : непосредственный. Попков Р.А. Классификация счетных моделей полных теорий с континуальным числом типов : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Р. А. Попков, 2015. - 20 с. - Текст : непосредственный. Algebra and model theory 9 : collection of papers / Ed. A. G. Pinus, 2013. - 168 p. - Текст : непосредственный. Бунина Е.И. Элементарная эквивалентность линейных и алгебраических групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. И. Бунина, 2001. - 12 с. - Текст : непосредственный. Algebra and model theory : Collection of papers / Novosibirsk state technical university. 3, 2001. - 162 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽