3.11.2006

Доклад канд. физ.-мат. наук Малышко В. В. на тему «Ассоциативные и дедуктивные методы в планировании решений сложных задач».
Доклад посвящен подходу к построению систем автоматического решения задач на основе принципов, которыми руководствуется человек при составлении плана.

20.10.2006

Доклад профессора, доктора техн. наук Кузнецова С. Д. на тему «Типы и модели данных».
Любая система управления базами данных явно или неявно основывается на некоторой модели данных. В настоящее время к числу используемых моделей относятся реляционная модель данных, объектно-ориентированная модель и модель данных SQL. Не менее важным понятием является понятие типа данных, определяющее, какие данные могут реально сохраняться в базе данных. Задача доклада состоит в том, чтобы познакомить студентов с этими понятиями, показать их близкие и разделяющие черты.

14.4.2006

Доклад доцента, канд. физ.-мат. наук Гайсаряна С. С. на тему «Анализ семантики последовательных и параллельных программ».

31.3.2006

Доклад чл.-корр. РАН, профессора, доктора физ.-мат. наук Иванникова В. П. на тему «Актуальные проблемы системного программирования».

17.3.2006

Доклад профессора, доктора физ.-мат. наук Крюкова В. А. на тему «Автоматизация разработки параллельных программ».

3.3.2006

Доклад Баранцева А. В. на тему «Работа с требованиями в проектах по созданию ПО».

17.2.2006

Доклад профессора, доктора физ.-мат. наук Петренко А. К. на тему «Открытый проект верификации ОС Linux».

© Кафедра системного программирования ВМК МГУ.

Обновлено: 25.11.2006