Описание программы
Логика, магистерская программаЛогика традиционно определяется как изучение формальных аспектов действительного рассуждения, но сегодня многие логики рассматривают логику как более общее исследование формальных систем и их приложений. Концептуальные рамки и инструменты, разработанные чистыми исследованиями в современной логике, нашли множество приложений в различных дисциплинах, изучающих формальные языки и системы, например, разработку программного обеспечения и вычислительную лингвистику.
Как академическая предметная логика является подлинно междисциплинарной и расположена на границе между философией, математикой, информатикой и лингвистикой. Обмен является активным и взаимовыгодным. Логика в настоящее время является активной международной областью исследований и исследований также в области математики, информатики и лингвистики.
Первый год двухлетней программы состоит в основном из обязательных курсов теоретических основ логики. Второй год состоит из 30-ти эссе и факультативных курсов, где вы, как ученик, работаете над специализированным профилем в рамках общей области логики и ее приложений.
Серии семинаров, Коллоквиум в логике, по применению логики, методологии и истории логики будут проходить через оба года. У вас также будет возможность посещать исследовательский семинар по логике на кафедре. Будучи студентом программы, вы будете работать в тесном сотрудничестве с международной и энергичной исследовательской средой.Содержание курсаПолнота и разрешимость
Теория множеств и модальная логика
Теория моделей и теория доказательств
Теория категорий и формальные теории правдыКарьера после окончанияВыпускники будут хорошо подготовлены к подаче заявки на докторантуру. программ в логике, теоретической философии, лингвистике и информатике и будет обладать компетенцией в анализе аргументов, дедуктивных базах данных и семантической сети. Неакадемический выбор карьеры включает в себя разработку программного обеспечения, веб-технологии, а также сектор информационно-коммуникационных технологий.ТребованияСтепень бакалавра, не менее трех лет на дневном отделении, в области логики, теоретической философии, математики, информатики или лингвистики.3 причины для изучения этой ПрограммыМеждисциплинарная среда, объединяющая математику, философию и информатику
Принять участие в международной исследовательской среде
Выберите модули курса, соответствующие вашему фону, а также академические и профессиональные целиПериод применения программ, начинающихся осеньюИностранные студенты без гражданства ЕС / ЕЭЗ Основной период применения для иностранных студентов - с середины октября до 15 января для всех программ, начинающихся осенью. Подать заявку на href = "universityadmissions.se
Студенты из стран ЕС / ЕАОС, не являющиеся партнерами и студенты из Швеции Если вам не требуется разрешение на пребывание, заявление на осень будет открыто с 15 марта по середину апреля. Подать заявку на href = "universityadmissions.se или at href =" antagning.se .Стоимость обученияСтуденты, которые являются гражданами стран, не входящих в ЕС / ЕЭП, обычно обязаны платить за обучение. Плата за обучение не распространяется на граждан ЕС / ЕЭП. Для получения информации о стоимости обучения, пожалуйста, свяжитесь с Отделом философии, лингвистики и теории науки.
