Unit 1 rules of inference Unit 1 introduction to proofs Unit 7 verification & validation Unit 6 input modeling problems Unit 5 general principles, simulation software Unit 5 general principles, simulation software problems Unit 4 queuing models problems Unit 3 random number generation, random-variate generation Unit 1 introduction contd