Swansea University

Swansea University

Logic and Computation

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). 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.

Entry requirements

A 2.1 Honours degreee (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 a Swansea University recognised equivalent.

Course modules

Modules may include: theorem proving techniques; formal program verification; algebraic and coalgebraic specification; modelling of distributed systems; advanced methods in complexity theory; critical systems; information technology security; concepts of programming; languages, artificial intelligence applications; design patterns; generic programming.

Assessment methods

A combination of written examinations, coursework and a dissertation.

Qualifications

Qualification Study mode Start month Fee Course duration
MRes Full-time September 2016 GBP 4,214 per Year 1 (England) 1 years
MRes Full-time September 2016 GBP 14,850 per Year 1 (International) 1 years
MRes Full-time September 2016 GBP 4,214 per Year 1 (Northern Ireland) 1 years
MRes Full-time September 2016 GBP 4,214 per Year 1 (Scotland) 1 years
MRes Full-time September 2016 GBP 4,214 per Year 1 (Wales) 1 years
MRes Part-time September 2016 GBP 2,107 per Year 1 (England) 2 years
MRes Part-time September 2016 GBP 7,400 per Year 1 (International) 2 years
MRes Part-time September 2016 GBP 2,107 per Year 1 (Northern Ireland) 2 years
MRes Part-time September 2016 GBP 2,107 per Year 1 (Scotland) 2 years
MRes Part-time September 2016 GBP 2,107 per Year 1 (Wales) 2 years

Campus details

Campus name Town Postcode Region Main campus Campus Partner
Singleton Park, Swansea Swansea SA2 8PP Wales

Get in touch

Remember to mention TARGETpostgrad when contacting universities.

Key information

Contact: 
College of Science Admissions Office
Telephone number: 
01792 295142