(a) DescriptionThe course provides students with skills of solving generic formal prob- lems in science. It covers the intellectual and practical skills necessary for problem formalization. (b) AimsThe aims of the course are: • To provide students with factual knowledge including the mathe- matical notations and terminologies used in formalizing scientific problems• To provide students with fundamental principles including the laws and theorems arising from the concepts covered in this course;• To be able to apply course material along with techniques and procedures to solve practical problems;• To provide programming skills by writing numerical programs likeMatlab programs, to solve numerical problems.
| Attachment | Size |
|---|---|
 BSE 2105 Formal Methods.docx | 18.78 KB |