Книжная полка Сохранить
Размер шрифта:
А
А
А
|  Шрифт:
Arial
Times
|  Интервал:
Стандартный
Средний
Большой
|  Цвет сайта:
Ц
Ц
Ц
Ц
Ц
Впервые на сайте?
Регистрация Вход

Мы в социальных сетях
Каталог Каталог
Данная публикация изъята из фонда.  Перейти к актуальной версии.
Ознакомиться

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

Покупка
Основная коллекция
Тематика: Линейное программирование. Математическая логика
Издательство: КУРС
Авторы: Пруцков Алексей Викторович, Волкова Лилия Леонидовна
Год издания: 2016
Кол-во страниц: 152
Дополнительно
Вид издания: Учебник
Уровень образования: ВО - Бакалавриат
ISBN: 978-5-906818-74-4
ISBN-онлайн: 978-5-16-105018-7
Артикул: 636279.01.01
К покупке доступен более свежий выпуск Перейти
Как еще получить доступ?
Студенту или преподавателю
Отправьте заявку на получение ключа доступа в библиотеку Вашего учебного заведения
Представителю организации
Отправьте заявку на подключение к Znanium по договору
  • Аннотация
  • Оглавление
  • Коллекции
  • Классификаторы
  • Аффилиация
  • Выпуски издания
  • Бибзапись
  • Фрагменты
Учебник представляет собой готовое решение для методического обеспечения дисциплины «Математическая логика и теория алгоритмов». В учебник включены лекции, практические задания и вопросы к экзамену, подготовленные за десятилетнее преподавание этой дисциплины в высших и средних учебных заведениях. Учебник подготовлен для студентов учреждений высшего профессионального образования по направлениям подготовки «Прикладная информатика» и «Программная инженерия», и полностью соответствует Федеральным Государственным образовательным стандартам по данным направлениям.
  Предисловие
3
  Глава 1. МАТЕМАТИЧЕСКАЯ ЛОГИКА
5
  1.1. МАТЕМАТИЧЕСКАЯ ЛОГИКА И ПРЕДМЕТ ЕЕ ИЗУЧЕНИЯ
5
  1.2. ЛОГИКА ВЫСКАЗЫВАНИЙ
6
  1.2.1. Введение в логику высказываний
6
  1.2.1.1. Понятие логики высказываний и логические операции
6
  1.2.1.2. Соглашение о расстановке скобок
7
  1.2.2. Способы представления логических формул
8
  1.2.3. Нормальные формы логики высказываний
9
  1.2.3.1. Простые нормальные формы
9
  1.2.3.2. Совершенные нормальные формы
10
  1.2.3.3. Связь таблицы истинности с совершенными нормальными формами
13
  1.2.4. Решение задач логики высказываний в табличном процессоре
15
  1.2.5. Минимизация логических формул
16
  1.2.5.1. Понятие минимзации логических формул
16
  1.2.5.2. Метод Блейка
16
  1.2.5.3. Метод Квайна–Маккласки
17
  1.2.5.4. Карты Карно
20
  1.2.6. Решение текстовых задач логики высказываний
21
  1.2.7. Приложение логики высказываний к схемотехнике
22
  1.2.7.1. Релейно-контактные схемы
22
  1.2.7.2. Логические элементы и логические схемы
24
  1.2.8. Логическое следствие в логике высказываний
26
  1.2.9. Принцип дедукции
30
  1.2.10. Равносильные формулы логики высказываний
33
  1.3. ЛОГИКА ПРЕДИКАТОВ
35
  1.3.1. Понятие предиката
35
  1.3.2. Кванторы
36
  1.3.2. Кванторы
36
  1.3.3. Нормальные формы логики предикатов
38
  1.3.4. Предикаты как способ представления знаний
40
  1.3.5. Логическое следствие в логике предикатов
41
  1.3.6. Равносильные формулы логики предикатов
41
  1.4. МЕТОД РЕЗОЛЮЦИЙ
42
  1.4.1. Метод резолюций в логике высказываний
42
  1.4.2. Унификация
44
  1.4.3. Метод резолюций в логике предикатов
46
  1.5. ФОРМАЛЬНЫЕ ТЕОРИИ
48
  1.5.1. Понятие формальной теории и ее свойства
48
  1.5.2. Исчисление высказываний
49
  1.5.3. Исчисление предикатов
52
  1.5.4. Примеры формальных теорий
53
  1.5.5. Формальная арифметика
57
  1.6. ПРИМЕНЕНИЕ ЛОГИКИ ВЫСКАЗЫВАНИЙ И ЛОГИКИ ПРЕДИКАТОВ ДЛЯ ПРЕДСТАВЛЕНИЯ И ВЫВОДА ЗНАНИЙ
60
  1.6.1. Модели представления знаний
60
  1.6.2. Логические модели представления знаний
60
  1.7. ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
63
  1.8. НЕЧЕТКАЯ ЛОГИКА
65
  1.8.1. Понятие нечеткой логики
65
  1.8.2. Множества
66
  1.8.3. Нечеткие множества
68
  1.8.3.1. Понятие нечеткого множества
68
  1.8.3.2. Нормальные нечеткие множества
69
  1.8.3.3. Составляющие нечетких множеств
70
  1.8.3.4. Способы представления нечетких множеств
71
  1.8.3.5. Операции над нечеткими множествами
72
  1.8.4. Нечеткая арифметика
74
  1.8.5. Нечеткие высказывания
77
  1.8.6. Нечеткие предикаты и кванторы
79
  1.9. МОДАЛЬНЫЕ ЛОГИКИ
79
  1.10. ВРЕМЕННЫЕ ЛОГИКИ
82
  1.10.1 Приложение временных логик к программированию
84
  1.10.2. Временная логика Пнуели
85
  1.11. АЛГОРИТМИЧЕСКИЕ ЛОГИКИ
87
  1.11.1. Понятие алгоритмических логик
87
  1.11.2. Алгоритмическая логика Хоара
89
  2. ТЕОРИЯ АЛГОРИТМОВ
92
  2.1. АЛГОРИТМ, ЕГО ПРИЗНАКИ. ПОНЯТИЕ И ТИПЫ АЛГОРИТМИЧЕСКИХ СИСТЕМ
92
  2.2. РЕКУРСИВНЫЕ ФУНКЦИИ
93
  2.2.1. Примитивно рекурсивные функции
93
  2.2.2. Функция Аккермана
95
  2.2.3. Частично рекурсивные функции
97
  2.3. МАШИНА ТЬЮРИНГА
99
  2.3.1. Составные части машины Тьюринга
99
  2.3.2. Обработка слов машиной Тьюринга
100
  2.3.3. ВЫЧИСЛЕНИЯ С ПОМОЩЬЮ МАШИНЫ ТЬЮРИНГА
101
  2.3.4. Способы представления программы машины Тьюринга
104
  2.4. МАШИНА С НЕОГРАНИЧЕННЫМИ РЕГИСТРАМИ
105
  2.5. НОРМАЛЬНЫЕ АЛГОРИТМЫ МАРКОВА
108
  2.6. АЛГОРИТМИЧЕСКИ НЕРАЗРЕШИМЫЕ ПРОБЛЕМЫ
110
  2.7. ЭФФЕКТИВНОСТЬ АЛГОРИТМА
111
  2.7.1. Характеристики эффективности алгоритма
111
  2.7.2. Эффективные и неэффективные алгоритмы
112
  2.8. КЛАССЫ ТРУДОЕМКОСТИ ЗАДАЧ
113
  2.8.1. Задачи класса P (полиномиальные)
113
  2.8.2. Задачи класса
114
  2.8.3. Недетерминированная машина Тьюринга
114
  2.8.4. Задачи класса
115
  2.9. ОПРЕДЕЛЕНИЕ СЛОЖНОСТИ АЛГОРИТМОВ РЕШЕНИЯ ЗАДАЧИ
117
  2.10. ТЕЗИС КОЛМОГОРОВА
119
  3. ПРАКТИЧЕСКИЕ ЗАДАНИЯ
121
  3.1. МАТЕМАТИЧЕСКАЯ ЛОГИКА
121
  3.1.1. Нормальные формы логики высказываний
121
  3.1.2. Решение текстовых задач логики высказываний
122
  3.1.3. Минимизация логических формул
123
  3.1.4. Комплексная контрольная работа
124
  3.1.5. Логические элементы и логические схемы
125
  3.1.6. Логическое следствие
126
  3.1.7. Логика предикатов
126
  3.1.8. Метод резолюций
129
  3.1.9. Исчисление высказываний
129
  3.1.10. Логическое программирование
129
  3.1.11. Нечеткие множества
130
  3.2. ТЕОРИЯ АЛГОРИТМОВ
131
  3.2.1. Рекурсивные функции
131
  3.2.2. Машина Тьюринга
132
  3.2.3. Машина с неогран иченными регистрами
136
  3.2.4. Нормальные алгоритмы Маркова
136
  3.2.5. Определение сложности алгоритмов решения задачи
137
  4. ВОПРОСЫ К ЭКЗАМЕНУ
138
  4.1. МАТЕМАТИЧЕСКАЯ ЛОГИКА
138
  4.2. ТЕОРИЯ АЛГОРИТМОВ
139
  5. ОТВЕТЫ НА ВОПРОСЫ В ТЕКСТЕ УЧЕБНИКА
141
  Литература
143
Тематика:
ББК:
УДК:
ГРНТИ:
Пруцков Алексей Викторович Волкова Лилия Леонидовна
Пруцков, А. В. Математическая логика и теория алгоритмов: Учебник / Пруцков А.В., Волкова Л.Л. - Москва :КУРС, НИЦ ИНФРА-М, 2016. - 152 с. (Бакалавриат) ISBN 978-5-906818-74-4. - Текст : электронный. - URL: https://znanium.com/catalog/product/558694 (дата обращения: 26.04.2024)
Скопировать запись
Математическая логика и теория алгоритмов, 2023, 636279.08.01
Экспорт списка
Excel
RUSMARC .iso
win-1251
UTF-8
RUSMARC .txt
win-1251
UTF-8
IRBIS .txt
win-1251
UTF-8
Фрагмент текстового слоя документа размещен для индексирующих роботов. Для полноценной работы с документом, пожалуйста, перейдите в ридер.
К покупке доступен более свежий выпуск Перейти
Как еще получить доступ?
Студенту или преподавателю
Отправьте заявку на получение ключа доступа в библиотеку Вашего учебного заведения
Представителю организации
Отправьте заявку на подключение к Znanium по договору