Phân tích tư tưởng của nhân dân qua đoạn thơ: Những người vợ nhớ chồng… Những cuộc đời đã hóa sông núi ta trong Đất nước của Nguyễn Khoa Điềm
3371
1
0
9 trang
The goal of this lecture series is to provide training in formal thinking to students of applied informatics. Students should learn to analyze and solve problems us- ing formal methods. The class will expose students to a wide set of problems and show ways of solving them. Formal methods, as they are used in theoretical computer science, constitute an essential part of a computer science education, not only for those who target an academic or research career, but also for practi- tioners.
Nội dung trích xuất từ tài liệu:
Lecture note Formal methods in software engineering - Lecture 1
