В декабре 2019 г. исполнилось 50 лет со дня основания кафедры алгебры и логики Иркутского государственного университета. 1969 год можно считать началом исследований по алгебре и математической логике, проводимых в Иркутске. Появление этих исследований связано с именем Али Ивановича Кокорина.
А. И. Кокорин родился 15 ноября 1929 г. в Свердловске (ныне г. Екатеринбург). Окончив среднюю школу, он поступил в военное училище. После завершения учебы проходил службу в рядах Советской Армии на Дальнем Востоке офицером морской пехоты в г. Порт-Артуре вплоть до демобилизации. После демобилизации в 1954 г. вернулся в Свердловск, устроился на Уральский машиностроительный завод и поступил на заочное отделение физико-математического факультета Уральского государственного университета на специальность «Математика».
С 1960 года А. И. Кокорин работал ассистентом, старшим преподавателем в Свердловском филиале Заочного института советской торговли и учился в аспирантуре УрГУ.
За время учебы в аспирантуре подготовил кандидатскую диссертацию на тему «Вопросы упорядочения групп», которую защитил в 1964 г. в диссертационном совете Новосибирского государственного университета.
В 1964 году Али Иванович переехал в Новосибирск, где начал работу на кафедре алгебры и математической логики Новосибирского государственного университета.
В 1969 году по приглашению ректора Иркутского университета Лосева Н. Ф. Али Иванович переезжает в г. Иркутск, где создает кафедру алгебры и логики. Став заведующим кафедрой, он начал бурную деятельность по развитию алгебро-логического направления: организовывает научные семинары и выпуск сборников научных трудов по алгебре, математической логике и кибернетике (сборники вышли в 1972, 1973, 1976, 1978, 1979, 1985 и 1986 гг.). Для обсуждений проводимых в Иркутске научных исследований приглашаются ведущие специалисты по алгебре, математической логике из Москвы, Новосибирска, Ленинграда, Киева, Кишинева, Свердловска. По приглашению А. И. Кокорина в Иркутск приезжают молодые специалисты: из Новосибирска — Блудов В. В., Корольков Ю. Д., Фридман Э. И., из Свердловска — Васильев Ю. П., Устюжанинов А. Д.
Научно-педагогическая деятельность А. И. Кокорина проходила в пяти направлениях.
1. Теория упорядоченных групп.
Исследования в этом направлении активно проводились А. И. Кокориным с начала 1960-х и до середины 1980-х гг. Под руководством А. И. Кокорина были защищены две диссертации (Блудов В. В., Клейменов В. Ф.).
2. Универсальные и расширенные теории упорядоченных групп.
А. И. Кокорин занимался этим направлением с 1963 по 1970 г. Аспиранты защитили две диссертации (Козлов Г. Т., Хисамиев Н. Г.).
3. Расширенные теории и вопросы разрешимости (1969-1981 гг.).
Ученики А. И. Кокорина защитили шесть кандидатских диссертаций: Дулатова З. А., Мартьянов В. И., Перязев Н. А., Фридман Э. И., Пензин Ю. Г., Слободской А. М.
4. Применение ЭВМ в алгебре и математической логике (1975-1985 гг.).
Это направление под непосредственным руководством Али Ивановича в основном разрабатывали его ученики, которые защитили три диссертации — Болдонов В. И., Васильев Ю. П., Манцивода А. В.
5. Математическое моделирование общественных процессов (1985-1987 гг.).
В августе 1987 г. Али Иванович выступил с докладом на VIII Международном конгрессе по логике, методологии и философии науки, в котором дал обоснование построенной им математической модели перехода от политеизма к монотеизму. Предложенная математическая модель, детально изложенная на семинаре в Институте философии, была признана перспективной, исследования получили полное одобрение и пожелание не останавливаться на полученных результатах в этом направлении.
За достижение выдающихся научных результатов и значительных успехов в создании иркутской алгебро-логической школы в 1981 году А. И. Кокорину было присвоено ученое звание профессора.
Понимая усиливающееся влияние электронно-вычислительных устройств на общество и учитывая необходимость исследований в этой области в 1984 году Али Иванович переименовывает кафедру алгебры и логики в кафедру алгебры, логики и кибернетики.
Скончался А. И. Кокорин в Иркутске 22 октября 1987 г. после тяжелой скоротечной болезни (похоронен в г. Свердловске).
За время, прошедшее после смерти Али Ивановича, представители его Иркутской школы проводили научные исследования по следующим направлениям.
1. Теория дискретных функций.
Защищены три докторские диссертации (Перязев Н. А., 1998; Винокуров С. Ф., 2001; Пантелеев В. И., 2009) и четырнадцать кандидатских диссертаций (Винокуров С. Ф., 1992; Пантелеев В. И., 1994; Перязева Ю. В., 1999; Кириченко К. Д., 2000; Балюк А. С., 2002; Гайдуков А. И., 2002; Зубков О. В., 2002; Шаранхаев И. К., 2003; Зинченко А. С., 2006; Казимиров А. С., 2007; Рябец Л. В., 2007; Семичева Н. Л., 2008; Францева А. С., 2019, Бадмаев С. А., 2019).
2. Алгебро-логические методы в программировании.
Защищена одна докторская диссертация (Манцивода А. В., 1995) и шесть кандидатских диссертаций (Петухин В. А., 1993; Абдрахимов И. С., 1998; Малых А. А., 2005; Липовченко В. А., 2007; Ульянов В. С., 2010; Казаков И. C., 2012).
3. Теория групп.
Защищены одна докторская диссертация (Блудов В. В., 1997) и четыре кандидатских диссертации (Хламов Е. В., 1990, Лапшина Е. С., 2005, Гусев Б. В., 2007, Ковыршина А. И., 2011).
4. Логико-эвристические методы поиска рациональных решений прикладных задач.
Защищена одна докторская диссертация (Мартьянов В. И., 1995) и три кандидатские диссертации (Николенко А. Б., 1987, Каташевцев М. Д., 2017, Пахомов Д. В., 2018).
5. Математическое моделирование алгебраических и аналитических преобразований на ветвящихся структурах.
Защищена одна докторская диссертация (Корольков Ю. Д., 1997 г.) и две кандидатские диссертации (Курганский В. И., 1986, Курганская Г. С., 1990).
На сегодняшний день преемником кафедры алгебры и логики в Иркутском государственном университете является кафедра алгебраических и информационных систем (КАиИС).
На кафедре работают четыре доктора физико-математических наук (Винокуров С. Ф., Манцивода А. В., Пантелеев В. И., Амбросов Н. В. (совместитель)), девять кандидатов физико-математических наук (Кириченко К. Д., Зубков О. В., Зинченко А. С., Семичева Н. Л., Казимиров А. С., Рябец Л. В., Балюк А. С. (совместитель), Демаков В. И. (совместитель), Петрушин И. С. (совместитель). Преподавателей без степени - Ильин Б. П. К преподаванию дисциплин приглашаются бывшие выпускники кафедры, которые в настоящее время работают в различных сферах ИТ-бизнеса.
Кафедра является выпускающей по направлениям: 09.03.03, 09.04.03 «Прикладная информатика» и 02.03.02, 02.04.02 «Фундаментальная информатика и информационные технологии». Кроме занятий со студентами по основным образовательным программам, преподаватели кафедры уделяют большое внимание и развитию спортивного программирования. Команда студентов ИГУ одна их лучших в Сибирском федеральном округе. Лучшие студенты института привлекаются к научным исследованиям.
Также преподавателями кафедры проводится большая работа со школьниками. Кафедра организует проведение муниципального и регионального этапов Всероссийской олимпиады по информатике и ИКТ, конкурсы Компьютериады, проведение очного этапа Всероссийской олимпиады школьников по дискретной математике и информатике.
Зав. кафедрой алгебраических и информационных систем,
профессор Пантелеев В. И.