Кокорин, Али Иванович

Родился 15 ноября 1929 года в Свердловске.

После окончания средней школы и военного училища служил офицером морской пехоты в г. Порт-Артуре, награждён медалью Китайской Народной Республики «Дружба».

В 1954 году уволился в запас, работал сначала на Уралмаше рабочим, потом тренером по шахматам и плаванию, одновременно учился на заочном отделении физико-математического факультета Уральского университета. В 1960 г. окончил университет и получил направление в Свердловский филиал ЗИСТ (Заочный институт советской торговли): ассистент, старший преподаватель на кафедре высшей математики. Одновременно учился в аспирантуре УрГУ (был годовой перерыв, когда он работал учителем математики в поселковой школе).

Под руководством профессора П. Г. Конторовича подготовил кандидатскую диссертацию на тему «Вопросы упорядочения групп» и в 1964 г. защитил её в диссертационном совете Новосибирского государственного университета. После этого по конкурсу занял должность старшего преподавателя (а с 1965 года доцента) кафедры алгебры и математической логики НГУ.

В 1969 году создал в Иркутском университете кафедру алгебры и логики, которой руководил до конца жизни (с 1984 года кафедра алгебры, логики и кибернетики).

В 1981 году присвоено учёное звание профессора.

Умер в Иркутске 22 октября 1987 года после тяжёлой скоротечной болезни. Похоронен в Свердловске на Широкореченском кладбище^[2].

Основатель Иркутской научной школы по алгебре, логике и кибернетике. Соавтор (вместе с В. М. Копытовым) монографии, переведённой на английский язык:

• Линейно упорядоченные группы [Текст] / А. И. Кокорин, В. М. Копытов. — Москва : Наука, 1972. — 199 с.; 20 см. — (Современная алгебра)^[3].
• Fully ordered groups. — New Work : J. Wiley, 1974. — 147 p. — A. I. Kokorin and V. M. Kopytov^[3].

Другие сочинения:

• Упорядочиваемые группы [Текст] : (Спецкурс для студентов НГУ). — Новосибирск : [б. и.], 1966. — 128 с.; 20, 25 см. — (Труды/ Новосиб. гос. ун-т. Кафедра алгебры и математ. логики; Вып. 1)^[3].
• А. И. Кокорин, А. Г. Пинус, «Вопросы разрешимости расширенных теорий», УМН, 33:2(200) (1978), 49-84; Russian Math. Surveys, 33:2 (1978), 53-96^[3]
• Г. Т. Козлов, А. И. Кокорин, «Элементарная теория абелевых групп без кручения с предикатом, выделяющим подгруппу», Алгебра и логика, 8:3 (1969), 320—334^[3]
• Блудов В. В., Кокорин А. И. Использование ЭВМ при решении известных проблем в алгебре // Кибернетика. 1982, № 6. С. 95-101.
• T-родно упорядоченные группы // Сиб. матем. журн., 1979^[3].
• Доказательство леммы о модельной полноте // Алгебра и логика, 1975^[3].
• Пересечение и объединение относительно выпуклых подгрупп упорядочиваемых групп // Алгебра и логика, 1968^[3].
• Расширенные элементарная и универсальная теории решёточно упорядоченных абелевых групп с конечным числом нитей // Алгебра и логика, 1968^[3].
• Относительно выпуклые подгруппы упорядочиваемых групп // Сиб. матем. журн., 1968^[3].
• Элементарная классификация структурно упорядоченных абелевых групп с конечным числом нитей // Алгебра и логика. Семинар, 1966^[3].
• Γ-доупорядочиваемые и относительно выпуклые подгруппы упорядочиваемых групп // Сиб. матем. журн., 1966^[3].
• К теории упорядочиваемых групп // Алгебра и логика. Семинар, 1965^[3].
• К теории доупорядочиваемых групп // Алгебра и логика. Семинар, 1963^[3].
• Универсальная эквивалентность упорядоченных абелевых групп // Алгебра и логика. Семинар, 1963^[3].
• О доупорядочиваемых группах // Докл. АН СССР, 1963^[3].
• О некоторых классах упорядоченных групп // Алгебра и логика. Семинар, 1962^[3].

Ученики — доктора физико-математических наук:

• Андрей Валерьевич Манцивода (1995)
• Василий Васильевич Блудов (1997)
• Владимир Иванович Мартьянов (1996)
• Николай Алексеевич Перязев (1998).

• Памяти А. И. Кокорина были посвящены 3-я Российская (2010, к 80-летию со дня рождения) и 6-я Международная (2019, к 90-летию) школы-семинары «Синтаксис и семантика логических систем»^[4][5].
• Учёный включён в «Галерею ректоров и профессоров ИГУ»^[6].