П 78 Проблемы математической логики [Текст] : сложность алгоритмов и классы вычислимых функций : сборник переводов / под ред. В. А. Козмидиади и и А. А. Мучника. - Москва : Мир, 1970. - 431, [1] с. : ил., табл. ; 22 см. - (Библиотека "Кибернетического сборника" : БКС). - Библиогр. в конце ст. - Содерж.: Некоторые классы рекурсивных функций / А. Гжегорчик ; пер. А. А. Мучника. Классы предсказуемо вычислимых функций / Р. В. Ричи ; пер. Н. Н. Катериночкина. Иерархия примитивно рекурсивных функций / Дж. П. Клив ; пер. С. С. Марченкова. Итерация примитивной рекурсии / П. Акст ; пер. А. Гагарина. Итерация относительной примитивной рекурсии / П. Акст ; пер. С. Каллибекова. Вычисления в реальное время и рекурсивные функции, не вычислимые в реальное время / Х. Ямада ; пер. В. Е. Фельдмана. Вычисления в реальное время / М. Рабин ; пер. В. Е. Фельдмана. Языки, определимые в реальное время / А. Розенберг ; пер. М. Афанасьева и М. В. Ломковской. Моделирование многоленточной машины Тьюринга на двуленточной / Ф. К. Хенни, Р. Е. Стирнз ; пер. Ю. А. Бухштаба. Методы перевода и сложность вычислений / С. С. Раби, П. К. Фишер ; пер. А. А. Мучника. Вычисления на одноленточной машине Тьюринга с записью на ленте / Ф. К. Хенни ; пер. Ю. Я. Брейтбарта. Вычисления на машинах Тьюринга со входом / Ф. К. Хенни ; пер. А. Набибина. Распознавание на машинах Тьюринга со входом / П. Стрнад ; пер. Ю. А. Бухштаба. Сложность вычислений на одноленточных машинах Тьюринга / Дж. Хартманис ; пер. А. А. Мучника. Иерархии вычислений с ограниченной памятью / Р. Е. Стирнз, Дж. Хартманис, П. М. Льюис II ; пер. М. И. Кановича. Границы памяти для разрешения контекстно-свободных и контекстных языков / М. П. Льюис II, Р. Е. Стирнз, Дж. Хартманис ; пер. М. И. Кановича. Об объеме памяти, необходимом для распознавания бесконтекстных языков / Дж. Хартманис ; пер. М. В. Ломковской. Распознавание и анализ контекстно-свободных языков за время n3 / Д. Х. Янгер ; пер. В. Е. Фельдмана. О времени машинного распознавания языков, порожденными линейными грамматиками / Т. Касами ; пер. В. Е. Фельдмана. Решение задачи о пересечении начала координат в реальное время / М. Фишер, А. Розенберг ; пер. В. Е. Фельдмана. Счетчиковые машины и счетчиковые языки / М. Фишер, А. Мейер, А. Розенберг ; пер. В. Е. Фельдмана. Машинно-независимая теория сложности рекурсивных функций / М. Блюм ; пер. В. А. Козмидиади. Об объеме машин / М. Блюм ; пер. А. А. Мучника. -
Логика--Сборники Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Козмидиади, В. А. \ред.\; Мучник, Альберт Арамович \ред.\ Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |