Пятница, 14.12.2018, 05:44
Приветствую Вас Гость | RSS
Главная » Статьи » Люди и события » Репортажи [ Добавить статью ]


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

Математическая логика и теория алгоритмов — В настоящее время в связи с бурным развитием информатики, программирования и исследованиями в области искусственного интеллекта значение логики существенно возросло, особенно в прикладном плане. Пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки. Пособие предназначено для студентов направления подготовки «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно.

Название: Математическая логика и теория алгоритмов
Автор: Блатов И. А., Старожилова О. В.
Издательство: Самара: ПГУТИ
Год: 2017
Страниц: 214
Формат: DJVU
Размер: 30,26 МБ
Качество: отличное
Язык: русский

Содержание:

Введение
Глава 1 Классическая логика
Глава 2 Логика высказываний
Глава 3 Формальные теории
Глава 4 Система аксиом исчисления высказываний
Глава 5 Понятие вывода
Глава 6 Связь между АВ и ИВ
Глава 7 Автоматическое доказательство теорем
Глава 8 Теории первого порядка
Глава 9 Понятие формулы логики предикатов
Глава 10 Нормальные формы ЛП
Глава 11 Аксиомы и правила вывода исчисления предикатов
Глава12 Неклассические логики
Глава 13 Многозначные логики
Глава 14 Общие сведения об алгоритмах
Глава 15 Рекурсивные функции
Глава 16 Сложность алгоритмов
Глава 17 Машины Тьюринга-Поста
Глоссарий
Список литературы

Скачать Математическая логика и теория алгоритмов

Скачать с turbobit.net
Скачать с salefiles.com
Скачать с katfile.com
Скачать с file-upload.com
Категория: Репортажи | Добавил: pmojka (24.11.2018)
Просмотров: 8 | Теги: алгоритмов, Старожилова, математическая, теория, Блатов, 2017, логика | Рейтинг: 0.0/0