Assigned Homeworks

CSE 360: LOGIC and COMPUTATION
Spring 1995 Semester

• Homework 1. ML types.
• Homework 2. Simple computations on lists and natural numbers.
• Homework 3. Sets, multisets, and trees.
• Homework 4. Truth-table evaluation or propositional formulas.
• Homework 5. Locally defined predicates; quantifier scopings.
• Homework 6. Computations on lambda-terms
• Homework 7. Evaluation, type infernece, and program transformation of functional programs.