# Masters Program

### It is currently not clear, whether this program will open in 2018.

The department offers a two-year Masters' program in **Logic**. Although the program is formally in Czech, most courses are taught in English. We believe this is necessary to prepare our students for further work in the field. Moreover it makes the program accessible for students from abroad.

## Admission

**Requirements**

Students applying for the program must hold a Bachelor's (or equivalent) degree and be comfortable with university level mathematics and should have basic knowledge of formal logic (formal systems, propositional & predicate logic, completness, incompletness) and set theory (axiom of choice, ordinals, cardinals, basic cardinal and ordinal arithmetic---e.g. the material covered in the first two chapters of Kunen's Set Theory or his new volume Foundation of Mathematics should be enough).

**Students from Abroad**

Since the program is formally in the Czech language, there is no tuition fee. While most of the courses (and all required courses) are taught in English, the application process is carried out in the Czech language. Additionally students from outside the EU will need visas. For these reasons it will be easier for you to contact us first so that we can help you with all the administrative details.

## Program Overview

The core of the program focuses on advanced topics in logic (non classical logics, algebraic logic, categorial approaches to logic, model theory, formal systems) and set theory (combinatorial set theory, forcing, large cardinals, descriptive set theory, topology). Additionally there are elective courses ranging from the philosophy of mathematics, through linguistics to artificial intelligence.

Although the standard length of the program is formally two years, students typically take three years to complete it. As part of the requirements for completing the program, the student must write a Master's thesis on a selected research-level topic under the direction of an advisor. The advisor and the topic of the thesis is usually chosen after completing the first year.

While the focus of the program is to prepare students for doing research in mathematics, logic or computer science, research is by no means the only possible career path. The skills needed to sucessfully complete the program and the training in formal reasoning ensure that our students usually have great freedom in choosing a job if they decide to not pursue a career in academia.

## Living in Prague

Prague, the capital of the Czech Republic, is a beautiful city with medieval roots, and plenty of breathtaking architecture ranging from gothic, renaissance, baroque right to cubistic and modern. It has outstanding public transport and the cost of living is typically much less than in other western cities. Students are eligible for accommodation in student housing provided by the university which, while rather spartan, is reasonably priced. Given a modest lifestyle, 600 EUR should be enough to cover all your montly expenses.

## Financial aid

Unfortunately, the department does not have sufficient funding to provide substantial scholarships. However, the Faculty of Arts (of which the department is a part) has a scholarship programme for outstanding students and the university has need-based scholarship program. These scholarships will unfortunately only cover around a third of your living costs at most. You can also apply for a student grant, where the money is more substantial. However, since the grants are awarded based on presenting a scientific project, this is usually practical only in the later stages of your studies.