ITCS 223: Models of Computations and Systems: (2-2-3) This course covers the essential formal methods used to reason about computing systems. The emphasis is on practical formal methods and tools used widely in industry and commerce. Students will learn how to construct simple algorithms and to analyse and construct simple program-oriented formations. (Prerequisite ITCS 203)