- •Пояснительная записка
- •Содержание.
- •Практическая работа № 1. Выполнение операций над множествами.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практические задания
- •5 Контрольные вопросы
- •Практическая работа № 2. Нахождение таблиц истинности алгебры высказываний.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •Практическая работа № 3. Упрощение формул алгебры высказываний.
- •3 Практическая часть
- •Практическая работа № 4. Решение задач логического характера.
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа № 5. Нахождение нормальных форм формул алгебры высказываний.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •Практическая работа № 6. Минимизация алгебраических преобразований.
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа № 7. Выполнение анализа релейно-контактных схем.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •4.1 Выполнить анализ схем.
- •5 Контрольные вопросы
- •Практическая работа № 8. Выполнение синтеза релейно-контактных схем.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •4.1 Построить логическую схему для заданной формулы, преобразовав действия импликации и эквивалентности. Построить логическую схему для днф заданной формулы.
- •5 Контрольные вопросы
- •Практическая работа № 9. Нахождение полинома Жегалкина.
- •1 Цель работы
- •3 Практическая часть
- •Практическая работа № 10. Определение полноты системы булевых функций.
- •3 Практическая часть
- •Практическая работа № 11. Выполнение операций над предикатами.
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа №12 Выполнение равносильных преобразований формул алгебры предикатов.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа №13. Применение и конструирование машин Тьюринга.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа № 14. Применение рекурсивных функций при построении алгоритма.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа №15. Применение марковских подстановок и нормальных алгоритмов к словам.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
5 Контрольные вопросы
1) Что такое алфавит, слово, алгоритм?
2) Как работает алгоритм над словом?
Перечень рекомендуемых учебных изданий, Интернет-ресурсов, дополнительной литературы
Основные источники:
Спирина М.С. Дискретная математика. Учеб. Пособие для ССУЗов М.: Высшая школа, 2010.
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. М.: ACADEMA, 2012.
Просветов Г.И., Дискретная математика. Задачи и решения. БИНОМ, Лаборатория знаний, 2010.
Дополнительные источники:
Новиков Ф.А., Дискретная математика, ЗАО издательский дом «Питер», 2010.
Никольская И.Л., Математическая логика, М.: ACADEMA, 2010.
Яблонский С.В., Введение в дискретную математику, М.: Высшая школа, 2010
Москинова Г.И., Дискретная математика, М.: Логос, 2011.
Интернет-ресурсы
Образовательный математический сайт.
Режим доступа: http: //www.exponenta.ru
Лекции в электронном виде по дисциплине «Элементы математической
логики Режим доступа: http: //www.rksi.ru/rksi/libraru