Название: Математическое введение в информатику Автор: Дудаков С.М., Карлов Б.Н. Издательство: Тверь: Тверской государственный университет Год: 2017 Формат: pdf Страниц: 320 Для сайта:Mirknig.su Размер: 14 mb Язык: русский
В пособии освещаются теоретические вопросы программирования: связь и эквивалентность различных языков программирования, доказательство корректности программ, вычислительная сложность алгоритмов. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
Содержание: Предисловие. Ко второму изданию. К первому изданию. Введение. Основные понятия. Исторические сведения. Свойства алгоритмов и языков программирования. Примеры алгоритмов. Некоторые математические сведения. Алгебра и теория множеств. Графы. Математическая логика. Структурированные программы. Синтаксис. Семантика. Свойства структурированных программ. Простые программы. Подстановка. Программы с метками. Синтаксис. Семантика. Построение программ с метками. Построение структурированных программ. Блок-схемы. Корректность структурированных программ. Исчисления. Исчисление Хоара. Корректность циклов. Примеры формальных выводов. Исчисление предусловий. Существование слабейших предусловий. Невозможность автоматической верификации. Подпрограммы, функциональное программирование. Подпрограммы. Графы зависимости, списки и деревья вызовов. Функциональное программирование. Удаление подпрограмм. Корректность подпрограмм. Вычислительная сложность. Хранение чисел. Вычисления. Время и память вычисления. Предметный указатель. Список литературы.
Вычислительные методы математического анализа Название: Вычислительные методы математического анализа Автор: Варапаев В.Н. и др. Издательство: М.: Московский государственный строительный...
Дискретная математика (2014) Название: Дискретная математика Автор: Гладков Л.А., Курейчик В.В., Курейчик В.М. Издательство: Физматлит Год: 2014 Страниц: 496 Формат: pdf Размер:...
Дискретная математика для программистов Название: Дискретная математика для программистов Автор: Хаггарти Р. Издательство: Техносфера Год: 2012 Страниц: 400 ISBN: 978-5-94836-303-5 Формат:...
Информатика. Основополагающее введение. Часть 1 Название: Информатика. Основополагающее введение. Часть 1 Автор: Брой М. Издательство: М.: Диалог-МИФИ Год: 1996 Формат: pdf Страниц: 299 Размер: 14...
Инструменты, алгоритмы и структуры данных Название: Инструменты, алгоритмы и структуры данных Автор: Мейер Б. Издательство: М.: НОУ "Интуит" Год: 2016 Страниц: 542 Формат: PDF Размер: 50 Мб ...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.