Поиск

Теория алгорифмов и математическая логика

Авторы: Гимон, В. В. Драгалин, А. Г. Канович, М. И. Кучера, А. Матиясевич, Ю. Робинсон, Дж. Минц, Г. Е. Нагорный, Н. М. Петри, Н. В. Плиско, В. Е.
Заказ Местонахождение Краткая информация
Маркер записи n
Контрольный номер RU/IS/BASE/610125328
Дата корректировки 11:38:55 5 июня 2019 г.
Вид содержания и средства доступа 0-85
Служба первич. каталог. Крот
БГТУ
Код языка каталог. rus
Правила каталог. PSBO
Код языка издания rus
Индекс УДК 510.51
Полочн. индекс 518
Авторский знак Т33
Гимон, В. В.
Теория алгорифмов и математическая логика
Текст
[сборник]
Академия наук СССР, Вычислительный центр ; под ред. Б. А. Кушнера, Н. М. Нагорного
Место издания Москва
Издательство Вычислительный центр АН СССР
Дата издания оригинала 1974
Объем 216 с.
Иллюстрации/ тип воспроизводства [1] л. ил.
Примечание Посвящается А. А. Маркову к его семидесятилетию
Аннотация Сборник составлен из статей учеников и коллег А. А. Маркова; тематика этих статей в основном навеяна исследованиями А. А. Маркова в самых различных областях математики, а также механики и теоретической физики.
теория алгорифмов
математическая логика
ступенчатая семантическая система
рекурсивные экстраполяторы
системы равенств
конструктивные вещественные числа
Драгалин, А. Г.
Канович, М. И.
Кучера, А.
Матиясевич, Ю.
Робинсон, Дж.
Минц, Г. Е.
Нагорный, Н. М.
Петри, Н. В.
Плиско, В. Е.
Академия наук СССР
Вычислительный центр
Тип документа m