В Издании изложены теория множеств и отношений, элементы современной абстрактной алгебры, теория графов, классические понятия теории буле¬вых функций, а также основы теории формальных языков, куда включены теории конечных автоматов, регулярных языков, контекстно-свободных языков и магазинных автоматов. В анализе графов и автоматов особое внимание уделено алгебраическим методам.