Шень А. Программирование: теоремы и задачи: Учеб пособие

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

скачать doc

Печатать с. 96, 97

для студентов, специализирующихся по прикладной математике и информатике

Примечания и библиографические указания

С.95 это старый вариант – игнорировать.

Шень А. Программирование: теоремы и задачи: Учеб.пособие. – М.:МЦНМО, 1995, 263 с. (свободно распространяемый текст книги (ASCII, T_EX, PostScript) находится по адресу ftp://ftp.mccme.ru/pub/users/shen/progbook)

.

Список литературы

Кнут Д. Искусство программирования: Учеб. пособие: В 3 т. Т. 1. Основные алгоритмы. 3-е изд.М.: Издательский дом «Вильямс», 2000.
Кнут Д. Искусство программирования: Учеб. пособие: В 3 т. Т. 2. Получисленные алгоритмы. 3-е изд.М.:Издательский дом «Вильямс», 2000.
Дейкстра Э. Дисциплина программирования. М.: Мир, 1978.
Грис Д. Наука программирования. М.: Мир, 1984.
Йенсен К., Вирт Н. Паскаль: руководство для пользователя. М.: Компьютер, 1993.
Абрамов С. А. Элементы анализа программ. Частичные функции на множестве состояний. М.: Наука, 1986.
Алагич С., Арбиб М. Проектирование корректных структурированных программ. М.: Радио и связь, 1984.
Андерсон Р. Доказательство правильности программ. М.: Мир, 1982.
Бейбер Р. Л. Программное обеспечение без ошибок. М.: Джон Уайли энд Санз, Радио и связь, 1996.
Вирт Н. Систематическое программирование. Введение. М.: Мир, 1977.
Вирт Н. Алгоритмы и структуры данных. – М.: Мир, 1989. (СПб.: Невский Диалект, 2001. (2-е изд., испр.))
Калинин А. Г., Мацкевич И. В. Универсальные языки программирования. Семантический подход. М.: Радио и связь, 1991.
Непомнящий В. А., Рякин О. М. Прикладные методы верификации программ. М.: Радио и связь, 1988.
Кушниренко А. Г., Лебедев Г. В. Программирование для математиков: Учеб. пособие для вузов.  М.: Наука, 1988.
Арсак Ж. Программирование игр и головоломок. М.: Наука, 1990.
Бентли Д. Жемчужины творчества программистов. М.: Радио и связь, 1990. (Бентли Дж. Жемчужины программирования. 2-е изд. – СПб.: Питер, 2002.)
Гарднер М. Крестикинолики. – М.: Мир, 1988.
Романовский И. В. Дискретный анализ: Учеб. пособие.  СПб: Невский диалект, 1999.

Список условных обозначений

&, or , not ,  ,   логические операции конъюнкции, дизъюнкции, отрицания, следования (импликации) и эквивалентности;

{a, b, ..., z} – множество, состоящее из элементов a, b, ..., z;

{x │ P(x)} – множество, состоящее из элементов x, удовлетворяющих условию P(x);

,   знаки принадлежности и непринадлежности множеству, например: x  A – «x является элементом множества A», x  A = not (x  A);

  отношение включения между множествами, A  B  множество A является подмножеством множества B;

, ,   кванторы всеобщности, существования и счета;

f: A  B  функция f, заданная на множестве A и отображающая множество A во множество B;

(a, b)  упорядоченная пара элементов a и b (a  A и b  B);

(a₁, a₂, ..., a_n)  упорядоченная n-ка элементов;

  знак прямого произведения: прямое (декартово) произведение A  B множеств A и B есть совокупность всех упорядоченных пар (a, b), таких, что a  A и b  B;

  множество целыx чисел;

N₀  множество целыx неотрицательных чисел;

N  множество натуральных чисел;

R  множество вещественных чисел;

x  функция потолок: наименьшее целое, не меньшее x;

x  функция пол: наибольшее целое, не большее x;

,   знаки суммы и произведения;

Ordinal  порядковый (ординальный) тип, на значениях которого определено отношение порядка;

Length  функция  длина последовательности: Length() = n, если  = x₁ x₂ ... x_n ;

High(A), Low(A)  функции, дающие верхнюю и нижнюю границы диапазона значений индексов одномерного массива A;

  знак операции обмена значений переменных.

Учащимся

Учителям