Как мы уже выяснили, массивы объединяют однородные единицы информации – элементы одного и того же типа. Но многообразие информации нельзя свести только к какому-то одному типу данных. Например, указывая положение точки в пространстве, мы можем воспользоваться одним и тем же типом для указания ее координат, но, описывая человека, мы должны указать его имя, рост, цвет глаз и волос, то есть в одном описании объединим разнородную информацию. Точно так же, описывая автомобиль, мы укажем не только его марку, но и год выпуска, модификацию, да и цвет кузова может нас заинтересовать. Составляя автоматизированный каталог книгохранилища, мы для каждой книги должны указать ее название, имя автора, область знания, количество страниц, год издания, а также, возможно, признак нахождения на руках или в хранилище.
Данные такого рода, описывающие существенные стороны того или иного объекта путем включения в описание нескольких, часто разнотипных, элементов, называют записью (record). В языке Паскаль запись определяется путем указания служебного слова record и перечисления входящих в запись элементов с указанием типов этих элементов.
заслуженный профессор Санкт-Петербургского государственного политехнического университета (2006)
Членство в профессиональных обществах
член Американского Математического общества (с 1975 г.)
член Association for Computing Machinery (ACM)
член IEEE Computer Society
член программных комитетов нескольких продолжающихся международных конференций, в частности, ИММОД, CoLoS, SEEMAS, РаСТ и других
член редколлегий журналов "Моделирование и анализ информационных систем", "Научно-технические ведомости СПбГПУ", "Bulletin of the Novosibirsk computing center"
член двух специализированных советов по защите докторских диссертаций
эксперт Российского фонда фундаментальных исследований (2012 г.)
федеральных эксперт научно-технической сферы (ГУ РИНКЦЭ при министерстве промышленности, науки и технологий РФ, свидетельство № 11313707.281)
член Правления Национального общества имитационного моделирования
член Научно-Методического Совета по информатике Министерства образования и науки РФ. Секция фундаментальных основ информатики
Другие заслуги
премия Правительства Санкт-Петербурга за выдающиеся достижения в области высшего и среднего профессионального образования в номинации "Научные достижения повышению качества подготовки специалистов и кадров высшей квалификации" (2011)
премия СПбГПУ за лучшие учебные и научные издания (за монографию "Model Checking. Верификация параллельных и распределенных программных систем") (2011)
диплом фирмы Интел за научный проект "Верификация взаимодействующих временных автоматов" (2001)
Как мы уже выяснили, массивы объединяют однородные единицы информации – элементы одного и того же типа. Но многообразие информации нельзя свести только к какому-то одному типу данных. Например, указывая положение точки в пространстве, мы можем воспользоваться одним и тем же типом для указания ее координат, но, описывая человека, мы должны указать его имя, рост, цвет глаз и волос, то есть в одном описании объединим разнородную информацию. Точно так же, описывая автомобиль, мы укажем не только его марку, но и год выпуска, модификацию, да и цвет кузова может нас заинтересовать. Составляя автоматизированный каталог книгохранилища, мы для каждой книги должны указать ее название, имя автора, область знания, количество страниц, год издания, а также, возможно, признак нахождения на руках или в хранилище.
Данные такого рода, описывающие существенные стороны того или иного объекта путем включения в описание нескольких, часто разнотипных, элементов, называют записью (record). В языке Паскаль запись определяется путем указания служебного слова record и перечисления входящих в запись элементов с указанием типов этих элементов.
Объяснение:
кандидат технических наук (1971)
доктор технических наук (1991)
доцент (1976)
профессор (1993)
заслуженный профессор Санкт-Петербургского государственного политехнического университета (2006)
Членство в профессиональных обществах
член Американского Математического общества (с 1975 г.)
член Association for Computing Machinery (ACM)
член IEEE Computer Society
член программных комитетов нескольких продолжающихся международных конференций, в частности, ИММОД, CoLoS, SEEMAS, РаСТ и других
член редколлегий журналов "Моделирование и анализ информационных систем", "Научно-технические ведомости СПбГПУ", "Bulletin of the Novosibirsk computing center"
член двух специализированных советов по защите докторских диссертаций
эксперт Российского фонда фундаментальных исследований (2012 г.)
федеральных эксперт научно-технической сферы (ГУ РИНКЦЭ при министерстве промышленности, науки и технологий РФ, свидетельство № 11313707.281)
член Правления Национального общества имитационного моделирования
член Научно-Методического Совета по информатике Министерства образования и науки РФ. Секция фундаментальных основ информатики
Другие заслуги
премия Правительства Санкт-Петербурга за выдающиеся достижения в области высшего и среднего профессионального образования в номинации "Научные достижения повышению качества подготовки специалистов и кадров высшей квалификации" (2011)
премия СПбГПУ за лучшие учебные и научные издания (за монографию "Model Checking. Верификация параллельных и распределенных программных систем") (2011)
диплом фирмы Интел за научный проект "Верификация взаимодействующих временных автоматов" (2001)
инструктор альпинизма (1964)
кандидат в мастера спорта по альпинизму(1969)