[Index] || [Contents] || [Grades] Mon Mar 3 14:43:02 PST 2003

656/556 2003 1w 11 Midterm Assigned work: Prepare a 2sided "cheat sheet" 11><8.5 for the midterm. Hand in with midterm for 3pts. Formal Methods MidTerm -- Logic -- 60 points Max --------------------------------------------------------------------- You may use a calculator, but no computers or wireless devices. Put answers on the exam paper. There are ?? questions. Each is worth 10 points maximum. Attempt 6 questions ONLY. More than 6 answers will not count. Do your best questions first. List the numbers of the questions you want graded below. I will ignore questions that are not listed below: Qn # ___ ___ ___ ___ ___ ___ Notation In questions 1,2,3,7,8, and 9 use the text's notations for propositions and predicates. In questions 4,5, and 6 use the texts notation for Boolean Algebra. 1. Draw parse tree of the following well-formed formula of the Propositional Calculus. ... Derive/Prove the above well-formed formula by using the natural deduction system presented in the book. 2. Use a table to verify that the formula ... is valid. 3. Translate to well-formed formulae of the Propositional Calculus 4. Convert OBDDs to Boolean Expressions 5. Draw OBDDs of given Boolean Expressions 6. Combining/Merging two OBDDs to give one using the "apply" and "reduce" algorithms 7. Draw parse tree of the following well-formed formula of the Predicate Calculus. What is the scope of the variable ... in this formula?(2 pts) 8. Prove the following theorem of the Predicate Calculus either by using natural deduction or a semantic tableaux. 9. Translate ... into well-formed formulae of the Predicate Calculus and spot ambiguities. --------------------------------------------------------------------- Assigned work: Study chapter 3 sections 3.1 and 3.2 And handouts. Lab: http://www.csci.csusb.edu/dick/cs656/prolog/lab3.html next: Given a complex program in a complex environment how do we show that it behaves according to requirements? model checking checks dynamic behavior. Chapter 3, sections 3.1 and 3.2 http://www.csci.csusb.edu/dick/cs656/class/12.html