School of Computer Science and Statistics
(Semester 1, 5 ECTS) The module aims to provide students with an introduction to the mathematics, both continuous and discrete, which lies at the foundation of many real-world applications in Computer Science, Engineering and the Social Sciences.
(Semester 1, 5 ECTS) This module aims to provide a theoretical and practical understanding of modern scalable systems and architectures, from billions of highly distributed Internet of Things devices, through to present and future concepts, such as Quantum and Nanotech systems.
(Semester 1, 5 ECTS) This module provides an introductory course in computer programming. This course takes a practical approach to teaching the fundamental concepts of computer programming with a strong emphasis on tutorial and laboratory work and is an important vehicle for developing students’ analytical and problem-solving skills. This module aims to give students an understanding of how computers can be employed to solve real-world (albeit small) problems.
(Semester 1, 5 ECTS)
This module gives students exposure to statistical models for applications where a random phenomenon evolves according to a time (or other) ordering. We will encounter Markov models motivated and used in biology, physics and finance and discuss the historical and fundamental significance of these probabilistic constructions. Concepts and ideas will be demonstrated through simulation and model fitting using the statistical computing language R. Code libraries tailored to the module are provided to accompany lecture material.
(Semester 1, 5 ECTS) Design substantial logic circuits using register transfer descriptions.
(Semester 1; 10 ECTS) This module will include descriptive statistics including numerical and graphical methods; Random sampling; Probability Laws including independence of events, conditional probabilities, and Bayes theorem.
(Semester 1, 5 ECTS) Basic introduction to Prolog including recursion, definite clause grammars, cuts and negation.
(Semester 1, 5 ECTS) The module provides an introduction to the field of Human-Computer Interaction, focused both on understanding human interactions with technology and on the design of useful and usable interactive systems.
(Semester 1, 5 ECTS)
Design and Evaluate information Models (using Entity relationship Modelling Techniques) for representation and storage in a Relational Database
(Semester 1, 5 ECTS) Specification languages and logics; axiomatic program semantics. Formal proof
systems to verify software and system properties such as propositional, predicate
and Hoare logic.