Разное




РазДЕЛЫ САЙТА

Боевики, детективы
Документалка
Драмы, триллеры
Исторические
Комедии
Мелодрамы
Мультяшки
Обучающее, познание
Приключения
Сказки, фэнтези
Старое, доброе
Ужасы
Фантастика
х х х х х х х х х
Блюз, джаз, соул
Инструментальная
Классическая
Клипы
Минусовки
Музыка игр и кино
Поп
Разная
Ретро
Рок, метал
Рэп, хип-хоп
Шансон
х х х х х х х х х
Автософт и навигация
Аудиокниги
Книги и журналы
Фото и видео, приколы



СЛучайные материалы

Индиви Марина - Драконова Академия. Книга 3 (Аудиокнига)
Индиви Марина - Драконова Академия. Книга 3 (Аудиокнига)

80s FETENHITS (2024)
80s FETENHITS (2024)

Александр Семенов - Sex Energy. Нейройога (2023) CAMRip
Александр Семенов - Sex Energy. Нейройога (2023) CAMRip

Cafe Paris Chillout Luxury Lounge and French House (2023) FLAC
Cafe Paris Chillout Luxury Lounge and French House (2023) FLAC

Calming Classical Piano (2024) FLAC
Calming Classical Piano (2024) FLAC


Главная » 2018 » Ноябрь » 24 » Математическая логика и теория алгоритмов

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

11:49

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

Название: Математическая логика и теория алгоритмов
Автор: Блатов И. А., Старожилова О. В.
Издательство: Самара: ПГУТИ
Год: 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

Скачать: Книги и журналы | Теги: логика, теория, Блатов, 2017, алгоритмов, Старожилова, Математическая

Похожие материалы скачать бесплатно и без регистрации


К "Математическая логика и теория алгоритмов"
пока нет комментариев, но Вы можете стать первым, кто его оставит!

Всего мнений: 0
avatar
Ищу на сайте

Случайный анекдот
Идет отец с дочкой.
- Пап купи кедики!
- Вот еще!
- Ну купи кедики!
- И не подумаю!
- Купи!
- Какие кеды, ты еще коньки не сносила!

Новое на сайте
Константин Шереметьев - Кипучее долгол...
Тимофей Кармацкий - Восстановление жел...
Валерия Шполянская - Как использовать ...
Мария Волкова - Самый полезный бокс о ...

Наша статистика

Присутствуют: 3
Неизвестных: 3
Знакомых: 0
Copyright by Anonimus © 2024