Swansea University - Graduate Programs

Singleton Park
Swansea, WlS
United Kingdom SA2 8PP

Tel. () + 44 (0)1792 295129

Logic and Computation

Program Information
Degree: Master
Field of Study: Computer and Information Sciences, General
Description 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. The MRes Logic and Computation course will teach you about advanced techniques in logic and their applications in research problems in computer science. You will receive an elite education of direct relevance to research and development problems in contemporary information and communication technology (ICT).
Website: Logic and Computation at Swansea University - Graduate Programs
Length: 1 Year(s)
Cost per year:

Fees based on British Pounds and may vary due to the exchange rate.
Test Scores:
  • International English Language Testing System (academic or immigration) [min. 6.5]

* We make every attempt to provide accurate information on prerequisites, programs, and tuition. However, this information is subject to change without notice and we highly recommend that you contact the school to confirm important information before applying.

Last Updated: September 13, 2016