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

Визуализация графов

Материалы к курсу можно найти по следующей ссылке.

Гуманитарные факторы в программировании

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

Задачами курса являются:
1) знания из гуманитарных и естественных наук, необходимых для понимания особенностей принятия решений в процессе разработки и применения программ.

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

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

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

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

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

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

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

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

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

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

Структуры данных: парадигмы и технологии

Основная цель изучения дисциплины «Структуры данных: парадигмы и технологии» — познакомить студентов с понятиями, парадигмами, моделями и технологиями структурирования данных, составляющих современный базис информационных технологий, описать и проиллюстрировать использование структур данных и систем структуризации в информационных технологиях. Для достижения этой цели:
• Дается общая информация о способах структуризации данных, о структурных значениях, об изображении структурных значений в разных формализмах (текстовая развертка).

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

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