Решение задач на компьютерах. Спецификация задачи. Учебное пособие

Фотографии Решение задач на компьютерах. Спецификация задачи. Учебное пособие

Описание Решение задач на компьютерах. Спецификация задачи. Учебное пособие

Учебное пособие по курсу «Технология разработки программного обеспечения» (ТРПО) рассчитано на студентов технических университетов, специализирующихся в области computer science. В основе учебного пособия лежит задачный подход в информатике, базирующийся на понятии осмысленной задачи для пользователя и опирающийся на «модульную программу обучения компьютерной науке», подготовленной ЮНЕСКО. Познакомившись с материалом, студенты приобретают как теоретические, так и практические знания, умения и навыки, необходимые для точной постановки задачи, разработки эффективного алгоритма, выбора оптимальной среды разработки программного средства, создания надежного программного средства, его тестирования и отладки, изготовления необходимой для пользователя и разработчика документации. Кроме этого, они научатся оперативно управлять программными проектами, работая в коллективе разработчиков, при разработке программных средств (проектов).

Содержание Решение задач на компьютерах. Спецификация задачи. Учебное пособие

Предисловие
Введение в проблематику
Ситуации, возникающие в практике решения задач
на компьютерах
Первая ситуация
Вторая ситуация
Третья ситуация
Некоторые важные замечания
О качестве результатов решения задачи
О структуре убедительных программ
Сравнение некоторых альтернатив
Двойная выгода от ясности
Контрольные вопросы и задания
Постановка (спецификация) осмысленной задачи
Особенности решения задач на компьютерах
Основные понятия
Информатика и математика
Что такое информация
Качество информации
Что такое задача и что значит понятность задачи
Классификация задач
Что необходимо знать для решения задачи
Два подхода к решению задач на компьютере
Так называемое "исчисление задач"
Пространство осмысленных задач
Решение задач в языках спецификаций задач
Процесс решения осмысленных задач на
компьютере
Прагматика решения задачи на компьютере
Методология решения задач на компьютере
Теория решения задач на компьютере
Технология решения задач на компьютере
Контрольные вопросы и упражнения
Полная схема решения задач на компьютере
Спецификация осмысленной задачи
Алгебра, логика и алгебраические системы
Математическая модель и ее разработка
Зачем нужны модели
Методика моделирования
Типы моделей данных
Алгоритм и его разработка
Методы проектирования алгоритмов
Что такое алгоритмический язык
Какие способы записи алгоритмов бывают
Некоторые именованные алгоритмы
Алгоритмически неразрешимые проблемы
Упражнения
Внешнее описание программного средства
Определение требований к программному средству
Спецификация качества программного средства
Функциональная спецификация программного
средства
Методы спецификации семантики функций
Языки спецификаций
Методы контроля внешнего описания программного
средства
Упражнения
Пример спецификации осмысленной задачи
Точная постановка осмысленной задачи
Пользователи и их интеллектуальные ресурсы
Разностные пороги раздражений
Алгоритм получения терм-калибровки
Алгоритм измерения интеллектуальных ресурсов
Формулы оценки интеллектуальных ресурсов
пользователей
Заключение
Вопросы для самоконтроля
Литература
Предметный указатель

Полезные ссылки Решение задач на компьютерах. Спецификация задачи. Учебное пособие