Контрольная работа по информатике (9 класс) Задача № 1 Напишите компьютерную программу на Паскале, которая создает массив из 10 элементов, тип массива - целочисленный (integer Далее, программа дает возможность пользователю, вручную, с клавиатуры, в цикле заполнить положительными и отрицательными значениями все элементы массива. Гарантируется, что положительные и отрицательные значения будут присутствовать в элементах массива после заполнения. Потом программа в цикле производит изменения в массиве: находит все элементы массива, значение которых больше нуля, и присваивает этим элементам значение 17

По выполняемым функциям и возможности применения информационные технологии делят на используемые:1) в автономных компьютерах (ПЭВМ) и в локальных рабочих станциях (АРМ) в составе сетевых автоматизированных информационных систем (АИС) реального времени;2) в объектно-ориентированных, распределённых, корпоративных и иных локальных и сетевых информационно-поисковых, гипертекстовых и мультимедийных системах;3) в системах с искусственным интеллектом;4) в интегрированных АИС;5) в геоинформационных, глобальных и других системах.

   кандидат технических наук (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)