Новые поступления (книга в стадии обработки) Теория алгорифмов и математическая логика [Текст] : сборник / Акад. наук СССР, Вычислит. центр ; под ред.: Б. А. Кушнера, Н. М. Нагорного. - М. : ВЦ АН СССР, 1974. - 216 с. : ил. ; 21 см. - Библиогр. в конце ст. - 0.85 р.
Рубрики: Математика--Теория алгоритмов Математика--Математическая логика Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- РЕКУРСИВНЫЕ ЭКСТРАПОЛЯТОРЫ -- СИСТЕМЫ РАВЕНСТВ -- ПЕРЕЧИСЛИМЫЕ МНОЖЕСТВА -- ПСЕВДОЧИСЛА -- ВЕЩЕСТВЕННЫЕ ЧИСЛА Аннотация: А. А. Маркову принадлежит ряд фундаментальных исследований в самых различных областях математики, а также механики и теоретической физики. Непреходящее значение этих исследований удостоверено развитием науки. Начиная с 1946 года интересы А. А. Маркова концентрируются в области теории алгорифмов и математической логики. Вклад, внесенный А. А. Марковым в развитие этих областей, общеизвестен. Благодаря усилиям А. А. Маркова сложилось конструктивное направление в математике. А. А. Марков является главой крупной научной школы в этом направлении. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кушнер, Б. А. Нагорный, Н. М. |