Toán rời rạc : Cơ sở toán cho máy tính - Trần Đức Quang (ĐHQG, 2003)