Mathematical Logic Interdisciplinary Certificate Program

数理逻辑跨学程（微专业）

希望修读数理逻辑学程的学生（仅限复旦大学在校本科生）请注册，欢迎联系 logic@fudan.edu.cn 加入微信群。

Introduction 简介

The Mathematical Logic Interdisciplinary Certificate Program is an innovative curriculum system designed jointly by the Academic Affairs Office, the School of Philosophy, the School of Mathematical Sciences, and the School of Computer Science and Technology. It is dedicated to selecting and cultivating research-oriented talents in mathematical logic from among the undergraduate population.

Leveraging the superior academic resources of the participating departments, the Program provides interested students with a comprehensive and high-quality training plan in mathematical logic. It is designed to be compatible with students' existing academic programs while offering a flexible entry-and-exit mechanism. Launched in 2018 as Fudan University’s first interdisciplinary certificate program, the Mathematical Logic Program has now been in operation for eight years.

The primary objective of the Program is to offer students a systematic study plan, enabling them to gain a preliminary understanding of the fundamental content, concepts, and methods of mathematical logic. It aims to equip students with the ability to utilize logical tools to a certain extent and apply them to fields such as mathematics, computer science, and philosophy.

简介(2026.01 郝兆宽)