具有計算機科學、人工智能、數(shù)學、哲學或語言學等相關(guān)學科背景，具有扎實的邏輯背景<br>申請人應(yīng)具有扎實的現(xiàn)代形式邏輯背景，對數(shù)學和形式思維的親和力，并對數(shù)學證明有足夠的熟悉。在實踐中，這意味著新生應(yīng)該已經(jīng)學習了數(shù)理邏輯課程，包括一階邏輯的完備性定理的證明，并參加了需要數(shù)學或形式推理的課程。請注意，哲學和語言學系的邏輯入門課程通常不能提供足夠的邏輯背景來滿足這一要求：通常，哲學系涵蓋這些材料的課程被稱為元邏輯。 招生委員會知道并非所有大學都提供涵蓋這些材料的課程，如果候選人具有非常強大的正式背景，他們將考慮錄取不符合此要求的候選人。