Tài liệu cung cấp các thông tin về ngôn ngữ hình thức kiến trúc
Trình bày nội dung lý thuyết cơ bản của toán rời rạc gồm: lý thuyết tổ hợp, đồ thị hữu hạn, một số vấn đề cơ bản của logic toán, ôtô mát hữu hạn và ngôn ngữ hình thức