Formal Methods

Home >> Courses Catalogue >> Formal Methods
Course Venue:

Lecture Theatre

CIT Block B
College of Computing and Information Sciences
Course Code: 
BSE 2105
Course Credit Units: 
Semester 1
Year of Study: 
Year 2
Undergraduate or Graduate Level: 
Undergraduate Level
Course Description & Objectives: 

(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 problemsTo 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.

File Attachments:
File BSE 2105 Formal Methods.docx18.78 KB samba porno porno gratis x