Международная программа по вычислительной логике

Основные направления исследований: математическая логика, системы дедукции, логическое программирование, формальные методы разработки программного обеспечения, формальные методы проектирования аппаратных средств, семантика и логические принципы языков программирования, дедуктивные базы данных, логические принципы когнитивных систем, формальные методы в механике, логические принципы и смысловые конструкции обработки речи, мехатроника и формальные методы, производственные системы и робототехника.

Образовательная организация

Лекции, учебные пособия и семинары проводятся в первые три семестра. Четвертый семестр предназначен для подготовки магистерской работы. Структура курса состоит из:

• пяти обязательных базовых модулей: Основы, Программирование логики и ограничений, Продвинутая логика, Интегрированные логические системы, и навыки презентации и общения
• три из четырех продвинутых модулей, выбранных студентом: представление знаний, теоретическая информатика и логика, принципы логического вывода и компьютерная инженерия.

Дополнительные университеты предлагаются университетами-партнерами для студентов европейской магистерской программы.

• проект
• магистерская работа: студент должен продемонстрировать свою способность решать проблема в вычислительной логике или ее приложениях, независимо использующих научные методы.

Рекомендуется по крайней мере один семестр за границей, предпочтительно второй семестр в Свободном университете Бозен-Больцано (Италия).

Отдел (ы) обучения за рубежом

Студенты Международной программы MSc в CL (MCL) должны учиться как минимум один семестр за границей, предпочтительно в Unibz (Италия).
MCL является частью европейской магистерской программы в вычислительной логике, которая проводится совместно со Свободным университетом Бозен-Больцано (Unibz), Universidade Nova de Lisboa (NOVA), Technische Universität Wien (TUW). Студенты Европейской магистерской программы учатся в TUD в течение первого семестра, в Unibz во втором семестре и выбирают один из университетов-партнеров на второй год обучения.

Формы оценки

Модули проверяются в письменной или устной форме после их заполнения. Проект, а также магистерскую диссертацию необходимо защитить.
Двухлетняя программа стоит 120 кредитных баллов ECTS и состоит из:

• пяти обязательных базовых модулей, включающих 38 кредитных баллов ECTS < / li>
• три выбранных продвинутых модуля, включающие 36 кредитных баллов ECTS
• проект с 16 кредитными баллами ECTS
• магистерская работа по исследованию с 30 кредитными баллами ECTS

Цели курса

Цель этого курса - дать студентам теоретические и практические знания, необходимые для профессиональной практики в этой области, дать им обзор отдельных дисциплин вычислительной логики и разработать их способность работать в соответствии с научными методами. Кроме того, студентам предоставляется возможность планировать учебу в соответствии с конкретным практическим применением. Чтобы получить практические знания, они могут выбрать соответствующие комбинации модулей. Посещая или обучаясь за границей, а также знакомясь с английским языком обучения, студенты будут подготовлены к растущей интернациональности науки, торговли и промышленности.

Требования к языку

Кандидаты должны подтвердить свои знания английского языка с помощью следующих документов:

• Отчет TOEFL: 550 (на бумажном носителе, программа институционального тестирования), 79 (на основе интернета) < / li>
• или отчет IELTS: группа 6.0
• или аналогичные сертификаты

Академические требования

• Квалифицированная степень бакалавра в области компьютера наука или математика или эквивалентное
• подтверждение знаний выше среднего по основам математической логики, искусственного интеллекта, декларативного программирования и теоретической информатики
• доказательство достаточного знания английского языка ( TOEFL, IELTS или аналогичный сертификат)

---

Хотите улучшить уровень английского для поступления?

Подготовьтесь к требованиям программы с помощью курсов English Online от Британского Совета.

• ✔️ Гибкий график занятий
• ✔️ Опытные преподаватели
• ✔️ Сертификат по окончании курса

📘 Рекомендуется для студентов с уровнем IELTS 6.0 или ниже.

Записаться на курс

Регистрационный сбор

В настоящее время регистрационный сбор составляет около 260 евро за семестр и включает в себя семестровый билет, который дает студентам право пользоваться общественным транспортом в Дрездене и его окрестностях, а также в региональных поездах федеральной земли Саксония. Кроме того, он предлагает преимущества (например, снижение цен) для многих культурных и развлекательных мероприятий в Дрездене.

Стоимость жизни

Стоимость жизни варьируется в зависимости от личных потребностей и предпочтений. Тем не менее, около 700 евро в месяц представляет собой средний бюджет студента в Дрездене, включая расходы на проживание, питание, предметы повседневной жизни и страховку.
(Эта цифра является относительно низкой по сравнению с другими крупными немецкими городами.) < h2> Возможности трудоустройства Чтобы пополнить свой бюджет, некоторые студенты могут захотеть найти временную работу в Дрездене. Если это так, то для студентов из стран-членов ЕС, стран Европейского экономического пространства (ЕЭЗ) и Швейцарии, а также для студентов из стран, не входящих в Европейский союз и зону ЕЭЗ, применяются разные правила. Помните, что временную работу найти нелегко. Кроме того, могут применяться ограничения на продолжительность работы.

Поддержка прибытия

Университет предоставляет консультации по электронной почте и личные встречи по всем вопросам, связанным с прибытием и проживанием в Дрездене, экскурсии по кампусу с гидом и приветственные приемы, на которые новые студенты приглашаются для встречи с другими студентами и профессорами. .
Для аспирантов и исследователей Центр приветствия также предоставляет дополнительные услуги поддержки по вопросам виз, поиску подходящего жилья и т. д.

Услуги и поддержка для иностранных студентов

Международный офис TU Dresden предлагает сеть репетиторов, которая помогает новым иностранным студентам организовать учебу. Все иностранные новички приглашаются на вводный день в начале их первого семестра, на котором они также встретятся со своими преподавателями.
Кроме того, культурный офис Международного бюро и различные студенческие инициативы предоставляют множество социальных и культурных мероприятий каждый семестр. (экскурсии по городу, поездки по региону и в другие города Германии или соседних стран, языковые тандемы и т. д.).

Размещение

Довольно легко найти жилье в Дрездене. Размещение возможно либо через Studentenwerk Dresden, либо на частном рынке. Арендная плата за одноместный номер в студенческой резиденции составляет ок. 250 евро. Частное жилье можно найти в Интернете. Мы рекомендуем переехать в общежитие в начале вашего пребывания в Дрездене, а затем найти место на частном рынке или в общей квартире, известной на немецком языке как «Wohngemeinschaft».