Discrete Structures

At the end of the course, students should be able to: 1. convert logical statements from informal language to propositional and predicate logic expressions; 2. describe the strengths and limitations of propositional and predicate logic; 3. outline the basic structure of each proof technique (direct proof, proof by contradiction, and induction) described in this unit; 4. apply each of the proof techniques (direct proof, proof by contradiction, and induction) correctly in the construction of a sound argument; 5. apply the pigeonhole principle in the context of formal proof; 6. compute permutations and combinations of a set and interpret the meaning in the context of the particular application; 7. map real-world applications to appropriate counting formalisms, such as determining the number of ways to arrange people around a table, subject to constraints on the seating arrangement, or the number of ways to determine certain hands in cards (e.g., a full house); and 8. solve a variety of basic recurrence relations.

Propositional Logic. Predicate Logic. Sets. Functions. Sequences and Summation. Proof Techniques. Mathematical induction. Inclusion-exclusion and Pigeonhole principles. Permutations and Combinations (with and without repetitions). The Binomial Theorem. Discrete Probability. Recurrence Relations. INS 202 Human-Computer Interface (HCI) (2 Units C: LH 15; PH 45) Learning Outcomes At the end of this course, students should be able to: 1. discuss the foundations and concept of the human-computer interface; 2. explain Understanding of principles of human-computer interface; 3. explain the design and development of the human-computer interface; and 4. explain the importance of user feedback. Course Contents Foundations of HCI. The concept underlying the design of HCI. Principles of GUI. GUI toolkits. System design methods. User conceptual models and interface metaphors. Human cognitive and physical ergonomics. Human-centred software evaluation and development. GUI design and programming. Lab Work: Illustration of the principles of HCI design. Practice on GUI design and programming. Demonstration of some GUI toolkits. Practical evaluation of GUIs