!!! DEPARTMENT OF COMPUTER SCIENCE MODULE CATALOGUE

Transcription

1 DEPARTMENT OF COMPUTER SCIENCE MODULE CATALOGUE

2 Please note: all modules and information are subject to change

3 Foundation Year CS-038 Fundamental Technologies for the World-Wide Web This module is about the technologies that make the world wide web function, including HTML, HTTP, XML, CSS and some (limited) programming (Javascript). After studying this module, students will be able to build relatively sophisticated web sites of the form that do not rely on substantial server-side code and databases. CS-061 Introduction to Programming This module gives an overview of the main topics and questions in Computer Science and enables students who are not majoring in computer science to reach a level of skill in programming such that they will be able to apply their computing knowledge to their other studies. It can also provide (along with other Level 0 modules) a suitable preparation for Level 1 Computer Science. CS-081 Introduction to Algorithms and Data Structures This module is a continuation of the module CS-061: Introduction to Programming. In it, students will continue to enhance their skills in programming, as well as gain a basic understanding of algorithms and data structures. CS-099 Computers Unplugged This module gives an overview of the main principles underlying computers and computer science, without resorting to the use of computers. It is accessible, and relevant, to students of all disciplines who wish to learn about, or reinforce their understanding of, computers and computer science. MA-001 Fundamental Mathematics at Work This module studies foundational mathematics and its applications. MA-002 Fundamental Calculus This module introduces students to the differential and integral calculus along with elementary applications. PH-001 Introductory Physics Provides students with an understanding of basic statics, dynamics and fluid mechanics. At the end of the module the students should be able to manipulate and solve the equations governing simple mechanical and dynamical problems. BIO005 Dealing with Data Dealing with data is crucial in all scientific studies. This module contemplates hypothesis formulation and collection of data for scientific presentation and introduces basic statistics by providing case studies which will enable developing data handling experience and improving data presentation skills. The learner will develop the confidence and tools they need to present data in an appropriate form and be able to draw meaningful conclusions. GEB011 Environmental Science GEB011 provides students with a broad understanding of the processes that have shaped the world around them. The module explores how our solar system was formed before considering the key physical processes that

4 have shaped the Earth, as well as ecosystems and 'Ecosystems Services', climate change, evolution and biogeography. GEG007 Fundamental Mathematical Skills for Natural Scientists This module introduces students to the basic techniques of pre-calculus mathematics relevant to their particular degree scheme.

5 Undergraduate Degree Schemes Year 1 CS SE CSM CSFI COMC CS-110 Programming 1 CS-115 Programming 2 CS-130 Professional Issues 1: Computers and Society CS-135 Professional Issues 2: Software Development CS-150 Concepts of Computer Science 1 CS-155 Concepts of Computer Science 2 CS-170 Modelling Computing Systems 1 CS-175 Modelling Computing Systems 2 EG-143 Digital Design EG-150 Signal and Systems EG-189 Engineering Analysis 1 EG-190 Engineering Analysis 2 MA-101 Introductory Calculus MA-102 Introductory Analysis MA-111 Foundations of Algebra MA-112 Introductory Linear Algebra MNE104 Current Issues in Economics Year 2 CS SE CSM CSFI COMC CS-200 Introduction to Human-Computer Interaction CS-205 Declarative Programming CS-210 Concurrency CS-230 Software Engineering CS-235 Software Engineering 2 CS-250 Database Systems CS-253 Data Representation, Markup Language and Web Services CS-255 Computer Graphics CS-270 Algorithms CS-275 Automata and Formal Language Theory EG-245 Communications MA-201 Real Analysis and Formal Language Theory

6 MA-211 Vector Spaces MA-212 Groups and Rings MA-202 Vector Calculus and Measure Theory MA-221 Further Methods of Algebra and Calculus MA-262 Numerical Methods (with Mathematica) Year 3 CS SE CSM CSFI COMC CS-302 Project Dissertation CS-306 Writing Mobile Apps CS-307 Computer Graphics 2: Modelling & Rendering CS-311 Concepts of Programming Languages CS-313 High Integrity Systems CS-337 Data Visualization CS-338 Internet Computing CS-344 Project Implementation and Dissertation CS-345 Artificial Intelligence Applications CS-348 Web Application Development CS-349 Mobile Interaction Design CS-354 Project Specification and Development CS-358 High Performance Computing in C/C++ CS-364 Software Testing CS-368 Embedded Systems CS-371Design Patterns and Generic Programming CS-375 Logic for Computer Science CS-377 Computer Vision and Pattern Recognition CS-385 Modelling and Verification Techniques CS-390 Teaching Computing via a School Placement MA-300 Project MA-301 Complex Variables MA-312 Higher Algebra MA-302 Numerics of ODEs and PDEs MA-311 Partial Differential Equations MA-312 Higher Algebra

7 MA-321 Algebraic Coding Theory MA-324 Differential Geometry MA-331 Numerical Analysis MA-332 Electromagnetics MA-334 Statistical Mechanics MA-341 Stochastic Processes MA-342 Number Theory MA-344 Fourier Analysis MA-338 Analytical Dynamics MA-351 Financial Mathematics MA-352 Topology MA-361 Differential Equations MA-363 Mathematical Modelling MA-381 Functional Analysis MA-391 Lie groups and Lie algebras Key: Compulsory module Degree Schemes CS: Computer Science SE: Software Engineering CSM: Mathematics for Computer Science Optional module COMC: Computing and Communications TERMINATING CSFI: Computing with Finance

8 Please note that students on the appropriate joint honours schemes may also select a variety of modules from their other department. Year One CS-110 Programming 1 This module teaches students the fundamentals of programming in Java. Students will learn to develop and debug simple programs using basic programming concepts (assignments, if statements, loops, methods); data types (scalars, arrays, arraylists); and basic object-oriented programming concepts (objects and classes). CS-115 Programming 2 This module is a continuation of the module CS-110 Programming 1. In it, students will continue to enhance their skills in programming, as well as gain a basic understanding of algorithms and data structures. CS-130 Professional Issues 1: Computers and Society Students will be introduced to the main professional issues associated with software engineering and computer science research. Students will also examine the main impacts of computing on society and social issues on the practice of computing, including legal and ethical concerns such as copyright and the data protection act. Issues of network security will be discussed. The course also includes communication skills, including the writing of a technical report and giving a formal presentation. CS-135 Professional Issues 2: Software Development The aim of this module is to give an understanding of fundamental software engineering tools, testing and design methods that are used to create reliable software. A number of state-of-the-art development environments will be shown, with hands-on experimentation and use of test systems. Students will also be given a sound grasp of the use of these systems in the different professional software engineering processes used in the software industry. Innovative software engineering methods such as Extreme Programming will be introduced and learnt in handson laboratory work. CS-150 Concepts of Computer Science 1 This module along with CS-155 gives an overview of some of the main principles underlying computers and computing from both a theoretical and an applied point of view. Following a brief history of computers and software an introduction to the representation of data and the basic components of a computer will be given. Students will be introduced to the principles of programming at assembly language level. The module is accessible and relevant to students of all disciplines who wish to learn about, or reinforce their understanding of, computers and computer science. CS-155 Concepts of Computer Science 2 This module follows on from CS-150 and gives an overview of some of the main principles underlying computers and computing from both a theoretical and an applied point of view. Topics discussed include simple algorithm analysis, operating systems, file systems, computer networks, the world wide web, and some basic issues of computer security. A brief discussion on the limitations of computing is also given. The module is accessible and relevant to students of all disciplines who wish to learn about, or reinforce their understanding of, computers and computer science. CS-170 Modelling Computer Systems 1 This module introduces students to mathematical tools and techniques for modelling computing systems. CS-175 Modelling Computer Systems 2

9 This module will follow on from CS-170 and introduces students to mathematical tools and techniques for modelling computing systems. Year Two CS-200 Introduction to Human-Computer Interaction This module introduces the key principles and practices of human-computer interaction (HCI). It describes in detail the basic concepts, methods and issues surrounding interaction design, explores the properties which make good and poor interfaces and presents the major design principles in the discipline. Students will learn how to gather and analyse requirement data, how to prototype designs, how to construct more usable user interfaces and how to design and run user evaluations. CS-205 Declarative Programming This module provides an introduction to the functional and logic programming paradigms and gives students the opportunity to gain practical experience in using both. CS-210 Concurrency This module provides an introduction to the issues raised in developing and using concurrent and distributed systems. Consideration of practical and formal solutions to example problems from operating systems and networking. CS-230 Software Engineering This module exposes the student to the major components of a practical software lifecycle through team-based practical software engineering. This module introduces the methodologies for designing and evaluating software systems. Students are introduced to the issues and techniques of team working. CS-235 Software Engineering 2 Building on the programming knowledge and experience acquired by the students in the co - and pre-requisites, this module enables students to apply advanced software development methodologies, with a focus on objectoriented software design and engineering. The module provides students with valuable opportunities to acquire knowledge and experience in important aspects of software engineering with a strong emphasis on teamwork and practical assignments. A significant element of the module is the construction of a substantial software product, where students are assessed on their effectiveness at working together as a team. CS-250 Database Systems This module will discuss the theory, design and implementation of databases. CS-253 Data Representation, Markup Languages and Web Services This module is about representation of data, typically using markup languages like HTML, SGML and XML; its transformation; validation; and role in distributed web applications. CS-255 Computer Graphics This module will provide an introduction to the use of computer graphics and its applications particularly for image processing and the production of realistic representations. CS-270 Algorithms This module introduces students to the formal concepts of algorithms and data structures and will enable them to understand how the selection of different algorithms and data types affects the performance and efficiency of a program. Particular attention will be paid to the fundamental problems of searching, sorting, and graph traversal.

10 CS-275 Automata and Formal Language Theory This module introduces the notion of grammars for defining the syntax of formal languages, especially programming languages. It introduces the limits of computation using Turing Machines and other models of computation.

11 Year Three CS-302 Project Dissertation This module forms the second part of the Level 3 project for Computer Science students. It consists of a substantial written dissertation but it does not involve writing or specifying a significant piece of software or hardware. This module is an alternative to CS-344 in the case that a student has undertaken a theoretical, historical or other investigative project that does not involve software/hardware specification or production. CS-306 Writing Mobile Apps This module will introduce students to developing well-designed and functional apps for mobile devices. Special emphasis is placed on general design paradigms for mobile devices, taking into account limitations such as battery life, limited memory and low user attention compared with desktop computers. CS-307 Computer Graphics 2: Modelling and Rendering This module will build upon the material presented in course CS-255 Computer Graphics, and include a study of the techniques and algorithms for modelling and rendering three dimensional graphical objects. CS-311 Concepts of Programming Languages This module introduces the student to the concepts underlying the concrete constructs of programming languages supporting a certain style of programming (paradigm), like imperative, object-oriented, concurrent, functional, logic and visual programming. CS-313 High Integrity Systems This module introduces techniques for developing high integrity systems. It introduces formal techniques for the development of such systems. CS-337 Data Visualisation Data Visualisation is concerned with the automatic or semi-automatic generation of digital images that depict data in a meaningful way(s). It is a relatively new field of computer science that is rapidly evolving and expanding. It is also very application oriented, i.e., real tools are built in order to help scientists from other disciplines. CS-338 Web Service Applications The module will introduce a range of technologies in current use for developing distributed systems over the internet - principally SOAP and REST web services. Practical experience of building internet-based systems will be gained via coursework. The language used in the module is Java, though many (but not all) technologies introduced are language-independent. CS-344 Project Implementation and Dissertation This module forms the second part of the Level 3 project for Computer Science students. It consists of the implementation of (usually) a software system, and a substantial written dissertation. CS-345 Artificial Intelligence Applications This module will discuss some of the main technologies behind Artificial Intelligence Applications such as knowledge based systems, expert system shells, forward and backward chaining, inexact reasoning and fuzzy logic. Various aspects of soft computing such as genetic algorithms and genetic programming will also be covered.

12 CS-348 Web Application Development The module will introduce the principles and technologies used for building web-based systems using the.net Framework. Practical experience of building web systems will be gained via coursework. CS-349 Mobile Interaction Design This module presents key human computer interaction design issues, methods, tool and techniques in a mobile and ubiquitous systems context. Students will learn how to improve the user interfaces they design and be equipped to develop efficient, effective and satisfying applications for an important, emerging class of computing device. The module will involve students in prototyping and evaluating mobile applications and introduce embedded application development environments. CS-354 Project Specification and Development The aims of this module are: to provide students with the opportunity of exploring a particular topic in computer science in depth; to provide the opportunity of specifying, designing and implementing a complete system; to enhance students competence in system design, algorithm analysis and mathematical reasoning, and their fluency in programming; to give students an intellectual challenge; and to further develop their abilities in literature searching, report writing, verbal presentation, project planning and time management. CS-358 High-performance Computing in C/C++ This course is an introductory course on high-performance computing (HPC) and its role in science and engineering. High-performance computing refers to a specialized use and programming of supercomputers, computer clusters, and related architectures and software to speed up computations. The main goal of the class is for students to gain practical HPC experience. The module is aimed at students with previous experience in programming in a high-level programming language and preferably basic knowledge of the C/C++ language. CS-364 Software Testing Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will cover various test scenarios; practical exercises will allow the students to gain hands-on experience. CS-368 Embedded Systems Embedded systems are information processing systems embedded into enclosing products such as cars, telecommunication or fabrication equipment. They are essential for providing ubiquitous information, one of the key goals of modern information technology. The aim of this module is to provide an overview of embedded system design and to relate the most important topics in embedded system design to each other. Awareness of propositional and first order logic will help the understanding of this module. CS-371 Design Patterns and Generic Programming This module will investigate some standard libraries in depth. It will examine many design patterns and students will understand how to design their own generic libraries to allow for full static type checking. CS-375 Logic for Computer Science This module provides an introduction to logic and its applications to computer science, in particular to the formal specification and verification of computer programs. CS-377 Computer Vision and Pattern Recognition This module introduces students to the important and modern topics and concepts of computer vision and pattern recognition, including image processing, segmentation, feature extraction, camera calibration, stereo vision, motion analysis, object tracking, recognition, data clustering, and dimensionality reduction. It teaches techniques that are used to understand and interpret the contents of images and videos and dissects state-of-the-art vision

13 systems, such as Microsoft Kinect. Practical examples in C++ with OpenCV library and Matlab are provided throughout the lectures. CS-385 Modelling and Verification Techniques This module will give an overview of the landscape and the state of the art of current modelling and verification techniques. Students will gain hands-on experience in using a tool for modelling and verification. CS-390 Teaching Computer Science via a School Placement Updated July This module is for students with an interest in entering teaching, and involves a weekly placement in a local school or college under the mentorship of a Computing/ICT teacher. The student will engage both in observation and in various teaching activities. The module will be assessed on the basis of the mentor's report and on written project work.

14