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


 
Вернуться в: Каталог  
Обложка Лупанов О.Б. Кибернетический сборник
Id: 104585
 

Кибернетический сборник. Вып.12

1975. 208 с. Мягкая обложка. Букинист. Состояние: 4+. .
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

Двенадцатый выпуск новой серии кибернетических сборников содержит переводы статей по современным проблемам теоретической кибернетики. Статьи подразделены на четыре части: «Математические вопросы», «Вычислительные машины и программирование», «Вопросы информационного поиска», «Математическая биология». Особый интерес представляют статьи С. Кука, Л. Мей-ера, Дж. Хапкрофта по математическим вопросам, статья Сэлтона по информационному поиску и статья У. Хоффмана по аксиоматике математической биологии.

Сборник рассчитан на научных работников, инженеров, аспирантов и студентов различных специальностей, занимающихся и интересующихся теоретической кибернетикой и ее приложениями.


 СОДЕРЖАНИЕ

Математические вопросы

С. А. Кук. Сложность процедур вывода теорем. Перевод М. И. Кратко. 5

Ричард М. Карп. Сводимость комбинаторных проблем. Перевод М. И. Кратко.....................16

Д ж. Е. X о п к р о ф т, Р. Е. Т а р ь я н. Изоморфизм пленарных графов.

Перевод В. П. Козырева.................. 39

А. Р. М е й е р. Слабая сингулярная теория второго порядка функции следования не элементарно рекурсивна. Перевод С. С. Марченкова.. 62

Д. Л а к х э м, Д. М. Парк, М С. Патерсон. О формализованных машинных программах. Перевод Р. И Подловченко........78

Вычислительные машины и программирование

Уильям Р. Смит, Рэкс Райе, Гилман Д. Чеслей и др. Символ: большая экспериментальная система для изучения возможности погружения программного обеспечения в аппаратуру. Перевод Е. И. Котова.................... 115

Вопросы информационного поиска

Джерард Сэлтон. Автоматический анализ текстов и поиски документов. Перевод Н. Г. Арсентьевой.,,,.,,«„,,,,. 150

Математическая биология

Уильям Хоффман. Система аксиом для математической биологии.

Перевод И. Б. Гуревича..................184

 
© URSS 2016.

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