Дудаков С.М. Математическое введение в информатику

Литература

[1] В.Н.Агафонов. Математические основы обработки информации. Но-

восибирск, Изд-во НГУ, 1982.

[2] Дж. Булос, Р.Джеффри. Вычислимость и логика. М. Мир, 1994.

[3] Н.Вирт. Алгоритмы и структуры данных. М. Мир, 1984.

[4] Н.И.Вьюкова, В.А.Галатенко, А.Б.Ходулев. Систематический под-

ход к программированию. М. Наука, 1988.

[5] Д.Грис. Наука программирования. М. Мир, 1984.

[6] М.Гэри, Д.Джонсон. Вычислительные машины и труднорешаемые

задачи. М.Мир, 1982.

[7] Д.Кнут. Исскуство программирования для ЭВМ (три тома). М. Мир,

1978.

[8] Б.Мейер, К.Бодуэн. Методы программирования (два тома). М. Мир,

1982.

[9] В.А.Непомнящий, О.М.Рякин. Прикладные методы верификации

программ. М. Радио и связь, 1988.

[10] О.Оре. Теория графов. М. Наука, 1968.

[11] Б.А.Трахтенброт. Алгоритмы и вычислительные автоматы. М. Со-

ветское радио, 1974.

[12] Требования и спецификации в разработке программ. Сборник ста-

тей. М. Мир, 1984.

[13] А.Филд, П.Харрисон. Функциональное программирование. М. Мир,

1993.

Учебное издание

Дудаков Сергей Михайлович

Математическое введение в информатику

Учебное пособие

Отпечатано в авторской редакции

Подписано в печать 28.08.2003. Формат 60 × 84 1/16. Бумага

типографская №1. Печать офсетная. Усл.п.л.14,0. Уч.-изд.л.9,85.

Тираж 150 экз. Заказ 382.

Тверской государственный университет

Факультет прикладной математики и кибернетики

Адрес: 170000, г.Тверь, пер.Садовый, 35.