Sector menu
City scape

Logic and Computation

Visit our website for more information on fees, scholarships, postgraduate loans and other funding options to study at Swansea University - winner of the 'Postgraduate' category at the WhatUni? Student Choice Awards 2017. Logic is the basis for reasoning about what we can express and compute, having a profound influence in philosophy, linguistics, mathematics, computer science, and electronics. Since the invention of computers, logic has always been the primary source of ideas and techniques for the theoretical and practical development of programming. Today, as the scope of programming technologies expands, and the horizon of applications widens, research in logic and its applications in software and hardware development is booming. In industry, formal methods are an integral part of system development, e.g., in automotive electronics, avionics, and chip design. This course will teach students about advanced techniques in logic and their applications in research problems in computer science. Students will receive an elite education of direct relevance to research and development problems in contemporary information and communication technology (ICT).

Entry requirements

A 2.1 Honours degree (or above) in computer science, mathematics or a closely related discipline. English language requirement IELTS 6.5 (with a minimum of 5.5 in each component) or Swansea University recognised equivalent.

Course modules

Modules may include: Critical Systems; IT Security; Concepts of Programming Languages; Artificial Intelligence Applications; Design Patterns and Generic Programming.

Assessment methods

A combination of written examinations, coursework and a dissertation.

Get in touch today and increase your future employability

Top