- Артикул:00-01119818
- Автор: Н. А. Криницкий
- Обложка: Мягкая обложка
- Издательство: Наука (все книги издательства)
- Город: Москва
- Страниц: 224
- Формат: 84х108 1/32
- Год: 1977
- Вес: 280 г
- Серия: Проблемы науки и технического прогресса (все товары серии)
Развернуть ▼
Книга посвящена важнейшему разделу современной прикладной математики - теории алгоритмов. Рассматриваются ее наиболее важные приложения в области электронных вычислительных машин, программирования, автоматизации процессов управления.
Актуальность темы, высокий научный уровень и вместе с тем популярная форма изложения делают книгу полезной как для специалистов, так и для широкого круга читателей, интересующихся последними достижениями современной пауки и техники.
Содержание
Глава 1. Алгоритмы в интуитивном смысле
§ 1. «Алгоритмические джунгли»
§ 2. Исходные данные и результаты
Массовость алгоритма
§ 3. Потенциальная осуществимость алгоритма
§ 4. Понятность алгоритма
§ 5. Рекурсивные определении
§ 6. Определенность алгоритма
§ 7. Выводы
Глава 2. Создание алгоритмов
§ 1. Роль алгоритмов в пауке и технике
§ 2. Как возникают алгоритмы
§ 3. Алгоритмы в математике
§ 4. Алгоритм Евклида
§ 5. Решето Эратосфена
§ 6. Алгоритм разложения па простые множители. Определение наименьшего кратного двух чисел
§ 7. Распознавание алгебраического тождества
§ 8. Задачи на построение алгоритмов
Глава 3. Кризис математики в начале XX в
§ 1. Арифметизация математики
§ 2. Теория множеств
§ 3. Кардинальные числа
§ 4. Антиномии
§ 5. Выводы из антиномий
Глава 4. Традиционные теории алгоритмов
§ 1. Рекурсивные функции
§ 2. Машины Тьюринга
§ 3. Нормальные алгорифмы Маркова
§ 4. Эквивалентность описанных теорий
Глава 5. Алгоритмически неразрешимые проблемы
§ 1. Массовые проблемы. Неразрешимость проблем
§ 2. Экстраалгоритм и три неразрешимые проблемы
§ 3. Некоторые замечания
Глава 6. Электронные вычислительные машины и программирование
§ 1. Устройство ЭВМ
§ 2. Процессоры ЭВМ. Рабочий цикл
§ 3. Что такое программа
§ 4. Особенности современных ЭВМ
§ 5. Входные языки программирования
§ 6. Необходимость содержательной теории алгоритмов. Какой она должна быть
Глава 7. Формальные языки
§ 1. Анализ естественного языка
§ 2. Искусственные языки. Формальные языки
§ 3. Буквы, связи, оболочки, конструкции
§ 4. Формальные грамматики
§ 5. Нотация Бекуса. Тезаурусы
Глава 8. Расширение точного понятия алгоритма
§ 1. Что такое операция?
§ 2. Натуральные операции
§ 3. Линеаризация и делинеаризация
§ 4. Первичные алгоритмы
§ 5. Натуральные алгоритмы
§ 6. Ограничения на структуру исходных данных сняты
§ 7. Алгоритмы в широком смысле. Еще две степени свободы
§ 8. Соотношение с алгоритмами в интуитивном смысле
§ 9. Формальная семантика формального языка
Глава 9. Математическое обеспечение ЭВМ
§ 1. Анализ ЭВМ и программ
§ 2. Что такое математическое обеспечение ЭВМ
§ 3. Функциональная классификация программ математического обеспечения ЭВМ
§ 4. Операционные системы
Глава 10. Алгоритмы и автоматизация процессов
§ 1. Использование ЭВМ для управления
§ 2. Информационные системы
§ 3. Алгоритмизация процессов
§ 4. Язык алгоритмизации процессов
§ 5. Наука и искусство алгоритмизации
Заключение
§ 1. Может ли машина мыслить? Может ли человек решить алгоритмически неразрешимую проблему?
§ 2. Детерминированность машин. Самообучение
§ 3. Последние замечания