Библиотека электронных книг г. Симферополя » Математика » Алгоритмы и рекурсивные функции - Мальцев А.И.

Книги

Алгоритмы и рекурсивные функции - Мальцев А.И.

 
Название: Алгоритмы и рекурсивные функции
Автор: Мальцев А.И.
Категория: Математика
Тип: Книга
Дата: 06.01.2009 15:47:22
Скачано: 626
Оценка:
Описание: Еще в 30-х годах нашего столетия математическая логика и возникавшая тогда теория алгоритмов казались наиболее абстрактными и наиболее далекими от практических приложений областями математики. В настоящее время положение коренным образом изменилось. Ныне общепризнанно, что обе названные области образуют теоретический фундамент для создания и применений быстродействующих вычислительных и управляющих систем. Резко возрос удельный вес математической логики и теории алгоритмов и в самой математике. Более того, в значительной степени через теорию алгоритмов и математическую логику происходит ныне проникновение математических методов в биологию, лингвистику, экономику вплоть до философии естествознания. Все это привело к тому, что математическую логику и теорию алгоритмов начали включать в учебные планы наших университетов и пединститутов в качестве дисциплин, обязательных для изучения студентами-математиками всех специальностей. Настоящая книга возникла в результате обработки конспектов лекций по математической логике, теории алгоритмов и их приложений, читавшихся автором в 1956— 1959 гг. в Ивановском педагогическим институте и с 1960 г. в Новосибирском университете. В ней излагается лишь общая теория алгоритмов и рекурсивных функций. Целиком за пределами книги остались теория автоматов, приложения теории алгоритмов к формальным теориям, теорпя степеней неразрешимости. Сколько-нибудь подробное изложение этих разделов в настоящее время требует специальных монографий. Более серьезным недостатком предлагаемой книги может оказаться отсутствие в ней сведений о реальных вычислительных машинах. Однако в настоящее время теория программирования и принципы устройства реальных вычислительных машин читаются во всех университетах в
Файл: 3.44 МБ
Скачать