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).
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.
Modules may include: Critical Systems; IT Security; Concepts of Programming Languages; Artificial Intelligence Applications; Design Patterns and Generic Programming.
A combination of written examinations, coursework and a dissertation.
Get in touch today and increase your future employability