,

地區(qū)

院校庫

學(xué)員錄取

留學(xué)資訊

背景提升

顧問團(tuán)隊(duì)

資料庫

關(guān)于我們

本科留學(xué)

邏輯學(xué)理學(xué)碩士

收藏已取消

收藏成功

已添加至{{ selectCollectNames.join(',') }}

更改

UvA MSc Logic

項(xiàng)目簡介

課程設(shè)置

收藏已取消

收藏成功

已添加至{{ selectCollectNames.join(',') }}

更改

預(yù)約咨詢

所屬院校

阿姆斯特丹大學(xué)

University of Amsterdam

55 QS 2025

項(xiàng)目簡介

專業(yè)方向

其他社科

入學(xué)時(shí)間

9月

項(xiàng)目時(shí)長

2年

項(xiàng)目學(xué)費(fèi)

17380歐元/年

培養(yǎng)目標(biāo)

邏輯學(xué)是一個(gè)跨學(xué)科的國際兩年制碩士課程，專注于邏輯學(xué)作為科學(xué)和人文之間的中介的中心作用。該課程是由邏輯、語言和計(jì)算研究所于1995年設(shè)立的，教師來自計(jì)算機(jī)科學(xué)、哲學(xué)、認(rèn)知科學(xué)、(計(jì)算)語言學(xué)和數(shù)學(xué)等領(lǐng)域。涵蓋數(shù)學(xué)、計(jì)算機(jī)科學(xué)、哲學(xué)和語言學(xué)的重要研究領(lǐng)域，在社會(huì)科學(xué)中有著重要的應(yīng)用。

申請(qǐng)要求

具有計(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)大的正式背景，他們將考慮錄取不符合此要求的候選人。

語言要求