邏輯學(xué)理學(xué)碩士
收藏已取消
![]()
{{!collectStatus ? '收藏' : '已收藏'}}
收藏已取消
收藏成功
已添加至{{ selectCollectNames.join(',') }}
更改
UvA MSc Logic
項目簡介
課程設(shè)置
收藏已取消
收藏成功
已添加至{{ selectCollectNames.join(',') }}
更改
預(yù)約咨詢
項目簡介
專業(yè)方向
其他社科
入學(xué)時間
9月
項目時長
2年
項目學(xué)費
17380歐元/年
培養(yǎng)目標
邏輯學(xué)是一個跨學(xué)科的國際兩年制碩士課程，專注于邏輯學(xué)作為科學(xué)和人文之間的中介的中心作用。該課程是由邏輯、語言和計算研究所于1995年設(shè)立的，教師來自計算機科學(xué)、哲學(xué)、認知科學(xué)、(計算)語言學(xué)和數(shù)學(xué)等領(lǐng)域。涵蓋數(shù)學(xué)、計算機科學(xué)、哲學(xué)和語言學(xué)的重要研究領(lǐng)域，在社會科學(xué)中有著重要的應(yīng)用。
申請要求
具有計算機科學(xué)、人工智能、數(shù)學(xué)、哲學(xué)或語言學(xué)等相關(guān)學(xué)科背景，具有扎實的邏輯背景<br>申請人應(yīng)具有扎實的現(xiàn)代形式邏輯背景，對數(shù)學(xué)和形式思維的親和力，并對數(shù)學(xué)證明有足夠的熟悉。在實踐中，這意味著新生應(yīng)該已經(jīng)學(xué)習(xí)了數(shù)理邏輯課程，包括一階邏輯的完備性定理的證明，并參加了需要數(shù)學(xué)或形式推理的課程。請注意，哲學(xué)和語言學(xué)系的邏輯入門課程通常不能提供足夠的邏輯背景來滿足這一要求：通常，哲學(xué)系涵蓋這些材料的課程被稱為元邏輯。
招生委員會知道并非所有大學(xué)都提供涵蓋這些材料的課程，如果候選人具有非常強大的正式背景，他們將考慮錄取不符合此要求的候選人。
語言要求
類型
總分要求
小分要求
雅思和托福語言考試分為閱讀、聽力、口語、寫作4個部分，除總分以外，每個部分會有單獨的小分。部分專業(yè)除對雅思和托福有總分要求外，會有單獨的小分要求。其中L代表聽力，R代表閱讀，W代表寫作，S代表口語。
雅思
6.5
L:6 | R:6 | W:6 | S:6
托福
92
L:22 | R:22 | W:22 | S:22
申請時間
2023Fall
-
開放時間
2023-01-15
Round1
2023Fall Round1
開始時間：-
結(jié)束時間：2023-01-15
申請已結(jié)束
課程設(shè)置
序號
課程介紹
Curriculum
1
邏輯的數(shù)學(xué)證明方法
Mathematical Proof Methods for Logic
2
邏輯，語言和計算
Logic, Language and Computation
3
基本概率:理論
Basic Probability: Theory
4
自然語言處理的深度學(xué)習(xí)
Deep Learning for Natural Language Processing
5
認知悖論和哲學(xué)難題
Epistemic Paradoxes and Philosophical Puzzles
6
邏輯史:早期現(xiàn)代哲學(xué)中的語言理論。
History of Logic: Theories of Language in Early Modern Philosophy
7
邏輯和對話
Logic and Conversation
8
微積分
Lambda Calculus
9
模態(tài)邏輯導(dǎo)論
Introduction to Modal Logic
10
范疇理論和托氏理論
Category Theory and Topos Theory
預(yù)約咨詢
預(yù)約咨詢
