
Майстер в логіці
Gothenburg, Швеція
ТРИВАЛІСТЬ
2 Years
МОВИ
Англійська
ТЕМП
Денне навчання
КІНЕЦЬ ТЕРМІНУ НАДАННЯ ЗАЯВ
Кінцевий термін подання заявки
НАЙРАНІША ДАТА ПОЧАТКУ
Sep 2024
ПЛАТА ЗА НАВЧАННЯ
Вимагайте плату за навчання
ФОРМАТ НАВЧАННЯ
Купажований
* Навчання: зв'яжіться з відділом
Стипендії
Вивчіть можливості отримання стипендій, щоб допомогти фінансувати своє навчання
Введення
Логіка, магістерська програма
Логіка традиційно визначається як вивчення формальних аспектів справедливого міркування, але сьогодні багато логіків бачать логіку як більш загальне вивчення формальних систем та їх застосування. Концептуальні основи та інструменти, розроблені чистими дослідженнями в сучасній логіці, знайшли безліч застосувань у різних дисциплінах, що вивчають формальних мов та систем, наприклад, програмне забезпечення та обчислювальна лінгвістика.
В якості навчального предмету логіка справді є міждисциплінарною та розташована на межі між філософією, математикою, інформатикою та лінгвістикою. Обмін є активним та взаємовигідним. Логіка в даний час є активною міжнародною сферою навчання та дослідження також в галузі математики, інформатики та лінгвістики.
Перший рік дворічної програми складається в основному з обов'язкових курсів теоретичних основ логіки. Другий рік складається з 30 нарисів есе та факультативних курсів, де ви, як студент, працюєте над спеціалізованим профілем у загальному полі логіки та його програмах.
Семінарська серія "Колоквіум в логіці", присвячена застосуванню логіки, методології та історії логіки, пройде через два роки. Ви також матимете можливість відвідати науково-дослідний семінар логіки на кафедрі. Будучи студентом програми, ви будете працювати в тісній співпраці з міжнародним та енергійним дослідницьким середовищем.
Зміст курсу
- Повнота та прийнятність
- Встановіть теорію та модальну логіку
- Теорія моделі та теорія доказів
- Теорія категорій і формальних теорій істини
Кар'єра після закінчення навчання
Випускники будуть добре підготовлені до подання до кандидата наук. програми в логіці, теоретичній філософії, лінгвістиці та комп'ютерних наук, і матимуть компетенцію в аналізі аргументів, дедуктивних базах даних та семантичній мережі. Неакадемічний вибір професії включає розробку програмного забезпечення, веб-технології, а також сектор інформаційних та комунікаційних технологій.
Вимоги
Ступінь бакалавра, щонайменше три роки навчання в повному обсязі, за логікою, теоретичною філософією, математикою, інформатикою або лінгвістикою.
3 причини для вивчення цієї Програми
- Міждисциплінарне середовище, що поєднує в собі математику, філософію та інформатику
- Візьміть участь у міжнародному дослідницькому середовищі
- Виберіть модулі курсу, відповідні вашому фону та академічні та професійні цілі
Період застосування для програм, що починаються восени
Міжнародні студенти без громадянства ЄС / ЄЕЗ
Основний термін подання заявок для іноземних студентів - з середини жовтня до 15 січня для всіх програм, що починаються восени. Застосувати за адресою href = "universityadmissions.se
Студенти, які не є партнерами та студентами Швеції, які є членами ЄС / ЄЕЗ
Якщо ви не потребуєте дозволу на проживання, заявку на осінь буде відкрито з 15 березня до середини квітня. Застосувати у href = "universityadmissions.se або at href =" antagning.se .
Вартість навчання
Студенти, які є громадянами країн за межами ЄС / ЄЕЗ, зазвичай платять за навчання. Вартість навчання не поширюється на громадян ЄС / ЄЕЗ. Для отримання інформації про плату за навчання, будь ласка, зв'яжіться з відділом філософії, лінгвістики та теорії наук.
Про Школу
Запитання
Подібні курси
Master in Logic
- Prague, Чеська Республіка
Master in Logic and Philosophy of Science
- Valladolid, Іспанія
Магістр комп'ютерних наук - спеціалізація з логіки, семантики та верифікації
- Aarhus, Данія