АННОТАЦИЯ у
Книга Б. А. Трахтенброта рассматривает . в популярной форме основные вопросы теории алгоритмов и связь этой теории с современной машинной математикой. Автор подробно рассказывает об историй развития понятия алгоритм, о принципе работы современных быстродействующих вычислительных машин, об основах программирования, о схеме машины Тьюринга, об алгоритмически неразрешимых проблемах.
Книга рассчитана на школьников старших классов, преподавателей, инженерно-технических работников и всех лиц, интересующихся перспективами применения нс« вой вычислительной техники.
СОДЕРЖАНИЕ
Предисловие. . . ,.......... .......• 4
Введение........................ 5
§ 1. Численные алгоритмы................. 7
§ 2. Алгоритмы для решения логических задач ...... ~ 12
§ 3. Проблема слов................-. . - . 23
§ 4. Вычислительная машина с автоматическим управлением . 37
§ 5. Программа (машинный алгоритм) ............ 44
§ 6. Необходимость уточнения понятия алгоритма ..... 52
§ 7. Машина Тьюринга.................• • 60
§ 8. Реализация алгоритма в машине Тьюринга....... 67
§ 9. Основная гипотеза теории алгоритмов......... 79
§ 10. Универсальная машина Тьюринга........... 82
§ 11. Алгоритмически неразрешимые проблемы...... . ^89
Заключительные замечания. . ,. . .. .. . . . . 94
ПРЕДИСЛОВИЕ ^
Настоящая книга, • являющаяся» элементарным введение»! в теорию алгоритмов, посвящена разъяснению одного из са»: мых основных понятий математики — понятия алгоритма;, в ней рассматривается круг вопросов, лежащих на грани1 между математической логикой и теорией автоматических вычислительных машин.
В основу книги легли популярные лекции и обзорные доклады, с которыми автор выступал в г. Пензе, начиная с 1951 года, перед разными аудиториями, а также одноименная статья, написанная им для журнала «Математика в школе» (№№ 4—5, 1956 г.). '
Тем, кто пожелает более основательно ознакомиться с ?этими вопросами, можно рекомендовать следующую литературу: =;
1. А. А. Марков, Теория алгорифмов, Труды матёму ин-та им. Стеклова, т. XLII, Изд-во Академии наук СССР, Москва, 1954 г.
2. Р. Петер, Рекурсивные функции, Москва, 1954,г,
3. А. И. Китов, Электронные вычислительные машины^ Изд-во Советское радио, Москва, 1956 г. ^
4. С. К л и н и, Введение в метаматематику, ИЛ, Москва," 1956г.
ВВЕДЕНИЕ
В послевоенные годы получили большое развитие автоматические быстродействующие вычислительные машины, которые теперь применяются для решения самых разнообразных математических и логических задач. Характерная особенность этих машин, отличающая их от прежних вычислительных машин, заключается в том, что при выполнении своих функций, начиная с того момента, как в них введены начальные данные и программа, они работают без всякого вмешательства человека вплоть до выдачи окончательного результата. Производительность современных электронных автоматических машин огромна: они способны выполнить в одну секунду до. 20000 арифметических onepaanftv что по крайней мере в 10 раз больше того, что может сделать за смену квалифицированный вычислитель, работающий на хорошем клавишном арифмометре*). Область применения автоматических машин продолжает расти: машины решают сложные системы уравнений, переводят с одного языка на другой, играют в шахматы и т. д. Очень велики перепек* тивы применения на производстве автоматических машин5 осуществляющих управление всем технологическим процессом в масштабе, крупного завода* Кроме того, возможность быстрой и надежной математической обработки, а также анализа экспериментальных данных создает предпосылки для появления новых, ранее недоступных методов исследо» вания во многих областях науки.
Теперь уже -все признают, что автоматические вычислительные машины представляют собою мощные орудия ум* ственного труда, способные не только облегчить умственный труд человека, но и полностью освободить человека от некоторых видов большой и напряженной умственной .работы»
*) С точки зрения производства: операций^
Цена: 150руб.
