The course provides an introduction to methods and tools used in applied mathematics to develop simple models of mechanical, biological and other systems of...

The course provides an introduction to methods and tools used in applied mathematics to develop simple models of mechanical, biological and other systems of interest. The main tools introduced are qualitative and analytic approaches to differential equations, stability, waves and oscillations.

Only available for single hons Geog students. An independent piece of research carried out by undergraduates on a topic chosen by students and approved by the department.

The 30-credit module GEOG0033 involves a dissertation of no more than 8,000 words. It resembles the longer GEOG0037 dissertation insofar as it should be treated as an original research project, not an extended course paper. It can however be based largely on secondary sources, although dissertations reporting original empirical research are also welcome. In either case, the emphasis is still on the process of research undertaken, as an exercise in asking and answering specific research questions. The reason for the choice of topic in relation to the existing literature must be justified and the relevance of contemporary theoretical debates in the discipline should be considered. Research questions should be clearly specified and the approach to answering them stated and justified. The contribution of the dissertation to academic knowledge must be considered.

Aims:

This module aims to equip students with an understanding of deep learning methodology and to obtain hands-on experience in deep learning applications...

Aims:

The module aims to introduce students to formal logical reasoning and to fundamental concepts in the theory of computation and formal...

Aims:

The module aims to introduce students to formal logical reasoning and to fundamental concepts in the theory of computation and formal languages.Learning outcomes:

On successful completion of the module, a student will be able to:

Identify and reason with the logical content of arguments.
	Recognise, write down and reason about automata and language grammars.
	Carry out standard proofs and refutations involving logic and computational models.
Content:

This module introduces students to the theory of computation. The first 5 weeks of the course will focus on mathematical logic, including: propositional logic, first-order logic, proof by induction and modal logic. The second 5 weeks will focus on fundamentals of computation, automata and language theory.Requisites:

To be eligible to select this module as optional or elective, a student must: ​(1) be registered on a programme and year of study for which it is a formally available; and (2) have A-level Mathematics (or equivalent).