510.6Теория алгоритмов и вычисляемые функции. Математическая логика
← назад

Свободный доступ

Ограниченный доступ
Автор: Солтис Майкл
ДМК Пресс: М.
Книга представляет собой краткое, но математически строгое введение в анализ различных алгоритмов с точки зрения доказывания их правильности. Вы ознакомитесь с основными свойствами линейных, ветвящихся и циклических алгоритмов и способами их проверки. Книга содержит большое количество теоретических задач и практических примеров на языке Python.
Предпросмотр: Введение в анализ алгоритмов.pdf (0,7 Мб)
Автор: Фролов С. В.
ГИОРД: СПб.
Материал, сгруппированный по основным разделам математики (дифференциальное исчисление, интегралы, дифференциальные уравнения, ряды и пр.), пополнен некоторыми темами, не входящими в стандартный курс. В книге показано, как на практике работают разделы, изучаемые в курсе высшей математики. Учебное пособие способствует преодолению разрыва между материалом, излагаемым на первых курсах, и приложениями математики, с которыми студенты встречаются
на последних стадиях обучения.
Предпросмотр: Высшая математика. Этюды по теории и ее приложениям.pdf (0,3 Мб)