Teaching and Learning
MES3033 Formal Methods-This course discusses the techniques and tools based on mathematical modeling, formal logic and inference that are used to specify and verify requirements and designs for computer systems and software. Review of practical applications of formal methods and its roles in software design; abstractions, proof theory; model based languages such as VDM (Vienna Development Method) and Z; discrete and continuous domain, automated analysis methods, computer assisted proofs and examples of integration of formal methods in software development processes are addressed.
Course MES3033 Semester A211 Overall Performance 99.62 %
MTK3013 Discrete Structures-The course discusses the set theory and operation, logic, mathematical order, permutation, combination, probability, relation and digraph, function, tree and machine. These learning contents are essential to equip students with the logical reasoning required in the learning of computer programming
Course MTK3013 Semester A211 Overall Performance 97.01%
CPT2021 Electronic Publishing-This course introduces the students to the theory and skills in electronic publishing (Desktop Publishing@DTP). Among the topics introduced are the introduction of electronic publishing, the basic concepts of the composition of text, graphics, display, layout and arrangement, preparation of newsletters, advertising and provision of electronic publications on the web. Students will produce a number of publishing and printing using electronic publishing software.
Course CPT2021 Semester A211 Overall Performance 95.08%