Белоусов А.И., Ткачев С.ВБ. Дискретная математика: Учеб. Для ВУЗов / под ред. В.С. Зарубина, А.П. Крищенко.- 3-е изд., стереотип.- М.: Изд-во МГТУ им. Н.Э. Баумана, 2004.- 744 с. (Сер. Математика в техническом университете; Вып. XIX).
Предлагаемая читателю книга является девятнадцатым выпуском комплекса учебников «Математика в техническом университете». Она содержит систематическое изложение курса дискретной математики.
Развитие классической («непрерывной») математики было обусловлено, прежде всего, решением задач естествознания, главным образом физики. «Дискретная» же математика развивалась в связи с изучением законов и правил человеческого мышления, что и обусловило ее применение в тех областях техники, которые так или иначе связаны с моделированием мышления, и в первую очередь в вычислительной технике и программировании.
Мышление реализует себя, прежде всего в языке. Поэтому разумно считать, что ядро дискретной математики образует именно математическая теория языков, точнее, область этой теории, называемая теорией формальных языков. Слово «формальный» подчеркивает, что в этой теории изучаются в основном искусственные языки, специально созданные для каких-то целей: языки программирования, языки математики и т.п. Теория формальных языков является базой теории кодирования, «криптологии», изучающей методы кодирования информации, теории алгоритмов и в определенном смысле математической логики. В прикладном аспекте эта теория служит основой разработки математического обеспечения вычислительных машин.
