Фотогалерея
Реклама
Содержание курса
В течение первого семестра вы будете изучать обязательные модули:
* Разработка алгоритма и исследование операций
* Математические основы программирования < br> * Усовершенствованные структуры данных
У вас будет возможность выбрать следующий факультативный модуль:
* Формальное рассуждение с помощью компьютера
Во втором семестре вы получите два или три из следующих обязательных модулей:
* Нестандартные вычисления
* Формальное рассуждение с помощью компьютера
* Методологии поддержки принятия решений
* Алгебра программирования
* Методы эвристического поиска < br> * Vision and Graphics
Пожалуйста, обратите внимание, что все детали модуля могут быть изменены.
В течение летнего периода ближе к концу курса вы будете предпринимать индивидуальный проект.
Структура курса
Магистр в области современных компьютерных наук предлагается на постоянной основе в течение одного года или неполный рабочий день в течение двух-четырех лет.
Курс состоит из 180 кредитов, разделенных на обязательные и дополнительные модули стоимостью 120 кредитов и исследовательского проекта на 60 кредитов.
Первый семестр обеспечивает строгую основу для разработки передового программного обеспечения. Второй семестр дает возможность специализироваться в области, близкой к исследовательским сильным сторонам Школы. Эта специализация подкрепляется индивидуальным проектом, выполненным в летние месяцы.
Модули
Эффективность алгоритмов. Анализ наихудших, лучших и средних случаев. Big-Oh обозначение. Рекуррентные отношения и др. Поддерживающая математика. Обзор стандартных структур данных (списки, упорядоченные двоичные деревья и т. Д.). Расширенные структуры данных (выбор из красно-черных деревьев, 2-3 дерева и т. Д.). Работа с указателями. Амортизированные вычисления. Использование программных библиотек. Этот модуль знакомит с широким спектром передовых концепций, методов и методов исследования операций и искусственного интеллекта, которые могут помочь в разработке интеллектуальных систем поддержки принятия решений. Модуль представит множество примеров интеллектуальных систем поддержки принятия решений в промышленности и сфере услуг. Рекурсия - очень мощный метод решения проблем, который широко используется в вычислительной технике. Он используется, например, в определении языков программирования, как фундаментальная структура программирования в функциональном и логическом программировании, а также в определении структур данных. Полное понимание рекурсии может быть достигнуто только путем изучения ее алгебраических свойств. Этот курс познакомит вас с фундаментальными алгебраическими структурами в математике конструирования программ с акцентом на алгебраические свойства рекурсии и их применение к общему решению задач программирования. Нестандартные вычисления (NSC) пытаются выйти за рамки традиционных моделей вычислений, начатых Почтой, Церковью, Тьюрингом и Гёделем в первые десятилетия прошлого века. В традиционной теории вычислимости и сложности не предполагается никакого конкретного физического воплощения вычислительного устройства, то есть «компьютер» является идеализированным объектом, который не имеет никакого отношения к физическим законам вселенной. С другой стороны, нестандартные вычисления основаны на фундаментальном наблюдении, что любое вычисление должно подчиняться всем существующим физическим законам; следовательно, компьютерное воплощение является одновременно критическим ограничением и источником вычислительной мощности. Нестандартные вычислительные метафоры и механизмы черпают вдохновение из природных явлений, прежде всего из квантовой, молекулярной и биологической сфер. НСК - это богатая междисциплинарная арена, где информатика встречается с физикой, химией и биологией. Этот модуль знакомит студентов с воплощенными вычислительными моделями. Он начинается с наименьших возможных вычислительных масштабов, квантового царства, и движется вверх к молекулярному (ДНК, РНК и другим наночастицам вычислений) и клеточному (P системам) уровням. Если позволяет термин, мы также изучим другие примеры нестандартных вычислений (например, релятивистские вычисления).
Экологическая инженерия или (и Управление бизнесом) или (и устойчивое развитие)
Environmental Engineering or (and Business Management) or (and Sustainable Development)
Гидрология и управление водными ресурсами или (и Управление бизнесом) или (и Устойчивое развитие)
Hydrology and Water Resources Management or (and Business Management) or (and Sustainable Development)