Course Description & Objectives:
- Demonstrate factual knowledge including the mathematical notation and terminology used in the course;
- Be able describe the fundamental principles including the laws and theorems arising from the concepts covered in this course;
- Be able to apply course material along with techniques and procedures covered in this course to solve practical problems; and
- Demonstrate programming skills by writing numerical programs, such as Mat lab programs, to solve the above problems.
BSE 2105 Formal Methods.docx