URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Марков А.А. Избранные труды. Т.II: Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы
Id: 16072
 
1699 руб.

Избранные труды. Т.II: Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. Т.II

2003. 624 с. Твердый переплет. ISBN 5-94057-044-5.

 Аннотация

В собрание сочинений выдающегося российского математика А. А. Маркова, выпускаемого к столетию со дня его рождения, включены основные работы, содержащие его наиболее важные результаты. Во втором томе публикуются работы А. А. Маркова по теории алгорифмов, конструктивной математике, математической логике, информатике.

Книга предназначена для математиков и специалистов по теории информации.


 ОГЛАВЛЕНИЕ

От составителя..........................................

Список научных трудов А. А. Маркова............................

ТЕОРИЯ АЛГОРИФМОВ И КОНСТРУКТИВНАЯ МАТЕМАТИКА, МАТЕМАТИЧЕСКАЯ ЛОГИКА, ИНФОРМАТИКА И СМЕЖНЫЕ ВОПРОСЫ

Невозможность алгорифмов тождества и делимости в теории ассоциативных систем

Невозможность некоторых алгорифмов в ассоциативных системах (второе сообщение).................................................

Невозможность некоторых алгорифмов в теории ассоциативных систем.........

О некоторых неразрешимых проблемах; касающихся матриц...............

Невозможность некоторых алгорифмов в теории ассоциативных систем. II.......

О представлении рекурсивных функций............................

О зависимости аксиомы В6 от других аксиом системы Бернайса --- Гёделя.......

О представлении рекурсивных функций............................

Конструктивная логика......................................

Теория алгорифмов........................................

Невозможность некоторых алгоритмов в теории ассоциативных систем.........

Невозможность алгорифмов распознавания некоторых свойств ассоциативных систем.................................................

Об одной неразрешимой проблеме, касающейся матриц..................

О неразрешимых алгорифмических проблемах........................

Непрерывность конструктивных функций...........................

О непрерывности конструктивных функций.........................

О преобразованиях, не распространяющих искажения...................

Об инверсионной сложности систем функций........................

Неразрешимость проблемы гомеоморфии...........................

О неразрешимости некоторых проблем топологии......................

Об однотактных диодных схемах для сложения и вычитания по модулю п.......

О конструктивных функциях..................................

К проблеме представимости матриц..............................

Принципы конструктивного направления в математике и теория алгорифмов.....

Неразрешимость проблемы гомеоморфии...........................

О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций...........................................

О вычислимых инвариантах...................................

О конструктивной математике.................................

Об инверсионной сложности системы булевых функций..................

О неотличимости по инвариантам в теории ассоциативных исчислений.........

О нормальных алгорифмах, вычисляющих булевы функции................

О нормальных алгорифмах, связанных с вычислением булевых функций........

Об одном языке для описания работы вычислительных машин..............

О логике конструктивной математики.............................

Об одном подходе к описанию работы вычислительных машин..............

Попытка построения логики конструктивной математики.................

О языке Я0.............................................

О языке Я,.............................................

О языке Я2.............................................

О языке Я3.............................................

О языках Я4, Я5,..........................................

О языке Яш............................................

О языке Я J............................................

О полноте классического исчисления предикатов в конструктивной математической логике.................................................

Элементы математической логики...............................

Биография А. А. Маркова....................................

Логика математическая.....................................

Об одном принципе конструктивной математической логики...............

Математическая логика и вычислительная математика...................

Что такое кибернетика......................................

Об отношении физических законов к биологическим....................

Что такое конструктивная математика? Введение......................

ПРИЛОЖЕНИЯ И КОММЕНТАРИИ

Монолитно ли понятие конечного множества? (Н. М. Нагорный)............

Реализуемостная семантика раннего периода марковского конструктивизма (Н. М. Нагорный)...............................................

О вкладе А. А. Маркова в развитие конструктивного математического анализа (Н. М. Нагорный, Б. А. Кушнер)......................................

Сложностной метод в теории алгорифмов (М. Н. Домбровский, Н. М. Нагорный, В. А. Шурыгин)..........................................

Вместо предисловия ко второму изданию (Н. М. Нагорный)................

Андрей Андреевич Марков. К шестидесятилетию со дня рождения. (Н. М. Нагорный,

Н. А. Шанин)...........................................

Андрей Андреевич Марков. К семидесятилетию со дня рождения. (А. Г. Драгалин, Н. М. Нагорный, Н. В. Петри, Н. А. Шанин)..........................

Андрей Андреевич Марков. К девяностолетию со дня рождения. (Н. М. Нагорный)..

Комментарии............................................

 
© URSS 2016.

Информация о Продавце