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 |