Четверг, 30.06.2022, 06:56

Электронная библиотека системного администратора

Приветствую Вас Гость | RSS
Главная Учебники Регистрация Вход
Реклама


Рубрики

Книги и учебники
Microsoft [186]
Linux, Unix, FreeBSD, Solaris [149]
Oracle [36]
Cisco [41]
IBM [22]
1C [46]
SAS [10]
СУБД и базы данных [56]
Web технологии [123]
Компьютерные сети [125]
Компьютеры, hardware [104]
Защита информации [139]
Программирование [184]
Тестирование ПО [23]
DevOps [19]
Начинающим админам [205]
Общие вопросы по IT [72]
Справочники [202]

Программы
Администрирование [58]
Архиваторы [8]
Безопасность [17]
Полезный софт [32]
Программы для hardware [17]
Работа с DJVU, PDF, FB2 [10]
Сетевые сервисы [17]
Сетевые утилиты [79]

Статистика
Онлайн всего: 1
Гостей: 1
Пользователей: 0


Главная » Учебники » Программирование

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

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

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

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

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

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

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

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

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

Размер - 3 Мб

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

Категория: Программирование | Добавил: strelsov (19.06.2022)
Просмотров: 34 | Теги: теория алгоритмов для программистов, Сергей Потоцкий, алгоритмизация, Дмитрий Гринченков, математическое обеспечение, математическая логика, теория алгоритмов | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Форма входа

Поиск по сайту

Облако тегов
Справочник администратора Уильям Р. Станек cmd Microsoft shell php lan ЛВС vpn SQL СУБД СУБД MySQL Windows PowerShell Java DNS DHCP telnet разработка Web-приложений MySql БД SSH Компьютерные сети Linux Perl информационная безопасность СУБД Oracle ftp xml Интернет BIOS

...

Copyright IT-Ebooks.Ru © 2022