Visit our website for more information on fees, scholarships, postgraduate loans and other funding options to study Logic and Computation at Swansea University - 'Welsh University of the Year 2017' (Times and Sunday Times Good University Guide 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.
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).
Teaching score of Excellent.
Highest percentage of top-class researchers of any Computer Science department in Wales – and only 12 in the UK have higher.
70% of the research activity assessed as world-leading or internationally excellent.
Our industrial programme IT Wales which can arrange vacation employment placements.
A state-of-the-art education.
Friendly staff, committed to the highest standards.
A university with high success rate, low drop-out rate, and excellent student support.
Swansea's Library spends more per student on books and other resources than any other university in Wales, and most in the UK.
The main part of the MRes in Logic and Computation is a substantial and challenging project involving cutting edge research. The completion of such a project will give you the ability and confidence to pursue a successful career in industrial research and development, or to proceed to academic PhD studies.
In seminars and reading courses you will enter the world of research by studying general topics in theoretical computer science as well as special topics for your research project. Guided by your supervisor you will conquer new technical subjects and learn to critically assess current research.
Lecturers and students will meet regularly to discuss recent developments and give informal talks. Topics of the seminars are chosen in accordance with the research projects, and will cover material such as:
Theorem proving techniques
Formal program verification
Algebraic and coalgebraic specification
Modelling of distributed systems
Advanced methods in complexity theory
Additionally you will choose selected taught modules covering important topics such as Critical Systems, IT Security, Concepts of Programming
Languages, Artificial Intelligence Applications, Design Patterns and Generic Programming.
The Department is well equipped for teaching, and is continually upgrading its laboratories to ensure equipment is up-to-date – equipment is never more than three years old, and rarely more than two. Currently, students use three fully networked laboratories: one, running Windows; another running Linux; and a project laboratory, containing specialised equipment. These laboratories support a wide range of software, including the programming languages Java, C# and the .net framework, C, C++, Haskell and Prolog among many; integrated programme development environments such as Visual Studio and Netbeans; the widely-used Microsoft Office package; web access tools; and many special purpose software tools including graphical rendering and image manipulation tools; expert system production tools; concurrent system modelling tools; World Wide Web authoring tools; and databases.
All Computer Science courses will provide you the transferable skills and knowledge to help you take advantage of the excellent employment and career development prospects in an ever growing and changing computing and ICT industry.
90% of Swansea’s Computer Science graduates are in full-time employment or further study within six months of graduating (HESA June 2011).
Some example job titles from the HESA survey 2011:
Software Engineer: Motorola Solutions
Change Coordinator: Logica
Software Developer/Engineer: NS Technology
Workflow Developer: Irwin Mitchell
IT Developer: Crimsan Consultants
Consultant: Crimsan Consultants
Programmer: Evil Twin Artworks
Web Developer & Web Support: VSI Thinking
Software Developer: Wireless Innovations
Associate Business Application Analyst: CDC Software
Software Developer: OpenBet Technologies
Technical Support Consultant: Alterian
Programming: Rock It
Software Developer: BMJ Group
The results of the Research Excellence Framework (REF) 2014 show that Swansea Computer Science ranked 11th in the UK for percentage of world-leading research, and 1st in Wales for research excellence. 40% of our submitted research assessed as world-leading quality (4*).
The MLitt in Logic and Metaphysics is a one year taught postgraduate programme run by the St Andrews and Stirling Graduate Programme in Philosophy (SASP), taught by staff from both the University of St Andrews and the University of Stirling. It focuses on topics within metaphysics and logic; with classes covering logic and advanced logic, formal approaches to natural languages and contemporary and historical debates in metaphysics.
Students have the opportunity to study topics through lectures, tutorials and reading groups. Modules are taught in small groups, normally consisting of four to ten students. All postgraduate taught students in the Department participating in the compulsory Current Issues modules. In 2017-2018, there were approximately 40 postgraduate taught students in the Department.
The programme consists of six taught modules taken over two semesters (each assessed by coursework) and a 15,000-word dissertation in an area of your choice.
Every MLitt student is assigned an adviser at the beginning of the year. Your adviser will provide you with individual guidance on essay planning and writing, academic conduct, and advice on how best to apply for a PhD place.
The MLitt in Logic and Metaphysics can also be taken as a part-time programme. Students will be expected to take three modules per year over two years, working on the dissertation over two summers. For more information about part time study, please contact the SASP secretary by emailing [email protected].
The modules in this programme have varying methods of delivery and assessment. For more details of each module, including weekly contact hours, teaching methods and assessment, please see the latest module catalogue which is for the 2017–2018 academic year; some elements may be subject to change for 2018 entry.
The Graduate Diploma in Philosophy is a one-year conversion course (two years part-time), designed for those who already have a degree and wish to pursue an interest in philosophy. No formal training in philosophy is required. The programme provides an ideal learning environment if you are interested in progressing to an MA in Philosophy, or simply want the opportunity to learn about philosophy.
The Diploma has two main components:
You can choose from a wide range of modules, which in the past have included:
Students in the Graduate Diploma programme receive an average of eight timetabled contact hours per week over the course of the programme. The contact hours come in the form of lectures, tutorials and seminars, depending on the four modules chosen by the student. In addition, students are offered six hours of one-to-one dissertation supervision with an expert in their chosen research area.
Philosophical development involves not only familiarizing oneself with a body of knowledge but also acquiring skills in critical reasoning and argumentation. Thus, in addition to introducing students to key works in philosophy, the programme offers many opportunities for dialogical interaction. Lecture sessions include time for questions, tutorials consist mainly of structured, critical dialogue in a supportive environment, and seminars provide opportunities for extended discussion. Dissertation supervision meetings give guidance on suitable reading, critical discussion of relevant sources, detailed advice on how to write a 12,000 word piece of research, and intensive critical engagement with the student’s philosophical position and argument.
Timetabled contact is only a part of the learning process; its aim is to provide students with the knowledge and skills required to navigate the relevant literature themselves and to pursue independent learning. Lectures and accompanying documents contextualise material and introduce students to topics, positions and debates. At least four hours of additional study per week are recommended for each lecture or seminar, which includes reading and the completion of assignments. Having completed the reading, students engage in discussion in seminars or return to lecture topics in small group tutorials. These help students to refine their understanding of material and to develop the reasoning skills needed to formulate, present, defend and criticise philosophical positions.
Graduate Diploma students also can benefit from a range of other activities in the department, including the department’s postgraduate philosophy society (EIDOS), weekly research seminars and reading groups, and occasional conferences, workshops and Royal Institute of Philosophy lectures. The programme director remains in contact with students throughout the year and is always available to discuss any issues that might arise, whether personal or academic.
With a deep and rigorous programme of coursework and research in the Department of Philosophy, Logic and Scientific Method, the MSc Philosophy of Science explores both general questions about the nature of science and specific foundational issues related to the individual sciences.
This programme is primarily designed to be accessible and stimulating for two main audiences: those who have studied science as undergraduates and would now like to study the philosophical foundations and methodology of science in depth, and those who have studied philosophy and would now like to delve deeper into the philosophy of science.
Founded in 1946 by the eminent philosopher of science Sir Karl Popper, LSE’s Department of Philosophy, Logic and Scientific Method is the ideal place to explore conceptual, methodological and foundational issues in the sciences. Along with the closely related Centre for Philosophy of Natural and Social Science, it enjoys an international reputation for its cutting-edge research, bustling seminar series and distinguished faculty and visitors.
This master's programme prepares you for many different possible destinations, including PhD work in philosophy or related disciplines, and employment in many non-academic fields such as science journalism, science administration and science management.