申请要求
申请人应拥有以下领域之一的学士学位或同等学位:计算机科学、人工智能、数学、哲学或语言学。涵盖这两个科目组合的双学位将被视为满足相关本科学位要求,但一个特定科目中没有足够深度的非常广泛的跨学科学位通常不被视为相关的本科学位。
申请人应具有现代形式逻辑方面的扎实背景,对数学和形式思维有亲和力,并对数学证明有足够的熟悉。在实践中,这意味着新生应该参加数学逻辑课程,包括一阶逻辑完整性定理的证明,并参加需要数学或形式推理的课程。请注意,哲学和语言学系的逻辑入门课程通常不能提供足够的逻辑背景来满足这一要求:通常,哲学系涵盖此材料的课程被称为元逻辑。
招生委员会意识到,并非所有大学都提供涵盖此材料的课程,如果不符合这一要求的候选人有非常强大的正式背景,将考虑录取他们。