![]() БИБЛИОТЕК БЕЛАРУСИ | История поисков |
Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
---|
Справка
Минц, Григорий Ефроимович (доктор физико-математических наук ; 1939—2014) |
Математик, логик. Доктор физико-математических наук (1988). Окончил Ленинградский государственный университет (1961). Работал в Ленинградском отделении Математического института им. В. А. Стеклова. С 1980 г. жил и работал в Таллине, научный сотрудник Института кибернетики АН Эстонской ССР. С 1991 г. – профессор отделения философии Стенфордского университета (США).
Автор трудов в области семантики декларативных языков программирования и синтеза программ, логики и философии математики.
Вариантная форма имени
Mints, Grigori (1939—2014) (английский язык) |
Минц, Григорий Эфраимович (1939—2014) |
Минц, Григорий Ефимович (1939—2014) |
Источники информации
Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; [редколлегия: Г. Е. Минц (ответственный редактор) и др.]. — Москва, 2022.
Сайт Института систем информатики им. А. П. Ершова СО РАН. Некролог. Дата обращения: 24.01.2022.
Сайт "Википедия". Дата обращения: 24.01.2022.
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |