Mathematical Logic 2019/2020 (10 credits)

Autumn 19/20, 33 %, Campus

Start date: 2 September 2019

End date: 19 January 2020

Application Deadline: 15 April 2019

Enrolment Code: UU-10104 Application

Language of Instruction: The course will be taught in English, if needed

Location: Uppsala

Entry Requirements: 60 credits in mathematics including Algebra II, Discrete Mathematics or Set Theory.

Fees:

If you are not a citizen of a European Union (EU) or European Economic Area (EEA) country, or Switzerland, you are required to pay application or tuition fees. Formal exchange students will be exempted from tuition fees, as well as the application fee. Read more about fees.

Application Fee: SEK 900

Tuition fee, first semester: SEK 21667

Tuition fee, total: SEK 21667

Please note: The course will be given if resources are available.

About the course:

The course deals with the formal language of first order logic, basic model theory and recursion theory. Since logic has applications in computer science, this course is also recommended for students in computer science who want to expand their knowledge in mathematics.

More information

Contact

Department of Mathematics

Lägerhyddsvägen 1, Hus 1, 6 och 7

Box 480, 751 06 UPPSALA

Fax: 018-471 3201

Study Counsellor studievagledare@math.uu.se

Telephone: +46 18 471 32 03