КАФЕДРА АЛГЕБРЫ И МАТЕМАТИЧЕСКОЙ ЛОГИКИ

Кафедра алгебры и математической логики НГУ создана в 1960 году.

Основатель кафедры и первый заведующий - академик А.И.Мальцев. Затем кафедрой руководил чл.-корр. АН СССР М.И.Каргаполов. Одним из "отцов" кафедры являлся также чл.-корр. АН СССР А.И.Ширшов. С 1977 года кафедрой руководит ее выпускник академик РАН Ю.Л.Ершов.

Специализация по алгебре и математической логике ведется с 1963 года. Основные направления, которыми занимаются сотрудники кафедры - математическая логика и теория моделей, общие алгебраические системы, теория групп и теория колец.

Кафедра сотрудничает с коллегами из вузов Сибири и Дальнего Востока. Ее выпускники, а также выпускники целевой аспирантуры НГУ работают на кафедрах в Омском, Алтайском, Кемеровском, Тюменском, Иркутском университетах, Новосибирском государственном техническом университете и педагогическом университете, а также в вузах Сибири и Дальнего Востока: Петропавловска-Камчатского, Владивостока, Якутска, Хабаровска, Новокузнецка, Челябинска, Красноярска. Традиционно значительны связи с вузами Казахстана - Казахским, Карагандинским, Восточно-Казахстанским и другими.

С 1963 года кафедра подготовила около 300 молодых специалистов, из них впоследствии около 130 стали кандидатами наук, более 30 - докторами наук.

Восемь выпускников кафедры удостоены медали Министерства высшего и среднего специального образования СССР "За лучшую студенческую научную работу года":

Л.Максимова (1963/64),
С.Сыскин (1969/70),
И.Шестаков (1971/72),
Г.Носков (1972/73),
А.Будкин (1973/74),
В.Харченко (1974/75),
Е.Хухро (1975/76, 1977/78),
А.Корюкин (1984/85).

С 1963 года сотрудники кафедры выпустили следующие монографии, учебные пособия и сборники задач:

А.И.Мальцев, Алгоритмы и рекурсивные функции, М., Наука, 1965.
А.И.Мальцев, Алгебраические системы, М., Наука, 1970.
А.И.Кокорин, В.М.Копытов, Линейно упорядоченные группы, М., Наука, 1972.
М.И.Каргаполов, Ю.И.Мерзляков, Основы теории групп, 3-е изд., М., Наука, 1982 (три издания в СССР за 10 лет, переведена в серии "Graduate Texts in Mathematics" в 1979 г., в Польше дважды, на французском языке издательством "Мир", в Китае на англ.).
К.А.Жевлаков, А.М.Слинько, И.П.Шестаков, А.И.Ширшов, Кольца, близкие к ассоциативным, М., Наука, 1978 (переведена на англ. изд-вом "Academic Press" в 1982 году).
И.А.Лавров, Л.Л.Максимова, Задачи по теории множеств, математической логике и теории алгоритмов, М., Наука, 1975, 1984 (два издания за 10 лет, в 1988 году переведена в Венгрии).
Ю.Л.Ершов, Теория нумераций, М., Наука, 1977.
Ю.Л.Ершов, Е.А.Палютин, Математическая логика, уч. пособие для университетов, два изд., М., Наука, 1979, 1987 (переведено на англ. изд. "Мир" в 1984 г., на исп. в 1990 г.).
Ю.Л.Ершов, Проблемы разрешимости и конструктивные модели, М. Наука, 1980.
В.М.Копытов, Решеточно упорядоченные группы, М., Наука, 1984.
С.С.Гончаров, Счетные булевы алгебры, Новосибирск, Наука, 1988.

Принята к изданию в издательстве Gluver Academic Publisher монография В.М.Копытова и Н.Я.Медведева "The Theory of Lattice Ordered Groups".

Кафедра издала также несколько методических разработок, показавших несомненную пользу в освоении трудного учебного материала:

Е.Н. Кузьмин, Методические указания к курсу "Алгебра" (курс теории Галуа), Новосибирск, НГУ, 1985.
В.А.Чуркин, Жорданова классификация конечномерных линейных операторов, Новосибирск, НГУ, 1991.
В.Я.Блощицын, А.А.Викентьев, Д.А.Захаров, Задачи по теории чисел, Новосибирск, НГУ, 1993.

С целью лучшего усвоения курсов математической логики, теории алгоритмов и рекурсивных функций, теории чисел созданы и используются активно обучающие программные разработки. Идет работа над созданием такой разработки по курсу алгебры.