CMU MSE 15-671, Models of Software Systems, Fall 1995
Formal Systems
Garlan & Wing, Homework 1, Due: Sept 1, 1995
- I. Formal Systems
- 1. SEM, Chapter 1: Exercise 1.2
- 2. SEM, Chapter 1: Exercise 1.7
- 3. SEM, Chapter 1: Exercise 1.8
- Note you may wish to work more than these problems, just to get some extra practice with these basic notions of logic and proof.
- II. The Moose Lounge
- 4. Visit the Moose Lounge. List one inanimate item in Professor Wing's office and in Professor Garlan's office.