МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Файл статьи: Минашин Г.А..pdf (181.96Кб)

1.     Белоусов А. И., Ткачев С. Б. Дискретная математика: учеб. для вузов / под ред. В. С. Зарубина, А. П. Крищенко. 3-е изд., стереотип. М.: Изд-во МГТУ им. Н. Э. Баумана, 2004. 744 с. (Сер. Математика в техническом университете; Вып. XIX). ISBN 5-7038-1769-2 (Вып. XIX), ISBN 5-7038-1270-4.

2.     Грис Д. Наука программирования. М.: Мир, 1984. 416 с., ил.

3.     Минашин Г. А. Место приёмов дедуктивной верификации в автоматическом синтезе алгоритмов // Молодежный научно-технический вестник. МГТУ им. Н.Э. Баумана. Электрон. журн. 2013. № 12. Режим доступа: http://sntbul.bmstu.ru/doc/640887.html (дата обращения: 02.04.2014).

4.     Новиков Ф.А. Дискретная математика для программистов: учебник для вузов. 2-е изд. СПб.: Питер, 2007. 364 с.: ил. (Серия «Учебник для вузов»).

5.     Manna Z., Waldinger R., Fundamentals of deductive program synthesis. Computer and Systems Sciences. Berlin: Springer-Verlag, 1991. 62 p.