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.

Lectures /
Modules /
Homeworks /
Syllabus