Скачать бесплатно уроки и видеоуроки, самоучители, обучающие книги и обучающее видеo, видеокурсы, аудиокурсы и др. полезную информацию без регистрации

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

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

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

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

Содержание:

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

Скачать Математическая логика и теория алгоритмов
Скачать с turbobit.net
Скачать с katfile.com
Скачать с file-upload.com
уникальные шаблоны и модули для dle Купить печатную версию на LITRES



Автор публикации: Gunpowder
Просмотров: 55
Добавлен: 24-11-2018, 10:48
Коментарии: 0
Уведомление
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

        Введите свой email и подпишитесь на ежедневные обновления сайта:

"

100% гарантия конфиденциальности данных
Информация
Комментировать статьи на сайте возможно только в течении 1 дней со дня публикации.




Реклама
......