Текущая (весна 2014) версия этого курса здесь

Спецглавы информатики:
Семантические теории информационных систем

Кафедра СИМ - системной интеграции и менеджмента, МФТИ

Предварительная общематематическая подготовка, опыт программирования,  проектирования и эксплуатации баз данных.
Изложение основным моделей и систем вычислений носит замкнутый характер: СИ (весна 2004) 

Профессор: Вячеслав Эрнстович Вольфенгаген

Описание курса 
Программа курса
Что читать/Ссылки
Материал курса
Проекты по курсу
Студенты
Семинары
Помощь в изучении


 
Аннотация

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

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

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

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

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

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