Вторник, 11.12.2018, 01:53
Приветствую Вас Гость | RSS


У нас можно скачать книги и журналы бесплатно, без регистрации!

Библиотека лучших книг!
Форма входа
Валюта
Новости дня
Статистика
Онлайн:

Онлайн всего: 1
Гостей: 1
Пользователей: 0

Зарегистрировано:
Всего: 890
Новых за месяц: 3
Новых за неделю: 1
Новых вчера: 0
Новых сегодня: 0
Из них:
Администраторов: 1
Модераторов: 1
Дизайнеров:
Редакторов: 5
Журналистов: 125
Обычных: 758
Забаненых: 0
Из них:
Мужчин: 501
Женщин: 389
Счетчики:
Сегодня нас посетили:

Счётчики посещений

Скачать бесплатно книги и журналы!

Главная » Файлы » Наука и образование

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

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

Содержание:

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

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

Категория: Наука и образование | Добавил: pmojka | Теги: теория, Старожилова, 2017, алгоритмов, математическая, Блатов, логика
| Loads: 0 | Рейтинг: 0.0/0

Популярные книги и журналы:

Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Поиск по сайту
Лучшие журналисты

pmojka
Релизов:
24257

lorna
Релизов:
6867

zyzy
Релизов:
5942

sun68
Релизов:
3652

Чудо-чудное
Релизов:
3519

sas
Релизов:
3310

solo
Релизов:
3060

tigerz
Релизов:
2908

deller50
Релизов:
2844

Kate
Релизов:
2675

rotanit
Релизов:
2352

bolt13
Релизов:
2227

19Anton98
Релизов:
2044

gol8425
Релизов:
1647

IrinchikOK
Релизов:
935

alex_kromvel
Релизов:
898

мотя
Релизов:
746

pullin007
Релизов:
735

Irrena
Релизов:
680

kalina5
Релизов:
554
Празднуем!
Анекдоты:)
Это интересно!

Copyright ScanBOOKS.RU © 2018 Скачать бесплатно и без регистрации книги и журналы

Обращение к пользователям