Решение задач на компьютерах
книга

Решение задач на компьютерах

1. Постановка (спецификация) задач

Автор: Анатолий Москвитин

Форматы: PDF, EPUB

Издательство: Директ-Медиа

Год: 2015

Место издания: Москва|Берлин

ISBN: 978-5-4475-3651-0

Страниц: 167

Артикул: 20247

Возрастная маркировка: 16+

Печатная книга
861
Ожидаемая дата отгрузки печатного
экземпляра: 12.04.2024
Электронная книга
233.8

Краткая аннотация книги "Решение задач на компьютерах"

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

Содержание книги "Решение задач на компьютерах"


ПРЕДИСЛОВИЕ
ВВЕДЕНИЕ В ПРОБЛЕМАТИКУ
СИТУАЦИИ, ВОЗНИКАЮЩИЕ В ПРАКТИКЕ РЕШЕНИЯ ЗАДАЧ НА КОМПЬЮТЕРАХ
Первая ситуация
Вторая ситуация
Третья ситуация
НЕКОТОРЫЕ ВАЖНЫЕ ЗАМЕЧАНИЯ
О качестве результатов решения задачи
О структуре убедительных программ
Сравнение некоторых альтернатив
Двойная выгода от ясности
Контрольные вопросы и задания
ПОСТАНОВКА (СПЕЦИФИКАЦИЯ) ОСМЫСЛЕННОЙ ЗАДАЧИ
ОСОБЕННОСТИ РЕШЕНИЯ ЗАДАЧ НА КОМПЬЮТЕРАХ
ОСНОВНЫЕ ПОНЯТИЯ
Информатика и математика
Что такое информация?
Качество информации
Что такое задача и что значит понятность задачи?
Классификация задач
Что необходимо знать для решения задачи?
ДВА ПОДХОДА К РЕШЕНИЮ ЗАДАЧ НА КОМПЬЮТЕРЕ
Так называемое «исчисление задач»
Пространство осмысленных задач
Решение задач в языках спецификаций задач
ПРОЦЕСС РЕШЕНИЯ ОСМЫСЛЕННЫХ ЗАДАЧ НА КОМПЬЮТЕРЕ
Прагматика решения задачи на компьютерах
Методология решения задач на компьютере
Теория решения задач на компьютере
Технология решения задач на компьютерах
Контрольные вопросы и упражнения
ПОЛНАЯ СХЕМА РЕШЕНИЯ ЗАДАЧ НА КОМПЬЮТЕРАХ
СПЕЦИФИКАЦИЯ ОСМЫСЛЕННОЙ ЗАДАЧИ
Алгебра, логика и алгебраические системы
МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И ЕЕ РАЗРАБОТКА
Зачем нужны модели?
Методика моделирования
Типы моделей данных
АЛГОРИТМ И ЕГО РАЗРАБОТКА
Методы проектирования алгоритмов
ЧТО ТАКОЕ АЛГОРИТМИЧЕСКИЙ ЯЗЫК?
Какие способы записи алгоритмов бывают?
Некоторые именованные алгоритмы
Алгоритмически неразрешимые проблемы
ВНЕШНЕЕ ОПИСАНИЕ ПРОГРАММНОГО СРЕДСТВА
Определение требований к программному средству
Спецификация качества программного средства
Функциональная спецификация программного средства
Методы спецификации семантики функций
Языки спецификаций
Методы контроля внешнего описания программного средства
Упражнения
ПРИМЕР СПЕЦИФИКАЦИИ ОСМЫСЛЕННОЙ ЗАДАЧИ
Упражнение
ПОЛЬЗОВАТЕЛИ И ИХ ИНТЕЛЛЕКТУАЛЬНЫЕ РЕСУРСЫ
Разностные пороги раздражений
Алгоритм получения терм-калибровки
Алгоритм измерения интеллектуальных ресурсов
Формулы оценки интеллектуальных ресурсов пользователей
ЗАКЛЮЧЕНИЕ
Вопросы для самоконтроля
ЛИТЕРАТУРА

Все отзывы о книге Решение задач на компьютерах

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Отрывок из книги Решение задач на компьютерах

О качестве результатов решения задачи Даже полагая, что машины работают безупречно, мы должны задать себе вопрос: «Когда компьютер выдает результаты, почему мы должны им доверять, если только мы им действительно доверяем?», а затем: «Какие меры мы можем предпринять, чтобы повысить степень нашей уверенности в том, что выданные результаты – это то, что нам нужно на самом деле?». Насколько важен первый вопрос, можно проиллюстрировать на простом, даже несколько упрощенном примере. Предположим, что ма-тематик, работающий в области теории чисел, имеет в своем распоряжении машину с программой факторизации чисел. Этот про-цесс может завершиться двумя способами: либо он выдает факторизацию данного числа, либо отвечает, что заданное число явля-ется простым. Предположим теперь, что наш математик хочет подставить в этот процесс, скажем, число с 20-ю десятичными знаками, для которого у него есть веские причины полагать, что оно простое. Если машина подтверждает это ожидание, он будет счастлив; если она находит факторизацию, математик будет разочарован, так как интуи-ция снова подвела его, но, если он сомневается, он может взять счетную машинку и перемножить полученные множители, чтобы про-верить, получится ли в результате исходное число. Если же, наоборот, машина выдает ответ, что данное число, согласно его ожиданиям и го-рячему желанию, является простым, с чего бы ему верить этому? Наш пример демонстрирует, что даже в полностью абстрактных за-дачах получение результата не является четко определенным процессом, четко определенным в том смысле, что можно сказать: «Я сделал это», не беспокоясь за убедительность результата, то есть его «качество». Ситуация, в которой находятся программисты, очень похожа на ту, в которой находятся чистые математики, которые разрабатывают тео-рию и доказывают результаты. Долгое время чистые математики думали – а некоторые из них до сих пор думают – что т...