С. А. Ивановский разработкакорректныхпрограм м санкт-Петербург 2003

Учебное пособие Редактор А. В. Крейцер Издательство спбгэту «лэти» 1 97376, С. Петербург, ул. Проф. Попова, 5
2. Деревья поиска Идеально сбалансированные бинарные деревья
2 Случайные бинарные деревья поиска
Абракадабра!, содержащий 12 символов, включая специальный символ !
Задача кодирования сообщений. Префиксные коды и деревья Пусть задан алфавит
1 Код Фано-Шеннона
1 Метод Хаффмана
1 Реализация алгоритмов кодирования
1 Доказательство оптимальности кода Хаффмана Лемма 1
1 Энтропийная оценка средней длины кода
1 Динамическое кодирование по Хаффману
Абракадабра!, содержащий 12 символов, включая специальный символ !
Абракадабра!, содержащий 12 символов, включая специальный символ !
А. Ю. Алексеев с. А. Ивановский д. В. Куликов
При обучении программированию особую трудность вызывает работа с динамическими структурами данных
2. стеки и очереди спецификация стека и очереди
3 Определения дерева, леса, бинарного дерева. Скобочное представление
Примечания и библиографические указания
Списки
Задача о порядке перемножения матриц
С. А. Ивановский разработкакорректныхпрограм м санкт-Петербург 2003
Программирования
Разработка, доказательство корректности и анализ алгоритма
2. основы аналитической верификации программ основные правила аналитической верификации программ
3. индуктивные функции на последовательностях
4. корректность программ при работе с массивами
5. поиск в массиве линейный поиск
Разработка, доказательство корректности
Шень А. Программирование: теоремы и задачи: Учеб пособие

скачать doc

Министерство образования РФ

-------------

Санкт-Петербургский государственный электротехнический

университет «ЛЭТИ»

------------------------------------------------------
С. А. Ивановский

Р А З Р А Б О Т К А К О Р Р Е К Т Н Ы Х П Р О Г Р А М М

Санкт-Петербург

2003
Министерство образования РФ

-------------

Санкт-Петербургский государственный электротехнический университет «ЛЭТИ»

------------------------------------------------------

С. А. Ивановский

Р А З Р А Б О Т К А К О Р Р Е К Т Н Ы Х П Р О Г Р А М М

Санкт-Петербург

Издательство СПбГЭТУ «ЛЭТИ»

2003

УДК 681.3

ББК 32.973

И-22

Ивановский С. А. Разработка корректных программ: Учеб. пособие. СПб.: Изд-во СПбГЭТУ «ЛЭТИ», 2003. 100 с.

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

Предназначено для студентов направлений 510200 «Прикладная математика и информатика», 552800 «Информатика и вычислительная техника», специальностей 073000 «Прикладная математика» и 220400 «Программное обеспечение вычислительной техники и автоматизированных систем».

Рецензенты: кафедра цифровой вычислительной техники и информатики СПбГУТ; канд. техн. наук доц. В. Б. Макулов (ГОИ им С. И. Вавилова).

Утверждено

редакционно-издательским советом университета

в качестве учебного пособия

ISBN 5-7629-0507-1  СПбГЭТУ «ЛЭТИ», 2003

Учащимся

Учителям