Lecture note Formal methods in software engineering - Lecture 5.4
23
lượt xem 1
download
lượt xem 1
download
Download
Vui lòng tải xuống để xem tài liệu đầy đủ
Now that we have learned the basics of syntax of predicate logic, we can have a look at the semantics. This is brought about by a relational structure M, which realizes (or instantiates) the symbols of our language. Moreover M tells us which formulas are valid.
Chủ đề:
Bình luận(0) Đăng nhập để gửi bình luận!
CÓ THỂ BẠN MUỐN DOWNLOAD