Замов Наиль Калимович

advertisement
Замов Наиль Калимович
(род. 8.10.1940, г. Куйбышев)
Образование. Окончил физико-математический факультет
Казанского университета (1962), специальность «вычислительная
математика».
Ученые степени и звания. Кандидат физикоматематических наук (1973). Тема: «Поиск вывода в исчислении
предикатов и возможности ограничения сложности термов в
выводах», научный руководитель профессор Г. В. Давыдов. Доктор физикоматематических наук (1990). Тема: «Локальные методы поиска вывода в автоматическом
решении задач». Профессор (с 1991).
Работа в университете. В 1962 младший научный сотрудник вычислительного
центра. С 1963 на кафедре вычислительной математики (позднее прикладной
математики): ассистент, старший преподаватель, доцент (1975), профессор, заведующий
кафедрой (1991). С 1991 проректор университета по учебной работе. С декабря 2001 по
май 2002 исполняющий обязанности ректора, затем вновь проректор по учебной работе. С
2007 главный специалист аналитического отдела Центра перспективного развития КФУ и
по совместительству профессор кафедры системного анализа и информационных
технологий.
Область научных интересов. Математическая логика, теория доказательств,
логическое программирование.
Почетные звания и награды. Заслуженный деятель науки Республики Татарстан
(1995). Заслуженный работник высшей школы (2002). Заслуженный профессор
Казанского университета (2010).
Награжден медалями «За трудовую доблесть» (1981), «За заслуги в проведении
Всероссийской переписи населения» (2002), нагрудным знаком «Почетный работник
высшего профессионального образования Российской Федерации» (1998).
Основные труды. Метод резолюций без скулемизации // Доклады АН СССР. 1987.
Т. 293, № 5; On a connection between the resolution method and the inverse method // Lect.
NotesinComput.Sci. 1987.Vol. 278; Модальныерезолюции // Известиявузов. Математика.
1989. № 9; Maslov's inverse method and decidable classes // Annals of Pure and Applied Logic.
1989. Vol. 42, № 2.
Всоавторстве.АвтоматизированнаяобучающаясистемаГамма.
Казань,
1983;
Deductive synthesis of solutions for technological tasks // Journ. of Logic Programming. 1990.
Vol. 9; Resolution methods for the desision problem // LNAI. 1993. Vol. 679;
Компьютернаялингвография. Казань, 1995; Задачи по дискретной математике для
контрольных и самостоятельных работ. Булевы функции: учебный практикум. 2-е изд.
Казань, 2012.
Общественная работа. Член Европейского математического общества (1991).
Заместитель главного редактора журнала «Известия вузов. Математика» (1979–2009),
затем член его редколлегии.
Скачать