Игорь Дмитриевич Заславский

Материал из Циклопедии
Перейти к: навигация, поиск

Игорь Дмитриевич Заславский

Իգոր Դմիտրիի Զասլավսկի
ZaslavskiIgor-new.jpg
Дата рождения 29 октября 1932 года
Место рождения Ленинград, СССР





Научная сфера Математическая логика, теория алгоритмов, математическая кибернетика.








Игорь Дмитриевич Заславский (арм. Իգոր Դմիտրիի Զասլավսկի) — советский и армянский математик[1][2].

[править] Биография

Родился 29 октября 1932 года в Ленинграде в семье преподавателей.

Окончил школу с золотой медалью.

В 1954 году окончил математический факультет Ленинградского государственного университета.

Трудился младшим научным сотрудником в Научно-исследовательском институте связи (Ленинградский институт телефонии).

Был участником подпольной организации Р. И. Пименова. Арестован 26 марта 1957 года. 4 февраля 1958 года Ленинградским областным судом был приговорён к 2 годам ИТК (ст. 58-10 ч. 1)[3]. Сидел в Мордовии в исправительно-трудовом лагере в поселке Явас. 11 ноября 1958 года вышел на свободу.

Не мог найти работу, пока в 1959 году его не взял к себе Рафаэль Александрян, в то время директор вычислительного центра АН Армянской ССР.

С 1961 года — преподаватель Ереванского государственного университета.

Также с 1961 года — заведующий отделом Института информатики и автоматизации АН Армянской ССР (НАН РА), главный научный сотрудник лаборатории математической логики.

В 1988 году — доктор физико-математических наук.

В 1992 году — профессор.

В 2000 году был избран членом-корреспондентом НАН Армении.

Автор более 100 научных работ.

Читает курсы математической логики, теории алгоритмов, увлекся философскими вопросами основания математики, стал членом Армянской философской академии; занялся математической лингвистикой, машинным переводом.

[править] Труды

  • Տրամաբանության դերը փաստարկման պրոցեսում, 1998.
  • Симметричная конструктивная логика. Ереван. 1978.
  • Математические вопросы кибернетики и вычислительной техники, 1975.
  • Трансформационная логика и логика символического языка, 1999.

[править] Источники

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты