Название: Математическое введение в информатику Автор: Дудаков С.М., Карлов Б.Н. Издательство: Тверь: Тверской государственный университет Год: 2017 Формат: pdf Страниц: 320 Для сайта:mymirknig.ru Размер: 14 mb Язык: русский
В пособии освещаются теоретические вопросы программирования: связь и эквивалентность различных языков программирования, доказательство корректности программ, вычислительная сложность алгоритмов. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
Содержание: Предисловие. Ко второму изданию. К первому изданию. Введение. Основные понятия. Исторические сведения. Свойства алгоритмов и языков программирования. Примеры алгоритмов. Некоторые математические сведения. Алгебра и теория множеств. Графы. Математическая логика. Структурированные программы. Синтаксис. Семантика. Свойства структурированных программ. Простые программы. Подстановка. Программы с метками. Синтаксис. Семантика. Построение программ с метками. Построение структурированных программ. Блок-схемы. Корректность структурированных программ. Исчисления. Исчисление Хоара. Корректность циклов. Примеры формальных выводов. Исчисление предусловий. Существование слабейших предусловий. Невозможность автоматической верификации. Подпрограммы, функциональное программирование. Подпрограммы. Графы зависимости, списки и деревья вызовов. Функциональное программирование. Удаление подпрограмм. Корректность подпрограмм. Вычислительная сложность. Хранение чисел. Вычисления. Время и память вычисления. Предметный указатель. Список литературы.