Logikus mester
University of Gothenburg, Faculty of Humanities
Kulcs információ
Campus helye
Gothenburg, Svédország
Nyelvek
Angol
Tanulmányi formátum
Összekevert
Időtartam
2 évek
Pace
Teljes idő
Tandíjak
Kérjen információt
Jelentkezési határidő
Kérjen információt
Legkorábbi kezdési dátum
Sep 2024
* Tandíj: vegye fel a kapcsolatot az osztályral
Ösztöndíjak
Fedezze fel az ösztöndíj lehetőségeket tanulmányai finanszírozásának elősegítésére
Bevezetés
Logika, mester program
A logikát hagyományosan úgy definiálják, mint az érvényes érvelés formális aspektusainak tanulmányozását, de ma sok logikus a logikát a formális rendszerek és alkalmazásuk általánosabb tanulmányaként tekinti. A modern logikában a tiszta kutatások által kifejlesztett fogalmi keretek és eszközök sokféle alkalmazást találtak a formális nyelveket és rendszereket tanulmányozó különböző tudományágakban, pl. A szoftverfejlesztés és a számítástechnika nyelvészetében.
Mivel a tudományos tantárgyi logika valóban interdiszciplináris, és a határvonalon helyezkedik el a filozófia, a matematika, a számítógépes tudomány és a nyelvészet között. A csere aktív és kölcsönösen előnyös. A logika napjainkban a matematika, a számítástechnika és a nyelvészet aktív nemzetközi tanulmányi és kutatási területe.
A kétéves program első éve leginkább a logika elméleti alapjaiból álló kötelező tanfolyamokból áll. A második év egy 30 LE-s esszé és választható kurzusokból áll, ahol diákként a logika általános területe és alkalmazási területei között szakosodott profil felé halad.
A logikára, a módszertanra és a logika történetére vonatkozó szemináriumok sorozata, a Logic Colloquium, mindkét év folyamán fut. Ön is lehetősége lesz arra, hogy részt vegyen a kutatási szemináriumon logikában a tanszéken. A program hallgatójaként szoros együttműködésben dolgozhat nemzetközi és erőteljes kutatási környezetben.
Tanfolyam tartalom
- Teljesség és határozottság
- Állítsa be az elméletet és a modális logikát
- Modellelmélet és bizonyításelmélet
- Kategóriaelmélet és az igazság formális elméletei
Karrier az érettségi után
A diplomások jól felkészültek a Ph.D. logikát, elméleti filozófiát, nyelvtudományt és számítástudományt, és kompetenciája lesz az argumentumelemzés, deduktív adatbázisok és a szemantikus web. A nem akadémiai pályaválasztási lehetőségek közé tartozik a szoftverfejlesztés, a webalapú technológiák, valamint az információs és kommunikációs technológia.
követelmények
Egyetemi diploma, legalább hároméves teljes munkaidős tanulmány, logika, elméleti filozófia, matematika, számítástechnika vagy nyelvészet.
3 ok a program tanulmányozására
- Egy interdiszciplináris környezet, amely ötvözi a matematikát, a filozófiát és a számítástechnikát
- Vegyen részt nemzetközi kutatási környezetben
- Válasszon tanfolyamokat, amelyek megfelelnek a hátterének, valamint az akadémiai és szakmai céloknak
Alkalmazási időszakok az ősszel kezdődő programok esetében
Nemzetközi diákok EU / EGT állampolgárság nélkül
A nemzetközi diákok fő pályázati ideje október közepéig és január 15-ig minden ősszel kezdődő program esetében. Jelentkezzen be a href = "universityadmissions.se" címre
EU / EGT szabad mozgó / nem partner diákok és svéd hallgatók
Ha nincs szüksége lakóhellyel, az ősszel kapcsolatos kérelem március 15-től április közepéig tart nyitva. Jelentkezzen be a href = "universityadmissions.se vagy a href =" antagning.se címre .
Tandíj
Az EU / EGT-n kívüli országok állampolgárai általában kötelesek fizetni a tandíjat. A tandíj nem vonatkozik az EU / EGT állampolgárokra. A tandíjra vonatkozó információkért kérjük, vegye fel a kapcsolatot a Filozófia Tanszékével, a Nyelvtudománygal és a Tudományelméletgel.
Az Iskoláról
Kérdések
Hasonló tanfolyamok
Master in Logic and Philosophy of Science
- Valladolid, Spanyolország
Logikai mester
- Prague, Csehország
Master's Degree in Pure and Applied Logic
- Barcelona, Spanyolország
- Montpellier, Franciaország