Программирования

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

скачать rtf

Введение

Программирование как систематическая профессиональная деятельность постепенно превращается из искусства (ремесла) в науку. Этот факт можно проиллюстрировать хронологическим рядом названий известных и популярных среди специалистов по программированию книг: Искусство программирования (Д. Кнут, 1976 г. [1], [2]), Дисциплина программирования (Э. Дейкстра, 1978 г. [3]), Наука программирования (Д. Грис, 1984 г. [4]). Конечно, программирование это многогранная научно-практическая деятельность, и формальные методы охватывают пока еще не все её аспекты. В проблеме верификации и разработки корректных программ используются различные формальные подходы, некоторые из которых стали уже своего рода классическими. Поэтому естественно стремление в базовом курсе программирования для будущих программистов и математиков-прикладников излагать материал с учетом наиболее продуктивных методов аналитической верификации программ (доказательства корректности программ).

Содержание пособия соответствует части учебной дисциплины «Программирование», читаемой в СПбГЭТУ для студентов направлений и специальностей 510200 – «Прикладная математика и информатика», 073000 – «Прикладная математика», 552800 – «Информатика и вычислительная техника» и 220400 – «Программное обеспечение вычислительной техники и автоматизированных систем». Пособие ориентировано прежде всего на теоретическую часть курса в 1-м семестре. После вводного разд. 1, в котором рассматривается пример разработки, верификации и анализа алгоритма, далее излагаются правила аналитической верификации программ, основанные на методе Хоара и правилах вывода для основных конструкций языка программирования (разд. 2). Используется запись программ или их фрагментов на языке программирования Паскаль [5] или на близком к нему псевдокоде. Затем правила верификации используются при рассмотрении задач с индуктивными функциями на последовательных файлах (разд. 3) и задач с массивами (разд. 4, 5).

Для углублённого знакомства с предметом кроме уже упомянутых книг можно рекомендовать: по вопросам доказательства корректности программ [6] [13], в том числе по разделу индуктивных функций [14], как источник интересных задач и примеров [15], [16].

Учащимся

Учителям