World Of Life Х
Приветствую Вас Гость | RSS

Форма входа
Логин:
Пароль:
МЕНЮ САЙТА
Поиск
Зарабатывай на AliExpress
e-Commerce Partners Network
Интересное в Inete
TOP Журналистов
Gunpowder

Публикаций:
29294
didl3

Публикаций:
12507
zyzy

Публикаций:
11008
zenj68

Публикаций:
4566
MuzonVam

Публикаций:
4431
trigall

Публикаций:
3276
igoro

Публикаций:
3034
19Anton98

Публикаций:
2363
fiace

Публикаций:
2321
Alexey84

Публикаций:
1634
Главная » 2018 » Ноябрь » 24 » Математическая логика и теория алгоритмов
11:48
Математическая логика и теория алгоритмов

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

Название: Математическая логика и теория алгоритмов
Автор: Блатов И. А., Старожилова О. В.
Издательство: Самара: ПГУТИ
Год: 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
Категория: ЛИТЕРАТУРА | Просмотров: 53 | Добавил: Gunpowder | Теги: Математическая, алгоритмов, 2017, теория, Блатов, Старожилова, логика | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

Профиль
Гость

Гость, мы рады вас видеть. Пожалуйста зарегистрируйтесь или авторизуйтесь!
Календарь
Кто с нами
Онлайн всего: 1
Гостей: 1
Пользователей: 0


Locations of visitors to this page
Наш опрос
Оцените мой сайт (:
Всего ответов: 61
ТЕГИ
Интересное в Inete
Зарабатываем Вместе
WMmail.ru - сервис почтовых рассылок
the Faus © 01.10.2009
Все материалы размещенные на сайте пренадлежат их владельцам и предоставляются исключительно в ознакомительных целях. Администрация ответственности за содержание материала не несет.