ЗАСЕДАНИЯ семинара "Алгебра и логика"
за 2024 г.

2254-е заседание. 13 февраля 2024 г.

А. Ю. НИКИТИН (Омск). Алгебраическая геометрия и алгоритмы в классе частично упорядоченных множеств (кандидатская диссертация).
А. А. ТАРАНЕНКО. Трансверсали в латинских квадратах и гиперкубах.

2255-е заседание. 20 февраля 2024 г.

А. С. ВАСИЛЬЕВ (Тюмень). Надгруппы примарных подгрупп в группах, близких к простым (кандидатская диссертация).
С. В. СКРЕСАНОВ. Об одном обобщении теоремы Брауэра-Фаулера.

2256-е заседание. 27 февраля 2024 г.

Джиган ВАН (Хайкоу, Китай), Венбин ГО (Хайкоу, Китай), Д. В. ЛЫТКИНА, В. Д. МАЗУРОВ. О периодических группах, насыщенных конечными простыми симплектическими группами.
Н. С. РОМАНОВСКИЙ. Алгебраические замыкания в делимых жёстких группах.

2257-е заседание. 9 апреля 2024 г.

Н. С. РОМАНОВСКИЙ. Об элементарной теории пополнения разрешимой группы Баумслага-Солитера.

2258-е заседание. 23 апреля 2024 г.

Ф. А. ДУДКИН. Обобщённые группы Баумслага-Солитера, универсально эквивалентные древесным.
А. С. МОРОЗОВ. Об отображениях с коперечислимыми графиками.

2259-е заседание. 7 мая 2024 г.

К. Ж. КУДАЙБЕРГЕНОВ (Алма-Ата, Казахстан). О числе счетных моделей полной теории и ее несущественного расширения.

2260-е заседание. 11 июня 2024 г.

H. L. MARIANO, J. F. SCHWARZ (Santo Andre, Brasil) Gelfand-Kirillov conjecture as a first-order formula.
М. И. КУДРЯШОВА. H-собранные пространства.


2261-е заседание. 18 июня 2024 г.

А. А. ГАЛЬТ. Свойство расщепляемости подгрупп в группах лиева типа (докторская диссертация).
А. А. ШЛЕПКИН (Красноярск). О локально конечных группах, содержащие конечные прямые произведения конечных групп диэдра.

Сессия расширенных заседаний семинара в рамках конференции "Мальцевские чтения"
(11-15 ноября 2024 г.)

2262-е заседание.11 ноября 2024 г. Пленарное заседание.

С. С. Гончаров. Academician A. I. Maltsev and his role in the development of mathematics.
Л. Д. Беклемишев (Москва). Topological interpretation of provability logic.
А. В. Васильев. The structure of a finite group and the orders of its elements.
А. Я. Белов (Москва). Specht type problems for universal algebras.

2263-е заседание. 11 ноября 2024 г. Секция алгебро-логических методов в ИТ.

С. А. Афонин (Москва). Построение реалистичных палеогеографических карт методами комбинаторной оптимизации.
А. В. Нечесов. Verifying the correctness of logical reasoning in large language models.
К. Ю. Болотов. Разработка веб-интерфейса для системы планирования тренировочных программ по плаванию.
Т. С. Ильиных. Оптимальное нахождения коэффициентов разложения целевой функции на юнит-сценарии.
Е. А. Лазорский, А. А. Зыкова. Проектирование базы знаний и поискового алгоритма для информационного портала консультационной группы факультета.
И. Моторин, С. Ивченко, А. Максимов. ZooML: Animal Detection.
А. М. Романов. О ранге нелинейных квазисовершенных кодов над конечными полями.
А. Д. Селенев. Разработка веб-интерфейса и проектирование рекомендательного модуля для сервиса оптимизации процесса выбора научной траектории студента.
С. В. Трушков. Разработка серверной части приложения для планирования программ тренировок по плаванию.
О. В. Вебер. Использование конечных автоматов при асинхронной обработке задач.
М. С. Богданов. Проектирование архитектуры и разработка OLTP базы данных для сервиса оптимизации процесса выбора научной траектории студента.
В. С. Миронов. Методы извлечения эмоций из текстов естественного языка на основе семантических технологий и глубокого машинного обучения.
А. А. Шишкин. Разработка автоматизированных методов поиска противоречий в документах с использованием онтологического моделирования и машинного обучения.
И. С. Немцев. Разработка системы для автоматизации процессов планирования и контроля задач на кафедре.
Э. Б. Митупов. Разработка автоматизированных методов выявления эмоций в диалоге.

2264-е заседание. 11 ноября 2024 г. Секция неклассических логик и универсальной алгебры.

С. О. Сперанский (Москва). О проблеме разрешения для перво-порядковых вероятностных логик.
С. И. Башмаков (Красноярск), Т. Ю. Зверева (Красноярск), А. А. Поляков (Красноярск). Логики ступенчатого времени.
Д. М. Анищенко. О модальных напарниках расширений логики $\mathbf{N4}^{\bot}$.
Л. В. Дворкин (Москва). О нормальных модальных логиках, точно интерпретируемых в K, GL, S4 и Grz.
Н. А. Проценко (Красноярск), В.В. Рыбаков (Красноярск). Мульти-линейные модальные логики с оператором полу-надежной информации.
А. Е. Изъюрова. Квазимногообразие $\mathbf{S}\mathbf{P}(M_3)$.

2265-е заседание. 11 ноября 2024 г. Секция теории вычислимости.

А. Аскарбеккызы (Алма-Ата, Казахстан). Note on the structure of linear orders with respect to computable reducibility.
П. Е. Алаев. Abstract classes of algorithmic complexity.
Р. Р. Багавиев (Казань). Критерии полноты для сводимостей табличного типа.
Н. А. Баженов, М. И. Марчук, М. Фьори-Каронес (Италия). Элементарная вложимость для простых и насыщенных моделей относительно сводимости по Вайрауху.
Н. А. Баженов, М. Мустафа (Астана, Казахстан). On learning families of ideals in upper semilattices.

2266-е заседание. 11 ноября 2024 г. Секция тории моделей и универсальной алгебры.

А. Т. Нуртазин, К. М. Туленбаев. Экзистенциально замкнутые абелевы группы.
И. О. Тунгушбаева, О. И. Ульбрихт. On theories with amalgamation and joint embedding properties (дистанционный доклад).
А. Р. Ешкеев, A. Р. Яруллина, С. M. Аманбеков. On normal Jonsson strongly minimal theory (дистанционный доклад).
А. Р. Ешкеев, A. Р. Яруллина, M. T. Кассыметова. On semantic Jonsson quasivariety of unars in the expanded signature (дистанционный доклад).
А. Р. Ешкеев, Г. E. Жумабекова, A. K. Кошекова. The connection of stability and perfectness in the Jonsson theories (дистанционный доклад).
О. И. Ульбрихт, Н. М. Мусина, И. О. Тунгушбаева. Совершенность и нормальность гибрида фиксированных фрагментов почти йонсоновских множеств (дистанционный доклад).
В. Л. Селиванов. L, L1, and Wadge reducibility.

2267-е заседание. 11 ноября 2024 г. Секция теории групп и её приложений.

А. С. Кондратьев (Екатеринбург), Н. А. Минигулов (Екатеринбург). On finite non-solvable groups whose Gruenberg-Kegel graphs are isomorphic to the paw.
М. А. Гречкосеева. On recognition of direct products of simple groups with abelian Sylow 2-subgroups by spectrum.
В. М. Родионов. Порядки элементов почти простых групп с ортогональным цоколем.
Д. О. Ревин. О простых спектрах подгрупп, порожденных сопряженными унипотентными элементами, в конечных простых группах лиева типа.
В. Д. Шепелев. Конечные простые группы лиева типа ранга 1, удовлетворяющие сильной $\pi$-теореме Силова.
Б. Е. Дураков (Красноярск). Об условиях конечности в группах, порожденных элементами порядка 3.
Г. К. Рябов. On Burnside-Schur groups.
И. Ю. Могильных, В. Р. Данилко. Some binary codes from Hamming distance matrices.
И. Ю. Могильных, А. Ю. Васильева. On completely regular codes in the multidimensional rectangular grid.

2268-е заседание. 11 ноября 2024 г. Секция теории колец.

В. Н. Желябин. Почти бесконечномерные йордановы алгебры самосопряженных элементов С*-алгебр. А. П. Пожидаев. Изоморфизмы прелиевых дублей Витта. К. М. Туленбаев (Алма-Ата, Казахстан). О простоте алгебр с переключателями. А. С. Панасенко. Операторы Роты-Бакстера ненулевого веса на алгебре Кэли-Диксона. М. Е. Гончаров. Формальное интегрирование нильпотентных алгебр Ли с оператором Роты-Бакстера. Б. Сартаев (Алма-Ата, Казахстан). Многообразие бинарных perm-алгебр.

2269-е заседание. 12 ноября 2024 г. Пленарное заседание.

М. Г. Перетятькин (Алма-Ата, Казахстан). The expressive power of first-order logic.
М. М. Арсланов (Казань). Structural and complexity properties of Turing degrees of unsolvability.
В. Л. Попов (Москва). Relationship between algebra and geometry of algebraic groups.
А. В. Степанов (Санкт-Петербург). On subgroups of Chevalley groups over rings.

2270-е заседание. 12 ноября 2024 г. Секция алгебро-логических методов в ИТ.

В. П. Голубятников, А. В. Глубоких. Bistability in gene networks models.
В. А. Киреев. Разработка методов обработки естественного языка для проведения автороведческих экспертиз.
Э. Ю. Ахмедов. Анализ тональности текстов с использованием нейронной сети и нечеткой теории.
К. В. Егоренко, К. П. Кондренко. Разработка индивидуального помощника для подбора косметических средств.
Д. М. Ланин. Разработка сервиса выделения видеофрагмента по текстовой информации.
В. И. Саранин. Персонализированная система рекомендаций скриптов в Adobe After Effects.
А. А. Суркова. Разработка алгоритма оценки стоимости б/у мобильных телефонов на основе ассоциативных правил.
С. Ж. Тлеубаев. Разработка мобильного приложения с аппаратным дополнением для групповых велопоездок.
А. А. Шапатин. Разработка структуры данных для ускорения выполнения запросов к базе данных RocksDB.
М. Ю. Полухин. Разработка децентрализованного p2p чата для обеспечения безопасности и конфиденциальности сообщений.

2271-е заседание. 12 ноября 2024 г. Секция неклассических логик и универсальной алгебры.

С. В. Гусев (Екатеринбург). Малые моноиды, порождающие многообразия с несчетным числом подмногообразий.
Г. Э. Яхъяева Об аксиоматизации классов нечетких моделей.
А. В. Грефенштейн (Москва). Кванторные версии логик Хальперна для рассуждений о знании и вероятности.
И. Г. Козичев (Москва), А .В. Кудинов (Москва). Модальные логики дверных пространств в расширенных языках.

2272-е заседание. 12 ноября 2024 г. Секция теории вычислимости.

Н. А. Перязев (Иркутск). (Пленарный доклад на секции) Некоторые вопросы теории мультиопераций.
Н. А. Баженов, И. Ш. Калимуллин (Казань). Примитивно рекурсивные степени и пунктуальная категоричность алгебраических структур.
М. В. Зубков (Казань), Ф. Ибрагимов (Ташкент, Узбекистан), М. М. Ямалеев (Казань). Представления групп над локально негативными эквивалентностями.
В. С. Исаков. О свойствах вычислимых булевых алгебр с выделенными подалгебрами.
Н. Т. Когабаев. Complexity of the problem of $\forall$-representability for sentences.

2273-е заседание. 12 ноября 2024 г. Секция тории моделей и универсальной алгебры.

Н. В. Попова, С. М. Аманбеков. The properties of 1-model companions of Jonsson sets in normal Jonsson theory.
T. Омарова, С. М. Аманбеков. 1-perfectness of fragments of normal Jonsson theory.
В. В. Вербовский, А. Б. Даулетиярова. О понятии о-минимальности для частичных порядков на примере плотного дерева встреч.
Б. Ш. Кулпешов. On algebras of binary formulas for weakly circularly minimal theories: equivalence relations.
А. Б. Алтаева, Б. Ш. Кулпешов. On algebras of binary formulas for weakly circularly minimal theories: monotonic-to-left case.
Б. Ш. Кулпешов, И. И. Павлюк, С. В. Судоплатов. On approximations by strongly minimal theories.
И. Б. Кожухов, Д. С. Храмченок. Об аксиоматизируемости класса подпрямо неразложимых полигонов над группой (дистанционный доклад).
Н. А. Перязев, С. И. Тодиков. Алгебраическое и логическое замыкания в теории мультиопераций (дистанционный доклад).

2274-е заседание. 12 ноября 2024 г. Секция теории групп и её приложений.

Т. А. Козловская (Томск). Linear representations of singular braid groups (Линейные представления сингулярных групп кос).
М. Э. Иванов. Циклическая упорядочиваемость и группы виртуальных узлов.
П. П. Соколов. Об инварианте виртуальных узлов.
К. В. Зимирева. Linear representation of cactus groups (Линейные представления группы кактусов).
А. Л. Искра. Порядки произведений транспозиций классов целых чисел.
В. Г. Бардаков. On a group which is generated by 3 involutions (О группе, которая порождается 3 инволюциями).
А. А. Шлепкин (Красноярск). О группах, насыщенных группами диэдра.
К. А. Филиппов (Красноярск), А. К. Шлепкин (Красноярск). О локально конечных группах насыщенныхпрямыми произведениями полудиэдральных групп.
Birama Sangare. Automorphisms and antiautomorphisms of quandles (Автоморфизми и антиавтоморфизмы квандлов).

2275-е заседание. 12 ноября 2024 г. Секция теории колец.

А. В. Кислицин (Барнаул). Об экстремальных L-многообразиях.
А. Ф. Ходзицкий. Однородные мономиальные операторы усреднения.
Г. К. Соколова. Форма Смита для сопровождающей матрицы суперпозиции двух полиномов.
Е. В. Журавлев (Барнаул), О. А. Филина (Барнаул). О классификации конечных колец характеристики $p^2$.
Д. М. Добрицын (Москва). Субэкспоненциальные оценки в теореме Ширшова о высоте.
И. А. Гайнова. Алексей Тимофеевич Гайнов – к 95-летию со дня рождения.

2276-е заседание. 13 ноября 2024 г. Пленарное заседание.

В. Ю. Губарев. Rota-Baxter operators and their connections. Н. Х. Касымов (Ташкент, Узбекистан). Separable numberings of models. Я. Н. Нужин (Красноярск). Generating sets of involutions of almost simple groups and their applications. Н. В. Маслова (Екатеринбург). On Gruenberg--Kegel graphs of finite groups.

2277-е заседание. 13 ноября 2024 г. Секция алгебро-логических методов в ИТ

В. С. Авдеев. Разработка клиент-серверного приложения для задачи распознавания и классификации изображений животных.
Д. А. Клюс. Разработка системы машинного обучения на основе Wav2Vec2 для решения логопедических задач.
Е. М. Сыроежкин. Клиент инструмента для визуализации и анализа работы GC в JVM.
Т. А. Шальнев. Система встраивания формального описания процессорных инструкций в кодогенерацию двоичного транслятора.
А. А. Гудков. Проектирование мобильного приложения для организации экологических акций.
А. Третьяков. Парсинг логического выражения с помощью дерева синтаксического разбора.
А. О. Зайцев. Методы разработки интеллектуальных помощников, основанные на онтологическом моделировании предметных областей.
С. И. Чернявцева. Разработка интеллектуального помощника для автоматизации документооборота кафедры.
О. Д. Пальчунова. Разработка модели пользователя для рекомендаций в приложение с рецептами.
Я. С. Завороткина. Разработка методов автоматического формирования документов кафедры с использованием адаптивных шаблонов.
С. Е. Камкина. Разработка методов выявления потребностей и намерений пользователя для создания интеллектуальных помощников.
А. А. Сибирякова. Разработка интеллектуального помощника для поддержки принятия решений в сфере строительства.
В. О. Малышев. Разработка базы знаний о компьютерных товарах с автоматическим обновлением информации из внешних источников.
С. В. Мясоедов. Разработка отказоустойчивого программного комплекса и интеграция с ним предварительно оптимизированной нейронной сети по идентификации диких животных.

2278-е заседание. 13 ноября 2024 г. Секция неклассических логик и универсальной алгебры

Е. В. Борисов, И. И. Мухаметшина (Томск). Табличная и секвенциальная теория доказательств для $CWPL$.
М. И. Кудряшова. Об H-собранных пространствах.
М. В. Швидефски. О квази-эквациональных базисах.
М. Н. Рыбаков (Москва), Д. А. Серова (Москва). Неразрешимые фрагменты расширений предикатной логики Гёделя-Дамметта.
А. А. Оноприенко (Москва), М. Н. Рыбаков (Москва). Сложность логики $HC$ с одной переменной.
К. В. Грекович (Красноярск). Кластерная логика и достоверность информации.

2279-е заседание. 13 ноября 2024 г. Секция теории вычислимости

М. В. Коровина, О. В. Кудинов. Arithmetical complexity for order positive fields(Арифметическая сложность для полей с позитивными порядками).
Б. С. Калмурзаев (Алма-Ата, Казахстан), Н. А. Баженов, К. М. Нг (Сингапур), С. А Бадаев (Алма-Ата, Казахстан), С. С. Гончаров. Мощности полурешеток Роджерса семейств иерархии Ершова.
В. Л. Селиванов (Санкт-Петербург). On natural degrees of unsolvability.
А. В. Селиверстов (Москва). О полурекурсивных множествах.
А. В. Слобожанин. Полурешетки Роджерса семейств функций начальных уровней иерархии Гжегорчика.

2280-е заседание. 13 ноября 2024 г. Секция тории моделей и универсальной алгебры

С. В. Судоплатов. Axioms for spherical orders and their dependencies.
Т. Э. Ражабов, С.В. Судоплатов. On preservations of properties.
Д. Ю. Емельянов. О алгебрах бинарных изолирующих формул для теорий декартовых произведений графов-звезд.
А. В. Васенёва. Ранги эквациональности в теориях графов.
С. Б. Малышев. Наследуемость типов предгеометрий их композицией.
А. А. Степанова (Владивосток), Е. Л. Ефремов (Владивосток), С. Г. Чеканов (Владивосток). On T-pseudofinite acts over abelian groups.
Е. Л. Ефремов, Ш. К. Обидова. Полнота класса конгруэнц-перестановочных унаров (дистанционный доклад).
И. A. Сахаров. Степени семантической и синтаксической жёсткости унаров (дистанционный доклад).

2281-е заседание. 13 ноября 2024 г. Секция теории групп и её приложений

А. И. Будкин (Барнаул). О сложности решетки квазимногообразий 3-нильпотентных групп.
С. А. Шахова (Барнаул). О классах Леви квазимногообразий нильпотентных групп.
М. Г. Амаглобели (Тбилиси, Грузия), Т. З. Бокелавадзе (Кутаиси, Грузия), А. Г. Мясников (Хобокен, США). Свободные 2-ступенно нильпотентные R-группы.
А. Н. Бородин (Горно-Алтайск), М. В. Нещадим, А. А. Симонов. Групповые биекции, перестановочные с внутренними автоморфизмами.
С. В. Скресанов. Экспандеры и рост нормальных подмножеств в группах лиева типа.
Ф. А. Дудкин. Проблема изоморфизма $GBS_n$ групп с центром.
И. Е. Девяткова (Москва). Semigroup approach to admissible representations of the infinite symmetric group.
А. В. Грешнов. About horizontal joinability on Engel group.
Я. А. Копылов. The first Orlicz cohomology of some discrete groups.

2282-е заседание. 13 ноября 2024 г. Секция еории колец

А. В. Попов (Ульяновск). Устойчивые идеалы тождеств неассоциативных алгебр.
С. С. Коробков (Екатеринбург). Решёточная определяемость конечных матричных колец.
А. С. Монастырева (Барнаул). Сильные вершины сжатого графа делителей нуля.

2283-е заседание. 14 ноября 2024 г. Пленарное заседание

В. И. Зенков (Екатеринбург). The intersection of hall subgroups in finite D-groups. А. А. Бутурлакин. Locally finite groups of finite q-dimension. С. Л. Кузнецов (Москва). Substructural logics with Kleene star. М. Х. Файзрахманов (Казань). On minimal computable and generalized computable numberings.

2284-е заседание. 14 ноября 2024 г. Секция алгебро-логических методов в ИТ

Д. Е. Пальчунов. Логико-семантические методы создания цифровых заместителей.
П. А. Сазонова. Четырехуровневая модель представления знаний для управления городской средой.
В. Н. Алеева (Челябинск). Принципы организации систем автоматизированного проектирования эффективных программ на основе логического анализа численных алгоритмов.
А. Г. Галиева (Лиссабон, Португалия). Разработка методов автоматизации анализа рисков с помощью теории нечетких моделей и анализа прецедентов.
А. А. Зыкова. Проектирование цифрового помощника секретаря кафедры с применением теоретико-модельных методов.
Б. Б. Базаров. Разработка сервиса для генерации персонализированных мелодий на основе анализа эмоционального содержания изображений.
В. Д. Долгушин. Разработка программной системы автоматической фильтрации экстремистских текстов.
Н. Д. Колесников. Разработка алгоритма обнаружения логопедических ошибок в произношении слов.
Т. А. Трубинов, М. А. Цуканов. Разработка эвристического алгоритма планирования расписания учебного заведения.
Е. Д .Малаева. Интеграция тесных кванторов в систему проверки согласованности экспертных оценок.
А. А. Китов. Проектирование модуля выполнения бизнес-процессов для программной системы автоматизации бизнес-процессов кафедры.
М. Д. Меньшиков. Проектирование модуля мониторинга документооборота для программной системы автоматизации бизнес-процессов кафедры.
А. К. Назаров. Проектирование клиентской части для программной системы автоматизации бизнес-процессов кафедры.
М. Ю. Сартаков. Проектирование базы знаний для программной системы автоматизации бизнес-процессов кафедры.
Г. В. Винокуров. Исследование методов повышения степени сжатия сейсмических данных без потерь.
Ч. А. Найданов. Формализация ситуаций бизнес-процессов при помощи частичных моделей.

2285-е заседание. 14 ноября 2024 г. Секция неклассических логик и универсальной алгебры

М. Е. Вишникин (Москва), А.С. Охотин (Санкт-Петербург). Категориальные грамматики с однозначным присвоением категорий.
В. Л. Усольцев (Волгоград). О соотношениях между теориями автоматов в многообразиях, алгебрах с операторами и действиями над полугруппами.
С. Э. Исомиддинов. Тождества, истинные на решетках предпорядков.
Л. Л. Максимова, В. Ф. Юн. Пример логик с интерполяционным свойством CIP, сумма которых не имеет CIP.
С. П. Одинцов. Модальное представление паранепротиворечивой равновесной логики.
М. А. Арапбай (Астана, Казахстан), А. М. Асанбеков (Бишкек, Кыргызстан), А. О. Башеева (Астана, Казахстан). О не конечно-базируемых квазимногообразиях модулярных решеток.

2286-е заседание. 14 ноября 2024 г. Секция теории групп и её приложений

В. В. Кораблева (Челябинск), А. С. Кондратьев (Екатеринбург), В. И. Трофимов (Екатеринбург). О главных факторах параболических максимальных подгрупп конечных простых групп исключительного лиева типа.
Р. И. Гвоздев (Красноярск), Я. Н. Нужин (Красноярск), Т. С. Петруть (Красноярск), А. М. Соколовская (Красноярск). Минимальное число порождающих сопряженных инволюций, произведение которых равно 1, групп $P Sp_4(q)$.
Р. Ж. Алеев (Челябинск). Единицы целочисленных групповых колец циклических групп порядков $4p$, где $p\geqslant 5$ - простое число.
М. Р. Зиновьева (Екатеринбург). Существование спорадического композиционного фактора, изоморфного $J_2$, $M cL$ и $HS$, в некоторых конечных группах с условием на граф простых чисел.
В. И. Мурашко (Гомель, Белоруссия), А. Ф. Васильев (Гомель, Белоруссия). Об $\mathfrak{F}$-длине взаимно перестановочного произведения двух подгрупп конечных групп.
А. В. Рожков (Краснодар). Периодические $n$АТ-группы.
О. Ю. Дашкова (Севастополь), О. А. Шпырко (Севастополь). О группах конечного нормального неабелева ранга.
Р. В. Скуратовский (Киев,Украина). Subwreath product as structure of normal subgroups of permutational wreath products (Подсплетения как структуры нормальных подгрупп подстановочных сплетений).
Е. В. Соколов (Иваново). Об аппроксимируемости относительно сопряженности обобщенных групп Баумслага-Солитэра.
В. С. Сенашов (Красноярск). О характеризации группы $A_5$ в классе всех групп.

2287-е заседание. 15 ноября 2024 г. Пленарное заседание.

А. Г. Мясников (Нью-Джерси, США). Nonstandard group theory.
Д. В. Лыткина. Periodic Frobenius groups.
Б. М. Хусаинов (Ченьду, Китай). Automatic word structures.

Начальная страница

Информация

Содержание

Заседания семинара

Значок семинара

Для авторов

Подписка

Коуровская тетрадь

Новости фонда

История нашего коллектива

Институт математики

Новосибирский гос. университет