Введение в анализ алгоритмов
www.samag.ru
     
Поиск   
              
 www.samag.ru    Web  0 товаров , сумма 0 руб.
E-mail
Пароль  
 Запомнить меня
Регистрация | Забыли пароль?
Журнал "Системный администратор"
Журнал «БИТ»
Наука и технологии
Подписка
Где купить
Авторам
Рекламодателям
Магазин
Архив номеров
Контакты
   

  Опросы
1001 и 1 книга  
19.03.2018г.
Просмотров: 8641
Комментарии: 0
Потоковая обработка данных

 Читать далее...

19.03.2018г.
Просмотров: 6907
Комментарии: 0
Релевантный поиск с использованием Elasticsearch и Solr

 Читать далее...

19.03.2018г.
Просмотров: 7033
Комментарии: 0
Конкурентное программирование на SCALA

 Читать далее...

19.03.2018г.
Просмотров: 4570
Комментарии: 0
Машинное обучение с использованием библиотеки Н2О

 Читать далее...

12.03.2018г.
Просмотров: 5251
Комментарии: 0
Особенности киберпреступлений в России: инструменты нападения и защита информации

 Читать далее...

Друзья сайта  

 Введение в анализ алгоритмов

Статьи / Введение в анализ алгоритмов

Автор: SA

Книга представляет собой краткое введение в анализ алгоритмов с точки зрения доказывания правильности алгоритма. Как математически, без бремени чрезмерного формализма, доказывать, что заданный алгоритм делает то, что он должен делать? И почему это так важно?

Введение в анализ алгоритмов
  • Автор: Майкл Солтис
  • Издательство: ДМК Пресс
  • Год издания: 2016
  • Количество страниц: 278
  • ISBN: 978-5-97060-696-4
  • Цена: 899 руб.

Инженеры по ПО знают много примеров того, когда дела принимают ужасный оборот из-за программных ошибок; их конкретными фаворитами являются следующие два из них. ПО – это большая часть проблемы. Мы должны писать ПО, которое имеет гораздо меньше ошибок и является гораздо безопасным.

Безопасность ПО естественным образом относится к правильности ПО как ее составная часть. В то время как цель правильности программы неуловима, мы можем разработать методы и приемы для сокращения ошибок.

Задача этой книги представить введение в анализ алгоритмов – «идеи», лежащие в основе программ, и показать, как доказывать их правильность. Алгоритм может быть правильным, но сама реализация может быть ошибочной. Некоторые синтаксические ошибки в реализации программы могут быть обнаружены компилятором или транслятором, которые, в свою очередь, также сами могут быть дефектными, но могут быть и другие скрытые ошибки. Само оборудование может быть неисправным; библиотеки, на которые опирается программа во время выполнения, могут быть ненадежными и т. д. Основная задача программиста – писать исходный код, который работает в условиях такой непрочной, подверженной ошибкам среды. Наконец, алгоритмическое содержимое компонента ПО может быть очень малым; большинство строк исходного кода может быть посвящено «черновой» задаче программирования интерфейса, рандомизированные алгоритмы вместе с разделом по криптографии.

Книга содержит большое количество теоретических задач и практических примеров на языке Python. Издание предназначено для студентов вузов, специалистов в области информатики и математики, а также широкого круга программистов и разработчиков.

Комментарии отсутствуют

               Copyright © Системный администратор

Яндекс.Метрика
Tel.: (499) 277-12-41
Fax: (499) 277-12-45
E-mail: sa@samag.ru