Разное




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

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



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

Бачинин А. - Основы программирования микроконтроллеров. Набор Амперка
Бачинин А. - Основы программирования микроконтроллеров. Набор Амперка

Фаина Раневская - Я – выкидыш Станиславского
Фаина Раневская - Я – выкидыш Станиславского

Джеффри Фридл - Регулярные выражения
Джеффри Фридл - Регулярные выражения

С. Зеленин  - «Я, НИКОЛАЙ II....». Верховный Главнокомандующий (2020)
С. Зеленин - «Я, НИКОЛАЙ II....». Верховный Главнокомандующий (2020)

Лао Минь - 500 китайских целительных приемов. Древние тайны здоровья
Лао Минь - 500 китайских целительных приемов. Древние тайны здоровья


Главная » 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
Ищу на сайте

Случайный анекдот
Ночь. Звонок в "03".
- Наш мальчик воткнул себе в глаз шариковую ручку!!! Приезжайте!!! Срочно!!!
- Вы что, до утра карандашом пописать не можете?!

Новое на сайте
Холод страха. 64 книги
Пауэлл Дж. - Психотренинг по методу Хосе сил...
Гусев Б.В. - Моделирование электронных схем ...

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

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