Сообщение о конференции

Регистрационная форма

Участники

Тезисы докладов

Программа

Полезная информация

Предыдущие конференции

Мальцевские чтения

Новосибирск, 16-19 ноября 2000


Секции

На конференции будет организована работа секций алгебры, математической логики и логических аспектов программирования

Секция алгебры

Конференц-зал

Абуталипова Ш. У. Проблема вхождения в суммы модулей над кольцом многочленов
Ашаева Ю. М. Алгебраические множества над абелевыми и нильпотентными группами без кручения и их координатные группы
Баулина Ю. Н. Об уравнении a1x12+...+ anxn2= bx1...xn в конечных полях
Баянова Н. В.
Медведев Н. Я.
Векторные решетки с двумя порождающими
Будкин А. И. О конечных решетках квазимногообразий групп
Гриншпон С. Я. О вполне транзитивных семействах абелевых групп
Колесников П. С.
Львов И. В.
Строение нижнего ниль-радикала ассоциативной конформной алгебры
Крылов П. А. Наследственные кольца эндоморфизмов смешанных абелевых групп
Левчук В. М. On pair intersections and weak factorizability of Sylow subgroups of finite simple groups
Нужин Я. Н. О (2*2,2)-порождаемости группы PSLn(Z)
Попов А. М. Об одном признаке непростоты групп
Попов В. Ю. О марковских свойствах многообразий нильполугрупп
Приходовский М. А. О некоторых изоморфизмах тензорных произведений колец и модулей
Ремесленников В. Н.
Есып Е. С.
Координатные группы алгебраических множеств систем уравнений от одной переменной для свободных произведений групп
Садовой Г. С. О группе автоморфизмов поля Галуа
Сафонов В. Г. К теории тотально локальных формаций конечных групп
Селькин В. М. Об одном вопросе теории формаций
Симонов А. А. Алгебраические системы, близкие к ассоциативным телам
Сулейманова Г. С.
Левчук В. М.
Нормальное строение присоединенной группы радикальных колец Rn(K,J)
Шпырко О. А.
Монахов В. С.
Нильпотентная p-длина p-разрешимой группы

Секция математической логики

Аудитория 417

Арсланов М. М.
Ашаев И. В. О свойствах рекурсивно перечислимых множеств в обобщенной вычислимости
Бадаев С. А. Спектр вычислимых минимальных нумераций семейств арифметических множеств
Васильев С. Н.
Жерлов А. К.
О конструктивном фрагменте исчисления по-задач
Григолиа Р. Ш.
Бежанишвили Г.
Subalgebras of the free cyclic Heyting algebra
Добрица В. П.
Жумаханова К. Н.
О конструктивизируемости прямых слагаемых конструктивных абелевых групп без кручения конечного ранга Прюфера
Калимуллин И. Ш. Свойства разложения в полурешетках n-р.п. степеней по перечислимости
Корольков Ю. Д.
Кузнецов А. М. Многомерные логики
Леонов М. Г. Классы конструктивных моделей с предельноэквивалентными индексациями
Мардаев С. И. Аксиоматизация модальных логик, связанных с определимостью неподвижных точек
Овчинникова Е. В. О полных классах регулярных полигонов над моноидами глубины 2
Стукачев А. И. S-допустимые семейства над линейными порядками
Судоплатов С. В. О генерических тригонометриях групп
Таласбаева Ж. Т. Вычислимые позитивные нумерации классов иерархии Ершова
Толстых В. А. Логическая сила групп автоморфизмов свободных структур
Шабунин Л. В. Об a-полноте функций k-значной логики
Шеремет М. С. Неразложимые алгебры в квазимногообразиях частичных алгебр
Яшин А. Д. Классификация полных по Новикову логик с дополнительными константами

Секция логических аспектов программирования

Аудитория 213

Бельтюков А. П. Емкостные иерархии конечных машин
Ломазова И. А. Вложенные сети Петри: семантический анализ и выразительность
Яхъяева Г. Э. Примеры размытых групп в лингвистике

Последнее изменение: 8 ноября 2000