Математическая логика и теория алгоритмов для программистов

Автор - Дмитрий Гринченков, Сергей Потоцкий

Математическая логика (её называют также формальной логикой, теорией доказательств), изучает законы и формы корректных человеческих рассуждений. Этот раздел математики имеет особое значение в изучении математических наук. С одной стороны, предметом изучения математической логики является конкретная область знаний, связанная с расширением, развитием и формализацией положений и законов булевой алгебры. Положения этой теории лежат в основе таких направлений исследований, как функциональное и логическое программирование, системы искусственного интеллекта и др. С другой стороны, положения математической логики носят всеобщий характер, так как они определяют понятия и правила строгого выполнения логических доказательств. Строгое доказательство правильности тех или иных утверждений -это центральное звено любой математической теории. Известно, что математика отличается от других наук тем, что использует доказательства, а не наблюдения. В физике одни законы выводятся из других, но окончательное подтверждение физического закона возможно только тогда, когда он подтвержден экспериментом. В математике же можно провести множество экспериментов, которые подтвердят некоторый факт, но математическим законом он будет признан только после того, как будет приведено строгое формальное доказательство. Поэтому можно сказать, что главная цель математической логики — дать точное и адекватное определение понятия "математическое доказательство".

Книга Дмитрия Гринченкова и Сергея Потоцкого "Математическая логика и теория алгоритмов для программистов" является учебным пособием, которое позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.

Книга предназначена для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.

Издательство – Кнорус

Год издания – 2015

Формат книги - PDF

Размер - 3 Мб

"Книга Математическая логика и теория алгоритмов для программистов Дмитрий Гринченков, Сергей Потоцкий - скачать"