Том 2. Библиографический словарь

ЗАПОРОЖЕЦ информатики и автоматизации АН СССР защитил дис. на степень д-ра физ.-мат. наук «Локальные методы поиска вывода в автоматическом решении задач». Область науч, интересов: пробле мы матем. логики, теории доказательств, логического программирования. Подготовил 2 канд. наук. Принимал участие в междунар, науч, конф, и семинарах в США, Франции, Испании, Австрии, Бельгии, Эстонии; выступал с докл. по проблемам матем. логики, теории доказательств, логическо го программирования, университетского менеджмента. Член Европ. матем. о-ва, Между нар. ассоциации логического программи рования. Зам. гл. редактора ж-ла «Изв. вузов. Математика». Награждён медалью «За трудовую доблесть». Засл, деятель науки РТ (1995). Засл, работник высшей школы (2002). Соч.: Метод резолюций без скулемизации // Докл. АН СССР. 1987. Т. 293. № 5; Модальные резолюции // Изв. вузов. Математика. 1989. № 9; Inverse Method and Decidable Classe // Annals of Pure and Applied Logic. 1989. V. 42, № 2; Deductive Synthesis of Solutions for Technological Tasks // Journal of Logic Programming. 1990. V. 9. P. 195 — 220. (В соавт.). Ист и лит.: Автобиогр. справка; Татар, энцикл. сл. А. Ганеева. ЗАПОЛЬНЫЙ Александр Евгеньевич (24.11.1966, г. Лениногорск Восточно-Ка захстан. обл. Казах. ССР), химик. Из семьи рабочих. Окончил шко лу в г. Брежневе ТАССР. В 1984 посту пил на хим. ф-т КУ. В 1985 призван в Сов. Армию. После демобилизации (1987) восстановлен в ун-те. Специализировал ся на каф. неорган. химии. По оконча нии ун-та (1991) на той же каф.: аспи рант (ОЗО), с 1992 инженер. В 1995 защитил дис. на степень канд. хим. наук «Комплексообразование, свойства, строение гидроксо-, хлоридо-, тартратов железа(П,Ш), олова(ІѴ, II)», науч. рук. проф. А. Н. Глебов, доц. А. С. Храмов. Опубл, работы посвящены пробле мам ядерно-гамма-резонанс-спектроско- пии, координационной химии, комплек сным соединениям. Участник 4-й рабочей школы по Мёссбауэровской спектроскопии (Герма ния, 1994). Соч.: Мёссбауэровская спектроскопия ра створов тетрахлорида олова в соляной кислоте // Координационная химия. 1991. Т. 17, № 11. ( В соавт.); Исследование комплексообразования олова(ІѴ) с d -винной кислотой методами Мёс сбауэровской спектроскопии и поляриметрии // Там же. 1992. Т. 18, Ns 8. (В соавт.) Ист.: Автобиогр. справка. С. Егоричева. ЗАПОРОЖЕЦ Лидия Сазоновна (5.3.1930, г. Актюбинск Казах. ССР), физико-химик. Из семьи рабочих. Окончила шко лу в Актюбинске. В 1948 поступила на хим. ф-т КУ. Специализировалась на каф. физ. химии. После окончания ун-та (1953) инженер-химик ЦНИЛ Киров, обл. С 1966 в Казах, н.-и. геологоразведочном нефтя ном ин-те (КазНИГРИ, Актюбинск): с. н. с., с 1973 отв. исполнитель н.-и. тем, с 1985 науч. рук. тем вобл, разработки тампонажных спеццементовдля цементи рования глубоких (7000 м) и сверхглубо ких скважин в сложных и экстремальных горно-геол, условиях Казахстана. В 1980 в Моск, химико-технол. ин-те им. Д. И. Менделеева защитила дис. на степень канд. техн, наук «Синтез и иссле дование гидрогранатного вяжущего для цементирования глубоких скважин», науч, рук. д-р техн, наук, проф. В. В. Тимашев. В соавторстве разработаны науч, основы и технология изготовления там понажных спеццементов на основе пром, отходов с применением в качестве по мольно-смесительного агрегата дезинтег ратора-активатора (УДА-технология). Разработка удостоена Гос. премии по на уке и техники Казах. ССР (1980). Имеет 35 авторских свидетельств и 6 патентов. Подготовила одного канд. наук. Участвовала в выставках ВДНХ СССР, награждена бронзовыми и серебря ной медалями. Принимала участие в отраслевых совещаниях и конф. респ, и союзного уровня («Физико-химия, техно логия получения и применения дисперсных систем, промывочных жидкостей и тампо нажных растворов», «Формирование и ра бота цементного камня», «Гидратация и твер дение вяжущих»), всесоюз. конференции по электронной микроскопии, семинарах «УДА-технология» (Таллин) «Гидратация и структурообразование цементов, получен ных на основе отходов пром-сти» и др. ^457^

Том 2. Библиографический словарь_расп