Элементы дискретной математики для программистов. Тарасевич Ю.Ю.