Математическое введение в информатику, учебник, Дудаков С.М., Карлов Б.Н., 2017

Математическое введение в информатику, Учебник, Дудаков С.М., Карлов Б.Н., 2017.

В пособии освещаются теоретические вопросы программирования: связь и эквивалентность различных языков программирования, доказательство корректности программ, вычислительная сложность алгоритмов.Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».




Основные понятия.
С некоторым допущением можно сказать, что информатика — это наука о способах автоматической обработки данных. Это далеко не единственная дисциплина, изучающая подобного рода вопросы. Например, математическая логика, дискретная математика, теория вероятностей тоже тем или иным способом затрагивают эту тему. Можно сказать, что информатика, в отличие от перечисленных выше дисциплин, изучает, прежде всего, вопрос практического использования этих методов. Разумеется, широкое практическое использование невозможно без теоретических основ, поэтому можно считать, что теоретические дисциплины образуют фундамент для информатики.

Оглавление
Предисловие.
Глава 1.Введение.
1.1.Основные понятия.
1.2.Исторические сведения.
1.3.Свойства алгоритмов и языков программирования.
1.4.Примеры алгоритмов.
Глава 2.Некоторые математические сведения.
2.1.Алгебра и теория множеств.
2.2.Графы.
2.3.Математическая логика.
Глава 3.Структурированные программы.
3.1.Синтаксис.
3.2.Семантика.
3.3.Свойства структурированных программ.
3.4.Простые программ.
3.5.Подстановка.
Глава 4.Программы с метками.
4.1.Синтаксис.
4.2.Семантика.
4.3.Построение программ с метками.
4.4.Построение структурированных программ.
4.5.Блок-схемы.
Глава 5.Корректность структурированных программ.
5.1.Исчисления.
5.2.Исчисление Хоара.
5.3.Корректность циклов.
5.4.Примеры формальных выводов.
5.5.Исчисление предусловий.
5.6.Существование слабейших предусловий.
5.7.Невозможность автоматической верификации.
Глава 6.Подпрограммы, функциональное программирование.
6.1.Подпрограммы.
6.2.Графы зависимости, списки и деревья вызовов.
6.3.Функциональное программирование.
6.4.Удаление подпрограмм.
6.5.Корректность подпрограмм.
Глава 7.Вычислительная сложность.
7.1.Хранение чисел.
7.2.Вычисления.
7.3.Время и память вычисления
Предметный указатель.
Список литературы.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Математическое введение в информатику, учебник, Дудаков С.М., Карлов Б.Н., 2017 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу, если она есть в продаже, и похожие книги по лучшей цене со скидкой с доставкой по всей России.Купить книги


Скачать - pdf - Яндекс.Диск.




Теги: информатика :: программирование :: Дудаков :: Карлов