Вычислительная логика

Мастер Наук

Индекс:E 066 011
4 семестров / 120 ECTS
Язык обучения:немецкий
Без вступительного экзамена

Вычислительная логика (Эразмус Мундус)

Европейская магистерская программа по машинной логике является интернационально распространенной программой с выпускной степенью в качестве Мастера Наук и реализуемая кафедрами информатики пяти сотрудничающих университетов: Дрезденского университета, университета Нова-де-Лисбоа, университета Либера-ди-Больцано, Мадридского политехнического университета и Венского технического университета.

Обучение

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

Перспективы трудоустройства

Вычислительная логика приобретает все большее значение для борьбы со сложностью современных компьютерных систем. Сегодняшние информационные технологии являются свидетелями изменений, и эти изменения вездесущи. Особенно, это касается Интернет – научного изобретения, которое изменило наши мысли и действия. Чем больше все это пронзает наши жизни, тем больше требуется от ученых для решения различных ключевых вопросов, связанных с безопасностью данных, транзакций, сетевых вычислений, сетевой архитектуры, компьютерной архитектуры, сложных программ, распределенных платформ и, таким образом, с любым маленьким аспектом, который влияет на наше современное компьютерное общество.

Образовательные услуги