Алгоритми: основні ідеї та програми

Автори: Успенський, Володимир, Семенов, А.Л.

алгоритми

Придбайте цю книгу

  • ISBN 978-94-015-8232-2
  • Цифрові водяні знаки, без DRM
  • Включений формат: PDF
  • Електронні книги можна використовувати на всіх пристроях для читання
  • Безпосереднє завантаження електронної книги після покупки

Тверда обкладинка 199,99 €
  • ISBN 978-0-7923-2210-8
  • Безкоштовна доставка для приватних осіб по всьому світу
  • Інституційні клієнти повинні зв’язатися зі своїм менеджером облікового запису
  • Зверніть увагу, що застосовуються обмеження щодо доставки Covid-19. Будь ласка, перегляньте перед замовленням
  • Зазвичай готовий до відправлення протягом 3 - 5 робочих днів, якщо є на складі
М'яка обкладинка 199,99 €
  • ISBN 978-90-481-4256-9
  • Безкоштовна доставка для приватних осіб по всьому світу
  • Інституційні клієнти повинні зв’язатися зі своїм менеджером облікового запису
  • Зверніть увагу, що застосовуються обмеження щодо доставки Covid-19. Будь ласка, перегляньте перед замовленням
  • Зазвичай готовий до відправлення протягом 3 - 5 робочих днів, якщо є на складі

Сьогодні поняття алгоритму знайоме не тільки математикам. Це формує концептуальну базу для обробки інформації; існування відповідного алгоритму робить можливим автоматичну обробку інформації. Теорія алгоритмів (разом із математичною логікою) формує оретичну основу сучасної інформатики (див. [Sem Us 86]; ця стаття називається "Математична логіка в обчислювальній техніці та обчислювальній практиці"), і в її назві математична логіка розуміється в широкий сенс, включаючи теорію алгоритмів). Однак не всі усвідомлюють, що слово "алгоритм" включає трансформований топонім Хорезм. Алгоритми були названі на честь великого вченого середньовічного Сходу, це аль-Харізмі (де аль-Хорезмі означає "з Хорезму"). Він жив між c. 783 та 850 рр. До н. Е. і 1983 рік був обраний для святкування його 1200-річчя. Коротка біографія аль-Хорізмі, складена в Х столітті, починається таким чином: "Аль-Харізмі. Його звуть Мухаммад ібн Муса, він з Хорезму" (цитується за [Bul Rozen Ah 83, p.8]).

Зміст (30 розділів)

Успенський, Володимир (та ін.)

Позначення та термінологія

Успенський, Володимир (та ін.)

Попередні поняття теорії алгоритмів: конструктивні об'єкти та сукупності; місцеві властивості та місцеві дії

Успенський, Володимир (та ін.)

Загальне поняття алгоритму як самостійного (окремого) поняття

Успенський, Володимир (та ін.)

Репрезентативні обчислювальні моделі

Успенський, Володимир (та ін.)

Загальне поняття числення як самостійного (окремого) поняття

Успенський, Володимир (та ін.)

Репрезентативні генеруючі моделі

Успенський, Володимир (та ін.)

Взаємозв’язки між алгоритмами та обчисленнями

Успенський, Володимир (та ін.)

Час і простір як складність обчислень та генерації

Успенський, Володимир (та ін.)

Обчислювані функції та набори, що генеруються; прийнятні набори; незліченні набори

Успенський, Володимир (та ін.)

Поняття μ-рекурсивної функції

Успенський, Володимир (та ін.)

Можливість арифметичного і навіть діофантового подання будь-якої незліченної множини натуральних чисел

Успенський, Володимир (та ін.)

Побудова нерозбірливої ​​множини, що підлягає утворенню

Успенський, Володимир (та ін.)

Проблема скорочуваності Поста

Успенський, Володимир (та ін.)

Поняття відносного алгоритму або алгоритму оракула

Успенський, Володимир (та ін.)

Поняття обчислюваної операції

Успенський, Володимир (та ін.)

Поняття програми; програми як об'єкти обчислення та генерації

Успенський, Володимир (та ін.)

Поняття нумерації та теорія нумерації

Успенський, Володимир (та ін.)

Перші кроки в інваріантній або незалежній від машини теорії складності обчислень

Успенський, Володимир (та ін.)

Теорія складності та ентропії конструктивних об'єктів

Успенський, Володимир (та ін.)

Зручні обчислювальні моделі

Успенський, Володимир (та ін.)

Розслідування масових проблем

Успенський, Володимир (та ін.)

Додатки до основ математики: конструктивна семантика

Успенський, Володимир (та ін.)

Застосування до математичної логіки: формалізовані мови логіки та арифметики

Успенський, Володимир (та ін.)

Успенський, Володимир (та ін.)

Успенський, Володимир (та ін.)

Застосування до теорії ймовірностей: визначення випадкової послідовності

Успенський, Володимир (та ін.)

Застосування до теорії інформації: алгоритмічний підхід до поняття кількості інформації

Успенський, Володимир (та ін.)

Межі складності певних проблем

Успенський, Володимир (та ін.)

Вплив теорії алгоритмів на алгоритмічну практику