кандидат технических наук (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)
Поделитесь своими знаниями, ответьте на вопрос:
В аэробусе, вмещающем 160 пассажиров, три четверти мест находятся в салонах экономического класса и одна четверть мест - в салоне бизнес-класса. Стоимость билета в салоне бизнес класса составляет х рублей, что в два раза выше стоимости билета в салонах экономического класса. Разработайте программу, которая вычислит сумму денег, полученную авиакомпанией от продажи билетов на этот рейс, если известно, что остались нераспроданными а билетов бизнес-класса и b билетов экономического класса. Выделите все этапы решения этой задачи и опишите
a:=10;
b:=20;
c:=30;
2.
При write(a) - выведется на экран просто значение а;
При write('a') - выведется просто буква "а";
При write('a=', a) - выведется на экран, например: a=10
3. Чтобы вывести на экран число с фиксированной запятой нужно написать write(a:0:3). a - должна быть вещественного типа. 3 - означает три знака после запятой, поэтому если у вас число 1.2758234, то будет выведено на экран 1.275
4.
a = 1;
b = 11;
5.
program pl;
var
a, b : integer;
s, p : real;
begin
writeln("Введите первую сторону прямоугольника:");
readln(a);
writeln("Введите вторую сторону прямоугольника:");
readln(b);
p = 2*(a+b);
s = a*b;
writeln("Площадь прямоугольника равна:", s);
writeln("Периметр прямоугольника равен:", p);
end.