-Transformational System Logic & Reactive System Logic (Define & Explain)
-Soundness and Completeness (Def. Actual Soundness)
-Logical Connectives (write in order of precedence) (not, and, or, logically implies, equivalence)
-Logical Connectives meaning
-Atomic sentences: predict the logic, create the sentence
-What is formal methods used for?
IF ITS TOO LATE ITS TOO LATE
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment