Список спецкурсов кафедры

Методы верификации программ

Содержание спецкурса составляют классические методы верификации программ, которые базируются на подходах Флойда и Хоара. Вначале вводится логический язык спецификаций, на базе которого определяется понятие корректности программ. Подробно рассматривается метод аксиоматической семантики как для элементарных конструкций, циклов и процедур, так и для операторов над сложными структурами данных, такими как массивы, файлы, указатели. Рассматривается проблема автоматизации трудоемкого процесса верификации программ.

Мультимодельная система управления базами данных (лекции и практика)

InterSystems Caché® – технология баз данных нового поколения, предоставляющая несколько парадигм доступа к одним и тем же данным. Данные описываются в едином интегрированном словаре данных один раз.

После этого с ними можно работать, используя:

  • объектный доступ,
  • SQL запросы,
  • многомерный (прямой) доступ,
  • WEB доступ.

В спецкурсе проводятся практические занятия по разработке приложений на СУБД Caché.

При успешной сдаче тестов – сертификат компании Intersystems.

Принципы, методы и средства связывания данных в приложениях Semantic Web

Основные принципы Открытых Связанных Данных за последние годы были приняты большим числом поставщиков данных, что привело к созданию глобального пространства данных, которое содержит многие миллиарды утверждений –Web of Data. Среди предприятий, использующих новые стандарты и активно участвующих в развитии этого направления находятся Google, Facebook, Microsoft, IBM и многие другие.

СУБД MS SQL Server

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

Функциональное программирование

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