«Библиотека «Кибернетического сборника» (серия изд. «Мир»)

* Айлиф Дж. Принципы построения базовой машины. (1973)
* Дельсарт Ф. Алгебраический подход к схемам отношений теории кодирования. (1977)
* Линдси Ч., Мгойлен С. Неформальное введение в АЛГОЛ 68. (1974)
* Некоторые вопросы теории кодирования. (1970)
* Перечислительные задачи комбинаторного анализа. (1980)
* Проблемы математической логики. (1970)
* Розенмюллер И. Кооперативные игры и рынки. (1975)
* Сложность вычислений и алгоритмов. (1974) Сборник переводов
* Современное программирование. (1971)
* Супервизоры и операционные системы. (1972) Коллективная монография
* Турин Дж. Лекции о цифровой связи. (1972)
* Уилкс М.В. Системы с разделением времени. (1972)
* Хопгуд Ф. Методы компиляции. (1973)
* Языки и автоматы. (1975) Сборник переводов

РАЗВЕРНУТЬ ►

◄ СВЕРНУТЬ

Описания некоторых изданий:

▼

▲

Ⓐ ⒸСложность вычислений и алгоритмов. [Djv-Fax- 5.9M] [Pdf-Fax- 7.5M] Сборник переводов. Под редакцией В.А. Козмидиади, А.Н. Маслова, Н.В. Петри.
(Москва: Издательство «Мир»: Редакция литературы по математическим наукам, 1974. - Серия «Библиотека «Кибернетического сборника»)
Скан, обработка, формат Djv-Fax: ???, предоставил: bolega, 2010

СОДЕРЖАНИЕ:
Предисловие редакторов перевода (5).
I. КЛАССИФИКАЦИЯ РЕКУРСИВНЫХ ФУНКЦИЙ:
Г.Т. Херман. Эквивалентность различных иерархий элементарных функций. Перевод А.А. Мучника (7).
Дж.П. Клив, Г.Э. Роуз. En-арифметика. Перевод А.А. Мучника (18).
М.X. Леб, С.С. Вайнер. Иерархии теоретико-числовых функций. Перевод Ю.Д. Стригина (33).
С.С. Вайнер. Классификация ординально рекурсивных функций. Перевод Ю.Д. Стригина (65).
II. КЛАССИФИКАЦИЯ ЯЗЫКОВ:
Ш. Грейбах. Одна бесконечная иерархия контекстно-свободных языков. Перевод А.А. Мучника (85).
Т. Касаи. Об одной иерархии между контекстно-свободными и контекстно-связными языками. Перевод Э.Д. Стойкого (107).
III. АКСИОМАТИЧЕСКОЕ ОПИСАНИЕ СЛОЖНОСТИ ВЫЧИСЛЕНИЙ И АЛГОРИТМОВ:
М. Блюм. Об эффективных процедурах для ускоряющих алгоритмов. Перевод М.И. Кановича (127).
Дж. Хелм, П. Янг. Сопоставление сложности и эффективности программ, допускающих ускорение. Перевод М.И. Кановича (150).
П. Янг. Ускорения посредством изменения порядка, в котором перечисляются множества. Перевод А.А. Мучника (160).
А. Эренфойхт, Я. Мыцельский. Сокращение доказательств при добавлении новых аксиом. Перевод А.А. Мучника (172).
Дополнение 1. Л.А. Левин. Сигнализирующие вычислимых функций (174).
Дополнение 2. М.И. Канович. Теорема об ускорении в формальных системах (186).
IV. СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ НА МАШИНАХ ТЬЮРИНГА:
Г.-Й. Штосе, k-ленточное моделирование k-головочных машин Тьюринга. Перевод В.Е. Плиско (190).
Г.-Й. Штосе. Двуленточное моделирование машин Тьюринга. Перевод В.Е. Плиско (199).
М.С. Патерсон. Ограничения на ленту для ограниченных во времени машин Тьюринга. Перевод В.А. Козмидиади (213).
Т. Камеда, Р. Волмар. Заметка о сложности языков по числу поворотов на лентах. Перевод В.П. Захарова (222).
В.Л. Беркхард, П.П. Вараня. Проблемы сложности языков, вычислимых в реальное время. Перевод В.Л. Матросова (235).
Дж. Хонкрофт, Дж. Улман. Некоторые результаты о машинах Тьюринга с ограниченной лептой. Перевод В.Н. Захарова (252).
V. ДРУГИЕ МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ:
С. Кук. Характеристики магазинных автоматов в терминах вычислителей, ограниченных во времени. Перевод В.Н. Захарова (266).
С. Коул. Детермииированные автоматы с магазинной памятью и вычисления в реальное время. Перевод Г.С. Плесневича (289).
П.К. Фишер, А.П. Мейер, А.Л. Розенберг. Ограниченные во времени генераторы последовательностей. Перевод И.А. Рахматулина (322).
Х.Р. Стронг. Вычисление с ограниченной глубиной. Перевод О.В. Симонова (349).
VI. СЛОЖНОСТЬ И СЛУЧАЙНОСТЬ:
П. Мартин-Леф. О понятии случайности. Перевод В.Е. Плиско (364).
К.П. Шпорр. Единый подход к определению случайных последовательностей. Перевод В.Е. Плиско (370).

ИЗ ИЗДАНИЯ: Затрагиваемые в сборнике проблемы математической логики тесно связаны с теорией вычислительных машин. В книге рассматриваются модели вычислительных устройств, их классификация, классификация языков, оценки сложности вычислений и оценки сложности программ. Развивается связанный со сложностью программ подход А.Н. Колмогорова к обоснованию теории вероятностей и теории информации. В настоящее время эти вопросы начинают привлекать большое число исследователей.
Перевод ряда более ранних работ содержится в сборнике «Проблемы математической логики» («Мир», 1970).
Книга рассчитана на читателей, интересующихся современными проблемами теории алгоритмов и автоматов, математической лингвистики, вычислительных машин и программирования. Она будет полезна студентам и аспирантам указанных специальностей.

▼

▲

Ⓐ ⒸСупервизоры и операционные системы. (Executive Programs and Operating Systems, 1970) [Djv-Fax- 2.4M] [Pdf-Fax- 2.7M] Коллективная монография. Под редакцией Дж. Каттла, П. Робинсона (G. Cuttle, P.B. Robinson). Перевод с английского Г.Н. Езеровой и Вик. С. Штаркмана. Под редакцией Вс.С. Штаркмана. Художник А.Д. Смеляков.
(Москва: Издательство «Мир»: Редакция литературы по математическим наукам, 1975. - Серия «Библиотека «Кибернетического сборника»)
Предоставил формат Djv-Fax: Сергей Ахулков, 2016

СОДЕРЖАНИЕ:
Предисловие редактора перевода (5).
Предисловие (9).
1. Мартин Уорвик. Введение в операционные системы. Основные понятия (11).
2. Брайен Миллис. Роль супервизорных программ (25).
3. Брайен Миллис. Свойства супервизора (37).
4. Питер Беркиншоу. Операционные системы. Введение в GEORGE 1 и GEORGE 2 (54).
5. Тим Голдингем. Концепции GEORGE 3 (71).
6. Тим Голдингем. Внутреннее функционирование системы GEORGE 3 (84).
7. Ангус Битти. Архив (97).
8. Дэвид Фостер. Языки для работы в непосредственном контакте с машиной. Режим диалога (105).
9. Стюарт Дж. Миллер. Реальное время. Специальные требования к управляющим программам (119).
10. Мартин Уорвик. Операционная система уровня J (137).
Список литературы (151).
Словарь (153).
Предметный указатель (155).

ИЗ ИЗДАНИЯ: Коллективная монография, авторами которой являются известные английские специалисты, охватывает круг вопросов, связанных с созданием супервизоров и операционных систем, играющих важную роль в программном обеспечении вычислительных машин.
После рассмотрения основных концепций, положенных в основу конструирования операционных систем, и освещения роли супервизоров в качестве иллюстраций приводятся конкретные операционные системы. Обсуждается идея «разговорных» компиляторов и указываются специальные требования, предъявляемые к средствам программного обеспечения для управления вычислительной системой при работе в реальном времени.
Книга представляет большой интерес для специалистов по вычислительной технике и программированию. Она будет полезна студентам и аспирантам соответствующих специальностей.

▼

▲

Ⓐ ⒸЯзыки и автоматы. [Djv-Fax- 6.2M] [Pdf-Fax- 7.8M] Сборник переводов. Под редакцией А.Н. Маслова и Э.Д. Стоцкого.
(Москва: Издательство «Мир»: Редакция литературы по математическим наукам, 1975. - Серия «Библиотека «Кибернетического сборника»)
Скан, обработка, формат Djv-Fax: ???, предоставил: bolega, 2010

СОДЕРЖАНИЕ:
Предисловие редакторов перевода (5).
I. КОНТЕКСТНО-СВОБОДНЫЕ ГРАММАТИКИ И АВТОМАТЫ С МАГАЗИННОЙ ПАМЯТЬЮ:
Дональд Кнут. О переводе (трансляции) языков слева направо. Перевод А.А. Мучника (9).
Дэниел Леман. LR(k)-грамматики и детерминированные языки. Перевод А.А. Мучника (43).
Джей Эрли. Эффективный алгоритм анализа контекстно-свободных языков. Перевод А.А. Мучника (47).
А. Коренлк, Дж. Хопкрофт. Простые детерминированные языки. Перевод А.Л. Фуксмана (71).
Эдвард Ашкрофт, Зохар Манна, Амир Пнуели. Разрешимые свойства одноаргументных функциональных схем. Перевод Л.И. Маслова (97).
Уильям Огден. Результат, полезный для доказательства существенной неоднозначности. Перевод М.В. Ломковской (109).
Джон Хопкрофт. О проблемах эквивалентности и включения для бесконтекстных языков. Перевод М.В. Ломковской (114).
Шейла Грейбах. О неразрешимых свойствах формальных языков. Перевод А.Л. Семенова (123).
II. РАСШИРЕНИЯ КОНТЕКСТНО-СВОБОДНЫХ ГРАММАТИК:
Альфред Ахо. Индексные грамматики - расширение контекстно-свободных грамматик. Перевод В.А. Козмидиади (130).
Шейла Грейбах, Джон Хопкрофт. Грамматики с рассеянным контекстом. Перевод Э.Д. Стоцкого (166).
А. Ахо, Дж. Хопкрофт, Дж. Улман. Временная и ленточная сложности языков, допускаемых магазинными автоматами. Перевод А.А. Мучника (185).
К. Чулик, II, Ч.Дж. Морей. Формальные схемы переводов. Перевод Е.С. Бургиной (198).
III. АКСИОМАТИЧЕСКИ ОПРЕДЕЛЯЕМЫЕ СЕМЕЙСТВА ЯЗЫКОВ:
Сеймур Гинзбург, Шейла Грейбах. Абстрактные семейства языков. Перевод А.Я. Диковского (233).
Сеймур Гинзбург, Шейла Грейбах. Главные абстрактные семейства языков. Перевод М.В. Ломковской (282).
Сеймур Гинзбург, Джин Роуз. Об однопорождаемости некоторых абстрактных семейств языков. Перевод А.Я. Диковского (321).
Дж. Уллиэн. Три теоремы о главных абстрактных семействах языков. Перевод А.Я. Диковского (341).

ИЗ ИЗДАНИЯ: Книга входит в известную серию «Библиотека «Кибернетического сборника» и содержит переводы наиболее важных статей последних лет по теории языков программирования. Эта тематика ранее затрагивалась в «Кибернетических сборниках» и сборниках переводов «Проблемы математической логики» («Мир», 1970) и «Сложность вычислений и алгоритмов» («Мир», 1974).
В сборнике три раздела. Первый посвящен контекстно-свободным языкам и открывается классической статьей Д. Кнута о языках, допускающих однопроходной анализ; в других статьях рассматриваются скорость распознавания языков и алгоритмические проблемы. Во втором разделе излагаются грамматики более общего вида - индексные, контекстные и грамматики с рассеянным контекстом. Несколько основополагающих статей третьего раздела посвящены аксиоматическому описанию языков; эта тематика еще не затрагивалась в отечественной литературе.
Книга рассчитана на специалистов по математической логике, языкам программирования, теории алгоритмов и математической лингвистике. Она будет полезна студентам и аспирантам указанных специальностей.