Мы рады приветствовать вас на нашем сайте! Надеемся, что вы найдете, что-то интересное для себя!
on Правая панель [on/off] 
Панель навигации
Друзья сайта
Реклама
Популярные новости
Баннеры
Опрос на сайте
Оцените наш сайт

Отличный сайт
Красивый дизайн
Много полезного
Хороший но...
Так себе сайт
Не понравился
Архив сайта
Кто на сайте
Сейчас на сайте: 27
Гостей: 26
Пользователи: 

Роботы: 
- отсутствуют

 Последние посетители: 
Рекламный модуль
Наука, Учебники: Математическая логика и теория алгоритмов
Автор: Gunpowder | 24-11-2018, 11:36

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

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

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

Содержание:

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

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


 
Уважаемый посетитель, Вы зашли на сайт как
незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться,
либо войти на сайт под своим именем.
 (голосов: 0)




Другие новости по теме:
Просмотров: 7 | Комментариев: (0) | В закладки: |    
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости.
Панель управления
Регистрация | Напомнить?











  Логин:
Пароль:
Календарь новостей
«    Декабрь 2018    »
ПнВтСрЧтПтСбВс
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 
Реклама
Хорошо сказано
Баннеры
Облако тегов
Каталоги
Наша Кнопка
Мы будем вам очень признательны, если вы разместите на своем сайте нашу кнопку.