Лариса Максимова — об авторе
- Родилась: 5 ноября 1943 г. , Коченёво, Новосибирская область, РСФСР, СССР
Биография — Лариса Максимова
Лариса Львовна Максимова (род. 5 ноября 1943) — российский математик и педагог, специалист в области математической логики, лауреат премии имени А. И. Мальцева (2009).
Родилась в с. Коченево Коченевского района Новосибирской области.
В 1965 году — окончила механико-математический факультет НГУ.
В 1968 году — защитила кандидатскую диссертацию (научный руководитель — академик А. И. Мальцев).
В 1986 году — защитила докторскую диссертацию.
В Институте математики имени С. Л. Соболева Сибирского отделения АН СССР (РАН) с 1965 г.: стажер-исследователь, младший (1967), старший (1979), ведущий (1986), главный (2009) научный сотрудник.
С 1965 г. по совместительству работает в НГУ: ассистент, доцент…
КнигиСмотреть 3
Библиография
Максимова Л. Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр // Алгебра и логика, т. 16(1977), с. 643—681.
Maksimova L. On variable separation in modal and superintuitionistic logics // Studia Logica, 55(1995), 99-112.
Maksimova L. Intuitionistic Logic and Implicit Definability // Annals of Pure and Applied Logic, 105(2000), 83-102.
Maksimova L. Strongly Decidable Properties of Modal and Intuitionistic Calculi // Logic Journal of IGPL, 8, no. 6(2000), 797—819.
И. А. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. 4-е изд. М., Физматлит, 2001 (предыдущие издания — 1974, 1985, 1995 гг.,…
Титулы, награды и премии
Премия имени А. И. Мальцева (2009) — за серию научных работ «Неявная определимость и интерполяция в неклассических логиках»
премия Правительства РФ в области образования (2010).