Mathematics and Computer Science

Transcription

1 Programme Specification (Undergraduate) MEng Mathematics and Computer Science This document provides a definitive record of the main features of the programme and the learning outcomes that a typical student may reasonably be expected to achieve and demonstrate if s/he takes full advantage of the learning opportunities provided. This programme specification is intended as a reference point for prospective students, current students, external examiners and academic and support staff involved in delivering the programme and enabling student development and achievement. Programme Information Programme Award(s) Programme (s) Awarding Institution Teaching Institution Faculty Department Associateship Main Location of Mode and Period of Cohort Entry Points Relevant QAA Benchmark Statement(s) and/or other external reference points Mathematics and Computer Science MEng GG41 Imperial College London Imperial College London Faculty of Engineering Department of Computing City and Guilds of London Institute (ACGI) South Kensington Campus 4 academic years, full-time Annually in October Honours Degrees in Computing and Master s Degrees in Computing Credits : CATS: EHEA External Accreditor(s) 2 nd cycle IET (Institution of Engineering and Technology) Accreditation received: 1991 Accreditation renewal: 2017 BCS (the Chartered Institute for IT) Accreditation received: 1993 Accreditation renewal: 2018 Specification Details Student cohorts covered by specification Person responsible for the specification entry Dr Damian Cerase, Teaching Quality Officer

2 Date of introduction of programme Date of programme specification/revision May 2018 Programme Overview With the spread of computing procedures and mathematical ideas into many areas, there is high demand for professionals who are expert in both. Our Mathematics and Computer Science degrees are mathematical courses orientated towards computing science. Taught jointly by the Departments of Computing and Mathematics, they provide a firm foundation in mathematics, particularly in pure mathematics, numerical analysis and statistics. They also cover all the essentials of computer science, with an emphasis on developing software, as well as more theoretical topics. This makes the courses particularly suited to mathematically-able students with interests in both subjects. During the first two years you take core modules from both departments and complete project work, with the chance to choose some optional modules in the second year. As the degree progresses, you can choose from a wide variety of optional modules offered by the departments to suit your interests. In the third year you will also complete a four-month industrial placement, gaining valuable skills and experience. Your study reaches Master s level in the final year, with a wide choice of advanced modules and a substantial individual project on a subject of your choice. Learning Outcomes Knowledge and Understanding of: Major paradigms of programming functional, declarative, imperative and object-oriented. Basic computing, including programming, program design, human-computer interaction, e- commerce, computer systems, hardware, network and communications, compilers, databases and many application areas such as graphics and artificial intelligence; Underlying mathematics including logic, discrete mathematics, methods and statistics, computability theory, complexity, pure mathematics, numerical analysis and statistics; Formal practical programming and mathematical skills, including specification and reasoning; The development of the application of Mathematics as a language in a wide range of situations relevant to research and industry; Problem-solving strategies and methods; Intellectual Skills - able to: Analyse and formally specify and solve programming, computing system and mathematical design problems of different types; Reason about program correctness and algorithm complexity;

3 Understand the role of logical mathematical argument and reasoning, together with formal methods of proof and development; Construct and solve abstract and mathematical models of computer and communication systems; Use mathematics to describe and model applications, to identify appropriate solution methods, and to interpret and analyse results; Match problems to techniques and tool most suitable for solving them; Perform critical evaluation of alternative designs and implementation; Design experiments for the purpose of testing; Practical Skills - able to: Design and develop programs of varying levels of complexity using a number of different programming languages and paradigms, for example object-oriented programming, logic programming, functional programming and imperative programming; Use many computing tools and techniques, such as database, web-based and graphic tools and techniques; Use symbolic and numerical software as part of practical computation; Analyse computing and mathematical problems and devise solutions to them; Transferable Skills: Communicate effectively by presenting complex information in a clear and concise manner orally, by computer presentations and in written reports; Program in the major computer programming paradigms; Use the internet effectively, respecting professional conduct and professional ethics; Integrate and evaluate information from multiple and diverse sources; Work independently, use their problem solving initiative, organise themselves to meet deadlines. Work within and contribute to a team, using management skills such as co-ordination, decision processes, project design and evaluation; Transfer techniques and solutions from one area to another; Learn independently with open-mindedness and critical enquiry; Learn effectively for the purpose of continuing professional development; The Imperial Graduate Attributes are a set of core competencies which we expect students to achieve through completion of any Imperial College degree programme. The Graduate Attributes are available at: Entry Requirements Academic Requirement Grade Requirement Subject Requirements Excluded Subjects Normally a minimum of A*AA overall A* in Mathematics A in two further accepted A-levels (Further Mathematics is highly recommended. Other useful A-levels include: Ancient Language, Biology, Chemistry, Computing, Economics, Electronics, English Literature, History, Law, Modern Language, Philosophy, Physics, Politics and Psychology) (or a comparable qualification recognised by the College). ICT, Business Studies and General Studies

4 International Baccalaureate (IB) Grade Requirement Subject Requirements Minimum 39 points 7 in Mathematics at higher level 6 in one further relevant subject at higher level (for example Physics, Computer Science, Chemistry, Economics, Biology) English Language Requirement Admissions Tests Interview Standard requirement IELTS score of 6.5 overall (minimum 6.0 in all elements) Candidates may be asked to undertake an admissions test set by the College in order to provide additional information for the Admissions Tutor in support of an application. Selected candidates only The programme s competency standards document can be found at: Learning & Teaching Strategy Scheduled Learning & Teaching Methods Project Learning Methods Problem sheet classes Tutorials Lectures Laboratory Seminars Independent research project Group project Learning Methods Industrial placement Assessment Strategy Assessment Methods Academic Feedback Policy Unseen written examinations; Unseen practical tests; Coursework; Laboratory work; Group projects; Individual projects; Presentations; Problem sheets; Online tests; Programming tests; Reports; Feedback will be provided on coursework within two weeks of submission. This will be in the form of, for example:

5 Personal discussion; Discussions in small-group tutorials; Marked-up coursework, laboratory exercises or tests; Verbal presentation, e.g. during or after lectures; Written class-wide summaries; Interactive problem solving sessions; Model answers to coursework; In lieu of feedback on examinations, selected examination questions are routinely set as unassessed problems in the following year, with model answers provided. Re-sit Policy In line with College policy, students who are unsuccessful in any of their examinations may usually be allowed an opportunity to re-sit at the discretion of the Board of Examiners. Students in the Faculty of Engineering who have marginally failed a year may be offered the chance to undertake a Supplementary Qualifying Test (SQT) at the discretion of the Board of Examiners in order to progress into the next year. The College s Policy on Examination Re-sits and SQTs is available at: Further information regarding re-sits for BEng, MEng, BSc and MSci degrees in the Faculty of Engineering can be found in the relevant Academic Regulations available at: Mitigating Circumstances Policy Students may be eligible to apply for mitigation if they have suffered from serious and unforeseen circumstances during the course of their studies that have adversely affected their ability to complete an assessment task and/or their performance in a piece of assessment. The College s Policy on Mitigating Circumstances is available at: Assessment Structure Rules of Progression One In order to pass 1 and qualify to progress to the second year, the candidate must satisfy the following conditions: Achieved at least 40% in each of the Mathematics and Computing assessments; Achieved at least 40% in the Computing coursework; Achieved at least 40% in Programming. Two

6 In order to pass 2 and qualify to progress to the third year, the candidate must satisfy the following conditions: Achieved at least 40% in each of the Mathematics and Computing examinations; Achieved at least 40% in Laboratory 2. Three In order to pass 3 and qualify for the fourth year, the candidate must satisfy the following conditions: Achieved at least 40% in the Group Project; Achieved at least 40% overall for the year. Failure in the group project component of the course (Autumn term of 3rd year) will ordinarily lead to discussion about transfer to the BEng degree for the remainder of the third year. Four In order to pass 4 and qualify for an Honours degree, the candidate must satisfy the following conditions: Achieved at least 40% in Individual Project; Achieved at least 40% overall for the year. Marking Scheme Final Degree Classifications The Pass Mark for all undergraduate modules is 40%. The MEng degree mark is calculated with the year weightings 1:2:2:4. In addition to these requirements, candidates are normally expected to successfully complete the MEng degree programme in four continuous years. Third a student must achieve an aggregate mark of 40% Lower Second a student must achieve an aggregate mark of 50% Upper Second a student must achieve an aggregate mark of 60% First - a student must achieve an aggregate mark of 70%

7 1 (11.1%) 2 (22.2%) 3 (22.2%) 4 (44.4%) Module Weightings Module Module Weighting % Logic 7.43% Foundations of Analysis 12.50% Mathematical Methods % Programming % Programming % Laboratory % Reasoning About Programs 6.00% Graphs and Algorithms 7.43% Computing Topics 2.00% Ethics in Computing % Presentation Skills 0.00% Applied Methods and Linear Algebra 12.50% Algebra and Analysis 12.50% Programming 3 (JMC) 7.02% Students may select up to 2 x extracurricular modules (EX1) in year % Software Engineering Design 7.00% Team Skills Development 0.00% Statistical Methods 12.13% Laboratory % Operating Systems 7.00% Introduction to Prolog 0.00% Introduction to Numerical Analysis 12.13% An Introduction to Law for Computer Scientists 0.00% Algorithms % 2 x modules from elective group (A) 7.0% 1 x module from elective group (B) 4.0% 1 x module from elective group (C) 12.1% 1 x module from elective group (D) 12.1% In addition to the elective modules, students may select 1 x extracurricular module (EX2) in year % 3rd Software Engineering Group Project 20.0% AT LEAST 2 x modules from elective group (E) 10.0% NO MORE THAN 1 x module from elective group (F) 10.0% NO MORE THAN 2 x modules from elective group (G) 10.0% NO MORE THAN 2 x modules from elective group (H) 10.0% AT LEAST 2 x modules from elective group (I) 10.0% In addition to the elective modules, students may select 1 x extracurricular module (EX3) in year % Industrial - Presentation and Report 2.5% 16 OR 18 from elective group (J) 27.5% AT LEAST 8 from elective group (K) 10.0% AT LEAST 16 from elective group (L) 10.0% NO MORE THAN 8 from elective group (M) 10.0% In addition to the elective modules, students may select 1 x extracurricular module (EX4) in year %

8 CO120.1 Programming 1 (Haskell) Core CO120.2 Programming 2 (Java) Core CO120.3J Programming 3 (JMC) Core CO140 Logic Core CO141 Reasoning About Programs Core CO150 Graphs and Algorithms Core 1 See module leader CO161 Laboratory 1 Core N/A 4 0 CO163 Computing Topics Core CO164 Ethics in Computing 1 Core N/A 4 0 CO165 Presentation Skills Core N/A 4 0 M1F Foundations of Analysis Core M1J1 Applied Methods and Linear Algebra Core 1 See module leader M1J2 Algebra and Analysis Core 1 See module leader M1M1 Mathematical Methods 1 Core

9 CO191 Advanced Programming EX CO701 Programming Competition Training EX1 1 N/A 4 0 CO211 Operating Systems Core 2 See module leader CO220 Software Engineering Design Core 2 See module leader CO261 Laboratory 2 Core 2 See module leader CO273 An Introduction to Law for Computer Scientists Core 2 See module leader N/A 5 0 CO276 Introduction to Prolog Core 2 See module leader N/A 5 0 M2AA3 Introduction to Numerical Analysis Core M2SJ Statistical Methods Core CO202 Algorithms 2 Core CO526 Databases (A) 2 See module leader CO221 Compilers (A) 2 See module leader CO231 Introduction to Model-based Artificial Intelligence (A) 2 See module leader

10 CO240 Models of Computation (A) 2 See module leader CO271 2nd Computing Group Project (B) 2 See module leader M2R 2nd Maths Group Project (B) M2AA2 Multivariable Calculus (C) M2PM1 Real Analysis (C) M2PM3 Complex Analysis (D) M2AM Non-linear Waves (D) M2S2 Statistical Modelling 1 (D) CO701 Programming Competition Training EX2 2 N/A 4 0 CO261C Advanced Laboratory 2 EX2 2 See module leader N/A 5 0 CO275 C++ Introduction EX2 2 See module leader N/A 5 0 CO362 3rd Software Engineering Group Project Core 3 See module leader CO304 Logic-Based Learning (E) 3 See module leader CO572 Advanced Databases (E) 3 See module leader

11 CO316 Computer Vision (E) 3 See module leader CO317 Graphics (E) 3 See module leader CO318 Custom Computing (E) 3 See module leader CO322 Communicating Computer Science in Schools (E) 3 See module leader CO331 Network and Web Security (E) 3 See module leader CO332 Advanced Computer Architecture (E) 3 See module leader CO333 Robotics (E) 3 See module leader CO338 Pervasive Computing (E) 3 See module leader CO339 Performance Engineering (E) 3 See module leader CO343 Operations Research (E) 3 See module leader CO347 Distributed Algorithms (E) 3 See module leader CO349 Information and Coding Theory (E) 3 See module leader CO382 Type Systems for Programming Languages (E) 3 See module leader CO395 Introduction to Machine Learning (E) 3 See module leader

12 CO527 Computer Networks and Distributed Systems (E) 3 See module leader EE2-13 Computer Architecture 2 (E) 3 See module leader M3E Econometric Theory and Methods (F) 3 See module leader Business School Modules (F) 3 Variable Horizons Modules (F) 3 Variable 6 6 M2AA1 Differential Equations (G) M2AA2 Multivariable Calculus (G) M2AM Non-linear Waves (G) M2PM1 Real Analysis (G) M2PM2 Algebra 2 (G) M2PM3 Complex Analysis (G) M2PM5 Metric Spaces and Topology (G) M2S1 Probability and Statistics 2 (G) M2S2 Statistical Modelling 1 (G)

13 CO240 Models of Computation (H) 3 See module leader CO202 Algorithms 2 (H) CO221 Compilers (H) 3 See module leader CO231 Introduction to Artificial Intelligence (H) 3 See module leader CO526 Databases (H) 3 See module leader M3A10 Fluid Dynamics 2 (I) M3A2 Fluid Dynamics 1 (I) M3A4 Mathematical Physics I: Quantum Mechanics (I) M3A50 Methods for Data Science (I) M3A6 Special Relativity and Electromagnetism (I) M3A7 Tensor Calculus and General Relativity (I) 3 See module leader M3F22 M3M3 Mathematical Finance: An Introduction to Option Pricing An Introduction to Partial Differential Equations (I) (I)

14 M3M7 Asymptotic Analysis (I) M3N10 M3N7 Computational Partial Differential Equations I Numerical Solution of Ordinary Differential Equations (I) (I) M3N9 Computational Linear Algebra (I) M3P10 Group Theory (I) M3P11 Galois Theory (I) M3P12 Group Representation Theory (I) M3P14 Number Theory (I) M3P15 Algebraic Number Theory (I) M3P17 Algebraic Combinatorics (I) M3P18 Fourier Analysis & Theory of Distributions (I) M3P19 Measure and Integration (I) M3P20 Geometry 1: Algebraic Curves (I)

15 M3P21 Geometry 2: Algebraic Topology (I) M3P5 Geometry of Curves and Surfaces (I) M3P6 Probability Theory (I) M3P65 Mathematical Logic (I) M3P7 Functional Analysis (I) M3P8 Algebra 3 (I) M3PA23 Dynamical Systems (I) M3PA24 Bifurcation Theory (I) M3S1 Statistical Theory 1 (I) M3S11 Games, Risks & Decisions (I) M3S14 Survival Models and Actuarial Applications (I) M3S16 Credit Scoring 1 (I) M3S17 Quantitative Methods in Retail Finance (I) M3S2 Statistical Modelling 2 (I)

16 M3S4 Applied Probability (I) M3S8 Time Series (I) M3S9 Stochastic Simulation 1 (I) M3T Communicating Mathematics (I) CO701 Programming Competition Training EX3 3 N/A 4 0 CO464 JMC Industrial Core 4 See module leader CO401J Individual Project MEng - JMC (J) 4 See module leader M4R Maths Individual Project MEng - JMC (J) 4 See module leader CO572 Advanced Databases (K) 4 See module leader CO316 Computer Vision (K) 4 See module leader CO317 Graphics (K) 4 See module leader CO331 Network and Web Security (K) 4 See module leader CO332 Advanced Computer Architecture (K) 4 See module leader CO343 Operations Research (K) 4 See module leader

17 CO382 Type Systems for Programming Languages (K) 4 See module leader CO395 Machine Learning (K) 4 See module leader CO404H Separation Logic: Local Reasoning about Programs (Half Course) (K) 4 See module leader CO406H Concurrent Processes (Half Course) (K) 4 See module leader CO408 Privacy Engineering (K) 4 See module leader CO409 Cryptography Engineering (K) 4 See module leader CO410 Scalable Systems for the Cloud (K) 4 See module leader CO412H Large Scale Data Management (Half Course) (K) 4 See module leader CO416 Machine Learning for Imaging (K) 4 See module leader CO417 Advanced Computer Graphics (K) 4 See module leader CO422 Computational Finance (K) 4 See module leader CO424H Learning in Autonomous Systems (K) 4 See module leader CO433 Advanced Robotics (K) 4 See module leader CO438 Complexity (K) 4 See module leader

18 CO440H Software Reliability (K) 4 See module leader CO445H Advanced Security (Half Course) (K) 4 See module leader CO446H Applied Network Security (K) 4 See module leader CO447 Advanced Security in Smartphone and IoT Systems (K) 4 See module leader CO460 Deep Learning (K) 4 See module leader CO464 Industrial - Presentation and Report (K) 4 See module leader CO467 Principles of Distributed Ledgers (K) 4 See module leader CO468H Probabilistic Programming (K) 4 See module leader CO469 Probabilistic Model Checking and Analysis (K) 4 See module leader CO471 Advanced Issues in Object Oriented Programming (K) 4 See module leader CO474 Machine Arguing (K) 4 See module leader CO475 Software Engineering for Industry (K) 4 See module leader CO477 Computational Optimisation (K) 4 See module leader

19 CO484 Quantum Computing (K) 4 See module leader CO490H Natural Language Processing (K) 4 See module leader CO493 Probabilistic Inference (K) 4 See module leader CO496 Mathematics for Machine Learning (K) 4 See module leader CO498H Logics for Strategic Reasoning in AI (K) 4 See module leader CO499H Modal Logic (Half Course) (K) 4 See module leader EE4-63 High Performance Computing for Engineers (K) M4A10 Fluid Dynamics 2 (L) M4A2 Fluid Dynamics 1 (L) M4A22 M4A4 Mathematical Finance: An Introduction to Option Pricing Mathematical Physics I: Quantum Mechanics (L) (L) M4A42 Applied Stochastic Processes (L) 4 See module leader M4A44 Computational Stochastic Processes (L)

20 M4A47 Finite Elements Numerical Analysis and Implementation (L) M4A49 Mathematical Biology (L) M4A50 Methods for Data Science (L) M4N10 M4N7 Computational Partial Differential Equations 1 Numerical Solution of Ordinary Differential Equations (L) (L) M4N9 Computational Linear Algebra (L) M4P10 Group Theory (L) M4P11 Galois Theory (L) M4P12 Group Representation Theory (L) M4P14 Number Theory (L) M4P15 Algebraic Number Theory (L) M4P17 Algebraic Combinatorics (L) M4P18 Fourier Analysis & Theory of Distributions (L)

21 M4P19 Measure & Integration (L) M4P20 Geometry 1: Algebraic Curves (L) M4P21 Geometry 2: Algebraic Topology (L) M4P32 Number Theory: Elliptic Curves (L) M4P36 Representations of Symmetric Groups (L) 4 See module leader M4P41 Analytic Methods in Partial Differential Equations (L) M4P46 Lie Algebras (L) M4P5 Geometry of Curves and Surfaces (L) M4P51 Riemannian Geometry (L) M4P52 Manifolds (L) M4P54 Differential Topology (L) M4P55 Commutative Algebra (L) M4P6 Probability Theory (L) M4P65 Mathematical Logic (L)

22 M4P7 Functional Analysis (L) M4P8 Algebra 3 (L) M4S1 Statistical Theory 1 (L) M4S11 Games, Risks & Decisions (L) M4S14 Survival Models and Actuarial Applications (L) M4S16 Credit Scoring 1 (L) M4S17 Quantitative Methods in Retail Finance (L) M4S2 Statistical Modelling 2 (L) M4S4 Applied Probability (L) M4S8 Time Series (L) M4S9 Stochastic Simulation (L) M3B Mathematics of Business and Economics (M) M3E Econometric Theory and Methods (M) 4 See module leader CO322 Communicating Computer Science in Schools (M) 4 See module leader

23 - Business School Modules (M) 4 Variable Horizons Modules (M) 4 Variable 6 6 CO701 Programming Competition Training EX4 4 N/A 4 0

24 Supporting Information The Programme Handbook is available at: The Module Handbook is available at: The College s entry requirements for undergraduate programmes can be found at: The College s Quality & Enhancement Framework is available at: The College s Academic and Examination Regulations can be found at: Imperial College is an independent corporation whose legal status derives from a Royal Charter granted under Letters Patent in In 2007 a Supplemental Charter and Statutes was granted by HM Queen Elizabeth II. This Supplemental Charter, which came into force on the date of the College's Centenary, 8th July 2007, established the College as a University with the name and style of "The Imperial College of Science, Technology and Medicine". Imperial College London is regulated by the Office for Students (OfS)