Дискретная математика для программистов, Хаггарти Р., 2005

Дискретная математика для программистов, Хаггарти Р., 2005.

  Основополагающее введение в дискретную математику, без знания которой невозможно успешно заниматься информатикой и программированием. Ни одно из многочисленных изданий по этой дисциплине, вышедших на русском языке, не читается с таким удовольствием и пользой. В доступной и весьма увлекательной форме автор рассказывает о фундаментальных понятиях дискретной математики - о логике, множествах, графах, отношениях и булевых функциях. Теория изложена кратко и иллюстрируется многочисленными простыми примерами, что делает её доступной даже школьнику. После каждой главы (начиная со второй) рассматривается приложение описанных методов к информатике.
Дополнения в издании на русском языке посвящены актуальным задачам теории графов, рекурсивным алгоритмам, общей проблеме перебора и задачам целочисленного программирования.
Книга будет полезна студентам, изучающим курс дискретной математики, а также всем желающим проникнуть в технику написания и проверки корректности алгоритмов, включая программистов-практиков.

Дискретная математика для программистов, Хаггарти Р., 2005


Методы доказательств.
При доказательстве теорем применяется логическая аргументация. Доказательства в информатике — неотъемлемая часть проверки корректности алгоритмов. Необходимость доказательства возникает, когда нам нужно установить истинность высказывания вида (Р => Q). Существует несколько стандартных типов доказательств, включающих следующие:
1. Прямое рассуждение. Предполагаем, что высказывание Р истинно и показываем справедливость Q. Такой способ доказательства исключает ситуацию, когда Р истинно, a Q — ложно, поскольку именно в этом и только в этом случае импликация (Р => Q) принимает ложное значение (см. табл. 2.5 на стр.27).



Бесплатно скачать электронную книгу в удобном формате и читать:
Скачать книгу Дискретная математика для программистов, Хаггарти Р., 2005 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать
Купить эту книгу



Скачать - pdf - Яндекс.Диск.
Дата публикации:





Теги: :: ::


Следующие учебники и книги:
Предыдущие статьи:


 


 

Книги, учебники, обучение по разделам




Не нашёл? Найди:





2018-09-19 18:55:56