-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
Tuesday, September 29, 2009
Subscribe to:
Posts (Atom)
