Уважаемые дамы и господа !! Для того, чтобы без "глюков" скачать файлы электронных публикаций, нажмите на подчеркнутую ссылку с файлом ПРАВОЙ кнопкой мыши, выберите команду "Save target as ..." ("Сохранить объект как ...") и сохраните файл электронной публикации на локальный компьютер. Электронные публикации обычно представлены в форматах Adobe PDF и DJVU.
§ 1. Численные алгоритмы
§ 2. Алгоритмы для решения логических задач
§ 3. Проблема слов
§ 4. Вычислительная машина с автоматическим управлением
§ 5. Программа (машинный алгоритм)
§ 6. Необходимость уточнения понятия алгоритма
§ 7. Машина Тьюринга
§ 8. Реализация алгоритма в машине Тьюринга
§ 9. Основная гипотеза теории алгоритмов
§ 10. Универсальная машина Тьюринга
§ 11. Алгоритмически неразрешимые проблемы
Краткая аннотация книги
Книга Б.А. Трахтенброта рассматривает в популярной форме основные вопросы теории алгоритмов и связь этой теории с современной машинной математикой. Автор подробно рассказывает об истории развития понятия алгоритм, о принципе работы современных быстродействующих вычислительных машин, об основах программирования, о схеме машины Тьюринга, об алгоритмически неразрешимых проблемах.
Книга рассчитана на школьников старших классов, преподавателей, инженерно-технических работников н всех лиц, интересующихся перспективами применения новой вычислительной техники.
Настоящая книга, являющаяся элементарным введением в теорию алгоритмов, посвящена разъяснению одного из самых основных понятий математики - понятия алгоритма; в ней рассматривается круг вопросов, лежащих на грани между математической логикой и теорией автоматических вычислительных машин.
В основу книги легли популярные лекции и обзорные доклады, с которыми автор выступал в г. Пензе, начиная с 1951 года, перед разными аудиториями, а также одноименная статья, написанная им для журнала "Математика в школе" (NN 4-5, 1956 г.).
В послевоенные годы получили большое развитие автоматические быстродействующие вычислительные машины, которые теперь применяются для решения самых разнообразных математических и логических задач. Характерная особенность этих машин, отличающая их от прежних вычислительных машин, заключается в том, что при выполнении своих функций, начиная с того момента, как в них введены начальные данные и программа, они работают без всякого вмешательства человека вплоть до выдачи окончательного результата. Производительность современных электронных автоматических машин огромна. Область применения автоматических машин продолжает расти: машины решают сложные системы уравнений, переводят с одного языка на другой, играют в шахматы и т. д. Очень велики перспективы применения на производстве автоматических машин, осуществляющих управление всем технологическим процессом в масштабе крупного завода. Кроме того, возможность быстрой и надежной математической обработки, а также анализа экспериментальных данных создает предпосылки для появления новых, ранее недоступных методов исследования во многих областях науки.
Теперь уже все признают, что автоматические вычислительные машины представляют собою мощные орудия умственного труда, способные не только облегчить умственный труд человека, но и полностью освободить человека от некоторых видов большой и напряженной умственной работы.
Вместе с тем достигнутые успехи могут породить и действительно порождают много неоправданных иллюзий и чисто фантастических прогнозов по поводу всемогущества машин. Особо следует указать на рекламную шумиху, поднятую в части зарубежной печати о "гигантском электронном мозге", об автоматах, способных решать любые задачи и заменить творческий труд ученого.
В связи с указанными обстоятельствами приобретает большую актуальность и остроту вопрос о том, какие виды умственной работы могут выполнять автоматические вычислительные машины. Этот вопрос с определенной точки зрения рассматривается и решается в современной теории алгоритмов, являющейся важной ветвью математической логики. Для математической логики характерно исследование сущности таких понятий, как "вычислительный процесс", "математическое доказательство", "алгоритм" и т. д. Еще за несколько лет до создания современных электронных автоматических вычислительных машин в математической логике были выработаны точные понятия "алгоритм" и общая схема автоматической вычислительной машины (машина Тьюринга), а также выяснена тесная связь между алгоритмами и машинами. Это позволило установить ряд важных теорем, раскрывающих сущность процессов, реализуемых в автоматических машинах; в частности, было строго доказано существование таких проблем, для которых невозможно машинное решение. Рассмотрению связи между алгоритмами и машинами и посвящена предлагаемая книга.
В §§ 1-3 на ряде примеров разъясняется, что такое алгоритм, и строятся алгоритмы для решения некоторых классов математических и логических задач.
В §§ 4-5 изложены принципы устройства электронных вычислительных машин и составления программ, т. е. алгоритмов, приспособленных для реализации их в машинах.
Параграфы 6-11 посвящены ряду важных фактов теории алгоритмов, причем в качестве основного понятия теории взято понятие машины Тьюринга.
Чисто техническая громоздкость многих доказательств не позволяет в такой небольшой книжке давать их полное изложение. Поэтому имеются некоторые отступления от строгости и полноты изложения, которые, однако, как нам кажется, не мешают, а, наоборот, благоприятствуют лучшему уяснению существа дела. Для общности картины кое-что дано в обзорном порядке (§ 6).
Вы можете использовать скачанные с веб-сайта книги и другие материалы только для личного ознакомления. Авторское право авторов книг и любых электронных приложений к ним (в том числе фото, видео, рукописи, архивы и прочее) не подлежит патентованию и подобным "искусственным" дополнительным мерам защиты авторского права - не патентуют рукописи, фотографии, видеоматериалы, формулы, графики, сводные таблицы, тексты монографий, черновики и оригинальные издания вне зависимости от того, находятся ли они в частных или государственных архивах любой страны. Вне зависимости от того, есть ли у книги или рукописи и автора какие-либо коды или нет, подписаны они или нет, известен автор или нет, является он(а) гражданином Украины или иностранцем - запрещено явным образом присваивать чужое авторское право и ставить чужие ФИО в чужих работах и трудах (в случае неуказанного, неустановленного или сомнительного авторства наиболее предпочтительно использовать анонимность - это корректно, этично и непротивозаконно, так как в этом случае истинные владельцы будут поданы в розыск и объективно установленны в своих правах независимой комиссией).
Сегодня электронный вариант публикации приравнен к печатной бумажной форме распространения информации (требования аналогичны). Наиболее предпочтительными являются международные форматы публикаций PDF и DJVU (они лучше всего защищены от сторонних модификаций - изменения в них могут внести только профессионалы), допускаются и другие общепринятые и широко распространенные форматы электронного представления авторской или смежной информации. Помните, что один человек сам по себе ничего не делает и не решает - у любого автора любого издания есть коллеги, единомышленники, соратники, кураторы, преподаватели, наставники, идейные, политические и научные руководители и вдохновители, предшественники и приемники, завистники и плагиаторы, желающие незаконно "упасть на хвост и поехать", "присоседиться к работе" и "присоединиться". Чем серьезнее ученый и чем более масштабные объективные и фундаментальные работы он(а) реально ведет, тем большее количество мошенников и аферистов желает незаконно "находиться" и "быть рядом" с таким человеком, его деньгами, премиями, подарками и другими объективными поощрениями. Поэтому все подобные аферисты и мошенники, как и их голословные заявления, подлежат строгой проверке на практике как гласными, так и негласными методами государственного, общественного и политического независимого контроля (в том числе судебного и силового).
Вам разрешается использовать электронные публикации и иные материалы только для личного ознакомления. Никаких дополнительных прав и свобод (в том числе авторских и коммерческих прав, в том числе права на коммерческое распространение) получение и обладание электронной и иной публикации и материалов Вам не предоставляет. Вам не дает никаких прав, в т.ч. авторских и смежных прав, личное знакомство с автором и правообладателем, совместное проживание, учеба или работа, семейный и иной статус, совместное хобби и увлечения, посещение одних и тех же мероприятий, встречи, конфликты и даже отсутствие таковых. Вы не имеете право продавать электронные публикации и иные авторские материалы, отчуждать их от владельца и извлекать материальную выгоду от владения электронной и иной формой представления авторской информации. Отчуждение авторского научного и творческого права запрещено вне зависимости от срока давности издания, способа и места его хранения, разрекламированности, известности или неизвестности и даже анонимности автора и соавтора, гражданства, здоровья, болезни и любого другого объективного статуса реального правообладателя. Запрещены фото- и видеомонтажи, врезки и изъятия, компиляция из сторонних источников и другие формы заведомого мошенничества. Запрещено иностранцам без признанной в Украине и документально подтвержденной профессии, без легитимных виз и специальных персонифицированных межгосударственных соглашений занимать рабочие места граждан Украины на территории Украины и во всех предприятиях, которые являются собственностью Украины и ее граждан вне зависимости от места регистарции и дислокации этих предприятий. Запрещено работать без рабочих виз на территории Украины гражданам и подданым стран, с которыми у Украины установлен визовый режим.
Авторское право (особенно научное и творческое) никогда не патентуется, не отчуждается ни при каких обстоятельствах, не продается и не покупается и является неотъемлимым от его создателя при любых обстоятельствах - патентуются только уникальные инженерные и программные разработки, авторские алгоритмы, изобретения и подобные материалы, содержащие более 60% объективно признанных независимой государственной экспертной комиссией авторских инноваций. Незаконным является присвоение себе чужих архивов, черновиков, заметок, аудио, фото и видеоматериалов (даже если вы не знаете их автора или же непосредственно знакомы с создателем и правообладателем, это ничего не решает). Научное и творческое авторское право не отчуждается от автора и создателя и никогда не делегируется третьим лицам (особенно без профессии и неконтрафактных документов) - оно является наиболее строгим авторским правом, неотделимым от своего создателя, и не подлежит передаче, купле и продаже ни при каких обстоятельствах. Оно только может быть передано в возмездное или безвозмездное пользование БЕЗ ПРАВА НА ОТЧУЖДЕНИЕ. Главной особенностью научного и творческого авторского права является его обязательная частичная передача в безвозмездное пользование широким слоям заинтересованного населения - на этом сайте все научные книги бесплаты и свободны для скачивания без паролей, кодов и ограничений (я как владелец этого сайта и интернет-хостинг-провайдеры не несем ответственность за деятельность третьих лиц, возможные сбои и технические нарушения интернет-связи при пользовании сайтами по вине третьих лиц). Никаких искусственных препятствий, ограничений скорости, других "негативов" и препятствий мы не устанавливаем.
Государство Украина имеет достаточную базу для обеспечения научных работ и научных исследований по всем законным направлениям научной деятельности. C 2010 г. в Украине любая наука и научные исследования являются объектами строгой государственной монополии и требуют наличия не только документально признанной в Украине профессии, но и высшего государственного образования, официально признанного в Украине.