Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>K=правильность программы<.>)

Общее количество найденных документов : 1

Вид документа : Однотомное издание
Шифр издания : 91545
Автор(ы) : Веретельникова Е. Л.
Заглавие : Теоретическая информатика. Доказательство правильности : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2016
Колич.характеристики :51 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2875-7: Б.ц.
УДК : 004.42
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): доказательство правильности--индуктивное утверждение--математическая индукция--правильность блок-схемы--правильность программы--рекурсивная программа--структурная индукция--теоретическая информатика--язык программирования
Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
(для доступа требуется авторизация)

Тематический навигатор

Статистика обращений

Статистика за 02.07.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)