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