
- •Математическая логика и теория алгоритмов
- •Основные умения
- •План практических занятий
- •Занятие 1. Алгебра Буля и её модели
- •Коммутативные законы
- •Упражнения
- •Задания на самостоятельную работу
- •Занятие 2. Представление булевых функций формулами. Сводка тавтологий. Совершенные формы
- •Основные тавтологии алгебры высказываний
- •Основные равносильности алгебры высказываний
- •Упражнения.
- •Задания на самостоятельную работу
- •Примеры решения задач
- •Упражнения
- •Задания на самостоятельную работу
- •Занятие 3. Конструирование и упрощение контактных схем
- •Упражнения
- •Задания на самостоятельную работу
- •Занятие 4. Логические функции (предикаты) и операции над ними
- •Упражнения
- •Упражнения для самостоятельной работы
- •Занятие 5. Общезначимые формулы. Представление формул логики предикатов в предваренной нормальной форме
- •Основные равносильности логики предикатов
- •Основные тавтологии логики предикатов
- •Упражнения
- •Упражнения для самостоятельной работы
- •Занятие 6. Логика предикатов и алгебра множеств. Уравнения и неравенства как логические функции (предикаты). Комплекс теорем в геометрии. Необходимые и достаточные условия
- •Важные дизъюнкции
- •П. Важные конъюнкции
- •Примеры.
- •Упражнения
- •Упражнения на самостоятельную работу
- •Занятие 7. Машина Тьюринга
- •Упражнения
- •Упражнения для самостоятельной работы
- •Занятие 8. Вычислительные алгоритмы
- •Полная развилка
- •Упражнения
- •Упражнения для самостоятельной работы
- •Занятие 9. Контрольные мероприятия. Лабораторная работа.
- •Вариант № 2
- •Вариант № 3
- •Вариант № 4
- •Вариант 5
- •Типовой расчет Вариант № 1
- •Вариант № 2
- •Библиографический список
Упражнения
Найти функцию проводимости данных релейно-контактных схем:
а)
б)
в)
Ответы: а)
Построить релейно-контактную схему с заданной функций проводимости:
а)
б)
в)
Указание:
Упростить следующие релейно-контактные схемы:
a)
Ответ:
б)
Ответ:
в)
Ответ:
Задания на самостоятельную работу
1). Найти функцию проводимости данных релейно-контактных схем:
а)
б)
в)
Ответы: в)
.
2). Построить релейно-контактную схему с заданной функцией проводимости:
а)
б)
в)
3). Упростить следующие релейно-контактные схемы:
а)
Ответ:
б)
Ответ:
в)
Ответ:
4). Составьте схему цепи с тремя независимыми контактами, которая замкнута тогда и только тогда, когда:
а) замкнута по меньшей мере два контакта;
б) замкнуты не более, чем два контакта;
в) разомкнут только один контакт.