Логика и вычисления

Мастер Наук

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

Логика и вычисления

В англоязычной магистерской программе Логика и вычисления рассматриваются основы, строение и дизайн интеллектуальных агентов. Кроме того, программа содержит основные элементы классической теоретической информатики.

Обучение

Цель учебы в области логики и вычислений заключается, с одной стороны, в понимании принципов, в возможности разумного поведения, а с другой стороны, в способности к развитию методов, которые приводят к конструированию разумных агентов. Ллежащая в основе программы гипотеза заключается в том, что умозаключение в конечном счете является ничем иным, как своего рода расчетом (вычислением). Программа магистратуры предлагается на английском языке.

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

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

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