Добавить в избранное
Форум
Правила сайта "Мир Книг"
Группа в Вконтакте
Подписка на книги
Правообладателям
Найти книгу:
Навигация
Вход на сайт
Регистрация



Реклама
Математическое введение в информатику     КНИГИ » НАУКА И УЧЕБА


Название: Математическое введение в информатику
Автор: Дудаков С.М., Карлов Б.Н.
Издательство: Тверь: Тверской государственный университет
Год: 2017
Формат: pdf
Страниц: 320
Для сайта: Mirknig.su
Размер: 14 mb
Язык: русский

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

Содержание:
Предисловие.
Ко второму изданию.
К первому изданию.
Введение.
Основные понятия.
Исторические сведения.
Свойства алгоритмов и языков программирования.
Примеры алгоритмов.
Некоторые математические сведения.
Алгебра и теория множеств.
Графы.
Математическая логика.
Структурированные программы.
Синтаксис.
Семантика.
Свойства структурированных программ.
Простые программы.
Подстановка.
Программы с метками.
Синтаксис.
Семантика.
Построение программ с метками.
Построение структурированных программ.
Блок-схемы.
Корректность структурированных программ.
Исчисления.
Исчисление Хоара.
Корректность циклов.
Примеры формальных выводов.
Исчисление предусловий.
Существование слабейших предусловий.
Невозможность автоматической верификации.
Подпрограммы, функциональное программирование.
Подпрограммы.
Графы зависимости, списки и деревья вызовов.
Функциональное программирование.
Удаление подпрограмм.
Корректность подпрограмм.
Вычислительная сложность.
Хранение чисел.
Вычисления.
Время и память вычисления.
Предметный указатель.
Список литературы.







НЕ РАБОТАЕТ TURBOBIT.NET? ЕСТЬ РЕШЕНИЕ, ЖМИ СЮДА!





Автор: na5ballov 13-11-2018, 14:08 | Напечатать |
 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.



С этой публикацией часто скачивают:

Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.

 MirKnig.Su  ©2021     При использовании материалов библиотеки обязательна обратная активная ссылка    Политика конфиденциальности