Автор работы: Пользователь скрыл имя, 19 Сентября 2011 в 15:31, курс лекций
1.1. Программа как формализованное описание процесса обработки данных. Программное средство.
1.2. Неконструктивность понятия правильной программы
1.3. Надежность программного средства
1.4. Технология программирования как технология разработки надежных программных средств.
1.5. Технология программирования и информатизация общества.