В книге отражены разделы дискретной математики, предусматриваемые учебными программами классических, национальных исследовательских и технических университетов. При соблюдении необходимого уровня доказательности рассматриваются задачи, встречающиеся в инженерной практике, для формализации которых необходимы математические модели дискретной математики - теоретико-множественные, комбинаторно-логические, автоматные, графовые, функциональные, алгебраические и др. Существенное внимание уделено принципам построения алгоритмов решения задач дискретной математики на базе известных моделей вычислений (рекурсия, ветвления и ограничения и т. п.) и оценкам их сложности в контексте общей теории сложности алгоритмов. По каждой главе даны задачи и теоретические упражнения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов, слушателей факультетов повышения квалификации, специалистов, преподавателей и программистов, использующих методы дискретной математики.
V knige otrazheny razdely diskretnoj matematiki, predusmatrivaemye uchebnymi programmami klassicheskikh, natsionalnykh issledovatelskikh i tekhnicheskikh universitetov. Pri sobljudenii neobkhodimogo urovnja dokazatelnosti rassmatrivajutsja zadachi, vstrechajuschiesja v inzhenernoj praktike, dlja formalizatsii kotorykh neobkhodimy matematicheskie modeli diskretnoj matematiki - teoretiko-mnozhestvennye, kombinatorno-logicheskie, avtomatnye, grafovye, funktsionalnye, algebraicheskie i dr. Suschestvennoe vnimanie udeleno printsipam postroenija algoritmov reshenija zadach diskretnoj matematiki na baze izvestnykh modelej vychislenij (rekursija, vetvlenija i ogranichenija i t. p.) i otsenkam ikh slozhnosti v kontekste obschej teorii slozhnosti algoritmov. Po kazhdoj glave dany zadachi i teoreticheskie uprazhnenija. Sootvetstvuet aktualnym trebovanijam Federalnogo gosudarstvennogo obrazovatelnogo standarta vysshego obrazovanija. Dlja studentov, slushatelej fakultetov povyshenija kvalifikatsii, spetsialistov, prepodavatelej i programmistov, ispolzujuschikh metody diskretnoj matematiki.
