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

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

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

     Программа курса