000 02532nam a2200493 4500
001 vtls000182979
003 RU-ToGU
005 20210922002929.0
008 040318s2003 ru aco f b 000 0 rus d
020 _a5940571131
020 _a5940570445
035 _a0187-77060
040 _aRU-ToGU
_brus
_cRU-ToGU
_ePSBO
080 _a51(081.2)(092)Марков А.А.
100 1 _aМарков, Андрей Андреевич
_cмладший
_d1903-1979
_993915
245 1 0 _aИзбранные труды
_nТ. 2
_cА. А. Марков ; сост. и общ. ред. Н. М. Нагорного
246 1 2 _aТеория алгоритмов и конструктивная математика, математическая логика, информатика и смежные вопросы
260 _aМосква
_bИзд-во МЦНМО
_c2003
300 _a626 с.
_b1 л. портр.
504 _aБиблиогр. в коммент.: с. 603-626 и в подстроч. примеч.
600 1 4 _aМарков, Андрей Андреевич
_cмладший
_d1903-1979
_993915
653 _aконструктивная математика.
653 _aматематическая логика.
653 _aинформатика.
653 _aисчисление предикатов.
653 _aвычислительная математика.
653 _aкибернетика.
653 _aфизические законы.
653 _aбиологические законы.
653 _aконечное множество.
653 _aмарковский сложностный метод.
653 _aконструктивные функции.
653 _aтеория алгорифмов.
653 _aассоциативные системы.
653 _aрекурсивные функции.
653 _aнепрерывность конструктивных функций.
653 _aмонотонные симметрические функции.
653 _aбулевы функции.
653 _aнаучные биографии.
653 _aученые-математики.
700 1 _aНагорный, Николай Макарович
_4com
_4edt
_9213550
852 4 _aRU-ToGU
_h51
_iМ268
_nru
999 _c185279