Предисловие,......... Введение............. РАЗДЕЛ I. ОСНОВНЫЕ СВОЙСТВА КЛАССА ЭЛЕМЕНТАРНЫХ АЛГОРИТМОВ Глава 1. Начальные сведения....... • § 1. Алгоритмы, вычислимые на ЭВМ, и элементарные алгоритмы............ § 2. Оценки функций посредством итераций экспонент § 3. Определение элементарных алгоритмов..... § 4. Определение классов функций, элементарных по Сколему и по Кальмару.......... § 5. Использование логических связок, ограниченных кванторов и ограниченного перебора для построения функций классов СиК............ § 6. Замкнутость относительно контролируемой рекурсии класса функций, элементарных по Кальмару..... § 7. Элементарность по Кальмару каждого элементарного алгоритма............ § 8. Задание функций посредством одноместных операций суммирования и суженного суммирования..... § 9. Построение функций с ограниченным числом аргументов, не использующее функций с большим числом аргументов Г лава 2. Примитивно рекурсивные программы..... § 1. Определение примитивно рекурсивных программ над натуральными числами......... § 2. Функции, вычислимые примитивно рекурсивными программами............ § 3. Программы, корректные в целом.... § 4. Исчисление равенств примитивно рекурсивных программ Глава 3. Установление элементарности простейших примитивно рекурсивных программ........ § 1. Примитивно рекурсивные программы, вычисляющие элементарные функции.......... § 2. Представление элементарных функций некоторым классом примитивно рекурсивных программ...... § 3. Классификация элементарных поограмм..... § 4. Класс примитивно рекурсивных программ е полиномиально
ограниченными регистрами.......73
Краткий комментарии...........77
РАЗДЕЛ II ГРАНИЦЫ ОПТИМИЗАЦИИ УСТАНОВЛЕНИЯ РАЗРЕШИМОСТИ СИНТАКСИЧЕСКИ ОГРАНИЧЕННЫХ УРАВНЕНИИ НЕКОТОРЫХ СИГНАТУР
Глава 1. Границы оптимизации установления разрешимости синтаксически ограниченных логико-арифметических уравнений. 82
§ 1. Представление предикатов, вычислимых недетерминированно за ограниченное число шагов, синтаксически ограниченными уравнениями над битовыми строками.....—
§ 2. Взаимопредставление недетерминированных вычислений логико-арифметическими уравнениями.....88
§ 3. Иерархия диофантовых представлений примитивно рекурсивных предикатов.........96
§ 4. Простые представления примитивно рекурсивных функции
в иерархии Гжегорчика........101
§ 5. Разрешимость синтаксически ограниченных логико-арифметических уравнений (серия переборных задач с высокими полиномиальными границами оптимизации установления их разрешимости)..........104
§ 6. Экспоненциальная сложность любой схемы, реализующей
проверку разрешимости логико-арифметических уравнений. НО
§ 7. Экспоненциальная сложность любой схемы, реализующей
одну быстро вычислимую функцию......113
Глава 2. Границы оптимизации установления непротиворечивости описания контактных схем из функциональных элементов, реализующих логические связки......116
§ 1. Булевы функциональные уравнения.....—
§ 2. Граница оптимизации числа шагов алгоритмов установления
разрешимости булевых функциональных уравнений.. 121 § 3. Иерархия всех булевых функциональных уравнений (примеры простых переборных задач с полиномиальными границами оптимизации времени их решения).....124
Комментарии............128
Приложение 1. Угадывающие машины Тьюринга.....144
Приложение 2. Темы для самостоятельных размышлений...146 Указатель литературы...,...,,..148
|
2023. 720 с. Твердый переплет. 16.9 EUR
Книга «Зияющие высоты» – первый, главный, социологический роман, созданный интеллектуальной легендой нашего времени – Александром Александровичем Зиновьевым (1922-2006), единственным российским лауреатом Премии Алексиса де Токвиля, членом многочисленных международных академий, автором десятков логических... (Подробнее) URSS. 2023. 272 с. Мягкая обложка. 15.9 EUR
Настоящая книга посвящена рассмотрению базовых понятий и техник психологического консультирования. В ней детально представлены структура процесса консультирования, описаны основные его этапы, содержание деятельности психолога и приемы, которые могут быть использованы на каждом из них. В книге... (Подробнее) 2023. 696 с. Твердый переплет в суперобложке. 119.9 EUR
Опираясь на новейшие исследования, историк Кристофер Кларк предлагает свежий взгляд на Первую мировую войну, сосредотачивая внимание не на полях сражений и кровопролитии, а на сложных событиях и отношениях, которые привели группу благонамеренных лидеров к жестокому конфликту. Кларк прослеживает... (Подробнее) URSS. 2024. 704 с. Твердый переплет. 26.9 EUR
В новой книге профессора В.Н.Лексина подведены итоги многолетних исследований одной из фундаментальных проблем бытия — дихотомии естественной неминуемости и широчайшего присутствия смерти в пространстве жизни и инстинктивного неприятия всего связанного со смертью в обыденном сознании. Впервые... (Подробнее) URSS. 2024. 800 с. Мягкая обложка. 37.9 EUR
ВЕРСАЛЬ: ЖЕЛАННЫЙ МИР ИЛИ ПЛАН БУДУЩЕЙ ВОЙНЫ?. 224 стр. (ТВЁРДЫЙ ПЕРЕПЛЁТ) 11 ноября 1918 года в старом вагоне неподалеку от Компьеня было подписано перемирие, которое означало окончание Первой мировой войны. Через полгода, 28 июня 1919 года, был подписан Версальский договор — вердикт, возлагавший... (Подробнее) URSS. 2024. 344 с. Мягкая обложка. 18.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
Вам кажется, что экономика — это очень скучно? Тогда мы идем к вам! Вам даже не понадобится «стоп-слово», чтобы разобраться в заумных формулах — их в книге нет! Все проще, чем кажется. Автор подаст вам экономику под таким дерзким соусом, что вы проглотите ее не жуя! Вы получите необходимые... (Подробнее) |