Лекции и практикум по математической логике, Зарипова Э.Р., Маркова Е.В., 2016

Лекции и практикум по математической логике, Зарипова Э.Р., Маркова Е.В., 2016.

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




Исчисление высказываний.
Задание (общее для всех задач): Решить логическую задачу двумя способами: по одной из двух теорем и с помощью резолютивного вывода.

№ 1. Известно, что после того, как сверкнет молния, должен грянуть гром. Молния сверкнула, следовательно, и гром должен грянуть.

№ 2. Если капиталовложения останутся постоянными, то возрастут правительственные расходы или возникнет безработица. Если правительственные расходы не возрастут, то налога будут снижены. Если налоги будут снижены и капиталовложения останутся постоянными, то безработица не возникнет. Возрастут ли правительственные расходы?

№ 3. Если в одном месте вещество пропадет, то в другом месте вещество появится. Есть теория, что в космосе существуют черные дыры, куда все пропадает, но откуда ничего не появляется. Верна ли эта теория?

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



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Лекции и практикум по математической логике, Зарипова Э.Р., Маркова Е.В., 2016 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: учебник по математике :: математика :: Зарипова :: Маркова