Показать ещё...
От редактора............. Предисловие............. Глава 1. Вычислимость и разрешимость..... § 1. Вычислимые функции, алгоритмы 1.1. Функции......... 1.2. Словарные функции...... 1.3. Вычислимые функции и машины Тьюринга........... 1.4. Пример машины Тьюринга. 1.5. Словарное представление машины Тьюринга.......... § 2. Разрешимые и неразрешимые проблемы. 2.1. Массовые алгоритмические проблемы 2.2. Проблема остановки...... 2.3. Проблема пустой ленты и метод сведения 2.4. Проблема зацикливания..... Краткий обзор и комментарии..... Глава 2. Конечные автоматы........ § 1. Одноленточные автоматы...... 1.1. Определение автомата...... 1.2. Проблемы пустоты и эквивалентности § 2. Многоленточные и многоголовочные автоматы 2.1. Определения и пример..... 2.2. Проблемы пустоты и эквивалентности Краткий обзор и комментарии..... Глава 3. Стандартные схемы программ..... § 1. Схемы программ........ 1.1. Программы......... 1.2. От программ к схемам программ § 2. Класс стандартных схем...... 2.1. Базис.......... 2.2. Стандартная схема (линейная форма) 2.3. Стандартная схема (графовая форма) 2.4. Интерпретация, программа.... 2.5. Примеры программ. ;.... § 3. Эквивалентность и главные свойства стандартных схем.........
3.1. Эквивалентность, тотальность, пустота, свобода.........
3.2. Свободные интерпретации....
3.3. Связь между интерпретациями и свободными интерпретациями.....
3.4. Основные теоремы о свободных интерпретациях.........
Краткий обзор и комментарии......
Глава 4. Неразрешимые свойства стандартных схем.
§ 1. Двоичный двухголовочный автомат. § 2. Моделирование двоичного автомата стандартной схемой........
2.1. Класс 9'\ стандартных схем....
2.2. Построение схемы, моделирующей авто-
мат..........
•§ 3. Теоремы о неразрешимых свойствах стандартных схем..........
3.1. Проблемы пустоты и эквивалентности
3.2. Проблема тотальности......
3.3. Проблема свободы.......
Краткий обзор и комментарии......
Глава 5. Разрешимые подклассы стандартных схем
§ 1. Свободные стандартные схемы....
1.1. Проблемы пустоты и тотальности
1.2. Проблема изоморфизма.....
§ 2. Схемы Янова.........
2.1. Класс схем Янова.......
2.2. Эквивалентные преобразования.
2.3. Канонические схемы.
§ 3. Разрешимые свойства схем Янова.
3.1. Построение канонических схем.. •.
3.2. Проблемы свободы, пустоты, тотальности
3.3. Проблема эквивалентности... Краткий обзор и комментарии.
Глава 6. Рекурсивные схемы.........
§ 1. Класс рекурсивных схем..
1.1. Рекурсивное программирование
1.2. Определение рекурсивной схемы..
1.3. Рекурсивная программа.... -. § 2. Проблемы трансляции.... ¦.
2.1. О сравнении классов схем...
2.2. Трансляция стандартных схем в рекурсивные.....• • •, •
2.3. Трансляция рекурсивных схем в стандартные......
§ 3. Линейные унарные рекурсивные схемы
3.1. Проблема трансляции.
3.2. Лраволинейные унарные схемы.
§ 4. Схемы с процедурами.......
4.1. Сравнение с классом рекурсивных схем
4.2. Частичная трансляция схем с процедурами...........
Краткий обзор и комментарии......
Глава 7. Обогащенные схемы........
§ 1. Классы обогащенных схем.....
1.1. Счетчики, магазины, массивы....
1.2. Примеры обогащенных схем.
§ 2 Проблемы трансляции.......
2.1. Счетчиковые и рекурсивные схемы.
2.2. Счетчиковые и стандартные схемы
2.3. Счетчиковые и магазинные схемы
2.4. Магазинные схемы и схемы с массивами
2.5. Магазинные и рекурсивные схемы
2.6. Сравнительная схематология.... Краткий обзор и комментарии......
Глава 8. Схема структурированных программ.
§ 1. Структурированные схемы.....
1.1. Класс структурированных схем.
1.2. Трансляция структурированных схем
в стандартные........
1.3. Трансляция стандартных схем в структурированные.........
§ 2. Структурированные схемы с логическими операциями..........
Литература..............
Предметный указатель...........
|
2023. 720 с. Твердый переплет. 16.9 EUR
Книга «Зияющие высоты» – первый, главный, социологический роман, созданный интеллектуальной легендой нашего времени – Александром Александровичем Зиновьевым (1922-2006), единственным российским лауреатом Премии Алексиса де Токвиля, членом многочисленных международных академий, автором десятков логических... (Подробнее) URSS. 2024. 800 с. Мягкая обложка. 37.9 EUR
ВЕРСАЛЬ: ЖЕЛАННЫЙ МИР ИЛИ ПЛАН БУДУЩЕЙ ВОЙНЫ?. 224 стр. (ТВЁРДЫЙ ПЕРЕПЛЁТ) 11 ноября 1918 года в старом вагоне неподалеку от Компьеня было подписано перемирие, которое означало окончание Первой мировой войны. Через полгода, 28 июня 1919 года, был подписан Версальский договор — вердикт, возлагавший... (Подробнее) 2023. 696 с. Твердый переплет в суперобложке. 119.9 EUR
Опираясь на новейшие исследования, историк Кристофер Кларк предлагает свежий взгляд на Первую мировую войну, сосредотачивая внимание не на полях сражений и кровопролитии, а на сложных событиях и отношениях, которые привели группу благонамеренных лидеров к жестокому конфликту. Кларк прослеживает... (Подробнее) URSS. 2024. 704 с. Твердый переплет. 26.9 EUR
В новой книге профессора В.Н.Лексина подведены итоги многолетних исследований одной из фундаментальных проблем бытия — дихотомии естественной неминуемости и широчайшего присутствия смерти в пространстве жизни и инстинктивного неприятия всего связанного со смертью в обыденном сознании. Впервые... (Подробнее) URSS. 2024. 344 с. Мягкая обложка. 18.9 EUR
Мы очень часто сталкиваемся с чудом самоорганизации. Оно воспринимается как само собой разумеющееся, не требующее внимания, радости и удивления. Из случайно брошенного замечания на семинаре странным образом возникает новая задача. Размышления над ней вовлекают коллег, появляются новые идеи, надежды,... (Подробнее) URSS. 2023. 272 с. Мягкая обложка. 15.9 EUR
Настоящая книга посвящена рассмотрению базовых понятий и техник психологического консультирования. В ней детально представлены структура процесса консультирования, описаны основные его этапы, содержание деятельности психолога и приемы, которые могут быть использованы на каждом из них. В книге... (Подробнее) URSS. 2024. 576 с. Мягкая обложка. 23.9 EUR
Эта книга — самоучитель по военной стратегии. Прочитав её, вы получите представление о принципах военной стратегии и сможете применять их на практике — в стратегических компьютерных играх и реальном мире. Книга состоит из пяти частей. Первая вводит читателя в мир игр: что в играх... (Подробнее) URSS. 2024. 248 с. Мягкая обложка. 14.9 EUR
В книге изложены вопросы новой области современной медицины — «Anti-Ageing Medicine» (Медицина антистарения, или Антивозрастная медицина), которая совмещает глубокие фундаментальные исследования в биомедицине и широкие профилактические возможности практической медицины, а также современные общеоздоровительные... (Подробнее) URSS. 2024. 240 с. Твердый переплет. 23.9 EUR
Предлагаемая вниманию читателей книга, написанная крупным биологом и государственным деятелем Н.Н.Воронцовым, посвящена жизни и творчеству выдающегося ученого-математика, обогатившего советскую науку в области теории множеств, кибернетики и программирования — Алексея Андреевича Ляпунова. Книга написана... (Подробнее) 2023. 416 с. Твердый переплет. 19.9 EUR
Вам кажется, что экономика — это очень скучно? Тогда мы идем к вам! Вам даже не понадобится «стоп-слово», чтобы разобраться в заумных формулах — их в книге нет! Все проще, чем кажется. Автор подаст вам экономику под таким дерзким соусом, что вы проглотите ее не жуя! Вы получите необходимые... (Подробнее) |