Программирование и искусственный интеллект

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

Курс посвящен основным принципам, лежащим в основе алгоритмов сжатия данных без потерь и с потерями. Освоение курса позволит не только понять, как работают существующие архиваторы, кодеки изображений и видеоинформации, но и получить необходимые навыки для разработки новых алгоритмов сжатия. Курс преподаётся сотрудником МНЦ Компьютерные Технологии.

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

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

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

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

В этом курсе раскрываются продвинутые алгоритмы и структуры данных. Рассматриваются различные быстрые поисковые структуры данных, как Van-Emde Boas деревья, X- и Y- trie, и тому подобные. Также рассказывается про персистентные структуры данных и алгоритмы в разных моделях, такие как стриминговая модель и модель внешней памяти. Курс преподают чемпионы мира по программированию.

Курс вводит в разработку мобильных приложений под операционную систему Android. В результате курса каждый студент напишет нетривиальное приложение, который не стыдно вписать в резюме.

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

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

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

Курс даёт введение в и покрывает все особенности нового языка программирования Kotlin, разработанного выпускниками кафедры КТ в компании JetBrains. Kotlin становится популярным для разработки сложнейших систем. Как результат, студенты научатся пользоваться этим языком, а также остальной инфраструктурой, которая была специально разработана для него.

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

Курс знакомит с актуальными методиками разработки программного обеспечивания такими как Agile, Test Driven Development и т.д. Благодаря этому курсу, студенты могут без проблем влиться в процесс разработки в IT-компании. Курс преподаётся выпускником кафедры КТ, основавшим собственную компанию.

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