Цель освоения дисциплины сводится к освещению роли гуманитарного знания, определяющего профессиональную квалификацию специалистов в области программирования и информационных технологий. Рассматриваются трудно формализуемые факторы, влияющие на качество программирования, жизнеспособность информационных систем и развитие ИТ-индустрии.
Задачами курса являются:
1) знания из гуманитарных и естественных наук, необходимых для понимания особенностей принятия решений в процессе разработки и применения программ.
Содержание спецкурса составляют классические методы верификации программ, которые базируются на подходах Флойда и Хоара. Вначале вводится логический язык спецификаций, на базе которого определяется понятие корректности программ. Подробно рассматривается метод аксиоматической семантики как для элементарных конструкций, циклов и процедур, так и для операторов над сложными структурами данных, такими как массивы, файлы, указатели. Рассматривается проблема автоматизации трудоемкого процесса верификации программ.
InterSystems Caché® – технология баз данных нового поколения, предоставляющая несколько парадигм доступа к одним и тем же данным. Данные описываются в едином интегрированном словаре данных один раз.
После этого с ними можно работать, используя:
В спецкурсе проводятся практические занятия по разработке приложений на СУБД Caché.
При успешной сдаче тестов – сертификат компании Intersystems.
Основные принципы Открытых Связанных Данных за последние годы были приняты большим числом поставщиков данных, что привело к созданию глобального пространства данных, которое содержит многие миллиарды утверждений –Web of Data. Среди предприятий, использующих новые стандарты и активно участвующих в развитии этого направления находятся Google, Facebook, Microsoft, IBM и многие другие.
Основная цель изучения дисциплины «Структуры данных: парадигмы и технологии» — познакомить студентов с понятиями, парадигмами, моделями и технологиями структурирования данных, составляющих современный базис информационных технологий, описать и проиллюстрировать использование структур данных и систем структуризации в информационных технологиях. Для достижения этой цели:
• Дается общая информация о способах структуризации данных, о структурных значениях, об изображении структурных значений в разных формализмах (текстовая развертка).
Цель курса - общее представление о функциональном программировании и сфере его применения, включая анализ основных понятий и принципов, связь функционального программирования с математическими основами на материале разных языков. В настоящее время очередной всплеск интереса к функциональному программированию связан с поиском методов параллельного программирования для суперкомпьютеров, графических процессоров и других мультипроцессорных конфигураций.