Продолжение серии, начатой издательством «Мир» в 1965 г. В выпуске содержатся обзорные статьи и оригинальные работы известных зарубежных ученых по наиболее актуальным проблемам теоретической кибернетики и ее приложениям. Большой интерес представляют статьи Г. Вьенно и М. Делеста (Франция) по перечислительным задачам с приложениями в биологии и физике, а также статьи по сложности вычислений Л. Стокмейера (США) и Л. Тейрлинка (Нидерланды), по функциональному программированию М. Бисона (США), обзор по математическим вопросам проектирования БИС. Для научных работников, инженеров-исследователей, аспирантов и студентов, занимающихся и интересующихся теоретической кибернетикой и ее приложениями.
Author(s): Лупанов О.Б., Касим-Заде О.М.
Publisher: Мир
Year: 1989
Language: Russian
Pages: 209
City: М
Tags: Информатика и вычислительная техника;Кибернетика;Кибернетический сборник;
Обложка ......Page 1
Титульная страница ......Page 4
Аннотация и выходные данные ......Page 5
Л.ТЕЙРЛИНК. Нетривиальные t-схемы без кратных блоков существуют для всех t. Перевод А.Н. Скоробогатова ......Page 6
Л.СТОКМЕЙЕР. Классификация вычислительной сложности проблем. Перевод В.А. Захарова ......Page 21
Н.КАРМАРКАР. Новый алгоритм полиномиальной трудоемкости для задач линейного программирования. Перевод В.М. Яковлева ......Page 85
М.-П. ДЕЛЕСТ, Ж. ВЬЕННО. Алгебраические языки и перечисление полимино. Перевод А.С. Строгалова ......Page 114
Ж. ВЬЕННО. Перечислительная комбинаторика и алгебраические языки. Перевод А.С. Строгалова ......Page 158
М.ДЖ. БИСОН. Доказательство программ и программирование доказательств. Перевод А. Воронкова ......Page 174
Оглавление ......Page 209
