Теоретическая информатика. Доказательство правильности. Учебное пособие
Об издании
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
Библиографическая запись
Веретельникова Е.Л. Теоретическая информатика. Доказательство правильности : учебное пособие / Веретельникова Е.Л.. — Новосибирск : Новосибирский государственный технический университет, 2016. — 51 c. — ISBN 978-5-7782-2875-7. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/91545.html (дата обращения: 15.12.2025). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Братановский С.Н., Зинчук Г.М., Капитанец Ю.В., Соцков В.В.
(Ай Пи Ар Медиа)
Доронина И.Н., Киреева О.А.
(Ай Пи Ар Медиа)
Мартынов А.П., Мартынова И.А., Русаков А.А.
(Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Акинфиева В.В., Аристов Е.В., Афанасьев А.Б., Богданов А.В., Валеев Д.Х., Воронцов С.Г., Глевич М.А., Голубцов В.Г., Загоруйко И.Ю., Клячин А.А., Кузнецова О.А., Латыпов Д.Н., Левченко С.А., Любимова...
(Статут)
Эриашвили Н.Д., Тиникашвили Т.Ш., Суглобов А.Е., Литвиненко А.Н., Фетисов В.Д., Ремиханова Д.А., Балихина Н.В., Косов М.Е., Иванова Я.Я., Малашенко Г.Т., Буздалина О.Б., Сигарев А.В., Рогова Т.М., Ша...
(ЮНИТИ-ДАНА)
Глотова И.И., Агаркова Л.В., Доронин Б.А., Томилина Е.П., Клишина Ю.Е., Углицких О.Н., Сафиуллаева Р.И.
(Ставропольский государственный аграрный университет)
Дедюхина И.Ф., Жданова О.В., Лабовская Ю.В., Луговской С.И., Шевченко Е.А.
(Ставропольский государственный аграрный университет)
Абушенко Д.Б., Брановицкий К.Л., Воложанин В.П., Дегтярев С.Л., Долганичев В.В., Загайнова С.К., Комиссаров К.И., Конев Д.В., Кузнецов Е.Н., Куликова М.А., Ренц И.Г., Решетникова И.В., Осипов Ю.К., П...
(Статут)
Алексеева О.Л., Ворожевич А.С., Гринь Е.С., Демкина А.В., Корнеев В.А., Крашенинников П.В., Молотников А.Е., Мурзин Д.В., Нагродская В.Б., Новоселова Л.А., Рузакова О.А., Снегур А.А., Усольцева С.В.,...
(Статут)