Статьи этого выпуска подразделены на четыре части: математические вопросы, вычислительные машины и программирование, вопросы информационного поиска, математическая биология. Особый интерес представляют статьи С. Кука, А. Мейера, Дж. Хопкрофта по математическим вопросам, статья Сэлтона по информационному поиску и статья У. Хоффмана по аксиоматике математической биологии.
Содержание:
Математические вопросы:
С. А. Кук. Сложность процедур вывода теорем.
Ричард М. Карп. Сводимость комбинаторных проблем.
Дж. Е. Хопкрофт, Р. Е. Тарьян. Изоморфизм планарных графов.
А. Р. Мейер. Слабая сингулярная теория второго порядка функции следования не элементарно рекурсивна.
Д. Лакхэм, Д. М. Парк, М. С. Патерсон. О формализованных машинных программах.
Вычислительные машины и программирование:
Уильям Р. Смит, Рэкс Райс, Гилман Д. Чеслей и др. Символ: большая экспериментальная система для изучения возможности погружения программного обеспечения в аппаратуру.
Вопросы информационного поиска:
Джерард Сэлтон. Автоматический анализ текстов и поиски документов.
Математическая биология:
Уильям Хоффман. Система аксиом для математической биологии.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже