- •Практикум (семинарский) Семинар №1. Теория множеств
- •Список практических заданий
- •Вопросы для обсуждения на форуме
- •Список дополнительной литературы:
- •Семинар №2. Логика высказываний
- •Список практических заданий
- •Вопросы для обсуждения на форуме
- •Список дополнительной литературы:
- •Семинар №3. Алгебра логики
- •Список практических заданий
- •1. Построить таблицы соответствующих функций, выяснить, эквивалентны ли формулы и :
- •2. Построив таблицу для соответствующих функций, убедитесь в справедливости следующих эквивалентностей:
- •Вопросы для обсуждения на форуме
- •Список дополнительной литературы:
- •Семинар №4. Нечеткая логика
- •Список практических заданий
- •Вопросы для обсуждения на форуме
- •Список дополнительной литературы:
- •Семинар №5. Логика предикатов
- •Список практических заданий
- •Вопросы для обсуждения на форуме
- •Список дополнительной литературы:
- •Семинар №6. Комбинаторика
- •Список практических заданий
- •Вопросы для обсуждения на форуме
- •Список дополнительной литературы:
- •Семинар №7.Теория графов
- •Список практических заданий
- •Вопросы для обсуждения на форуме
- •Список дополнительной литературы:
- •Семинар №8. Конечные автоматы
- •Список практических заданий
- •Вопросы для обсуждения на форуме
- •Список дополнительной литературы:
Список практических заданий
1. Построить автомат по содержательному описанию если на вход автомата могут поступать сигналы R, S и T. На входной сигнал R автомат выдает выходной сигнал 0, на S- выходной сигнал 1 и на T-выходной сигнал, противоположный предыдущему выходному сигналу. Для определенности считаем, что в начальном состоянии автомат помнит ’’предыдущий’’ выходной сигнал 0 .
2. Преобразовать автомат Мили, заданный таблично в автомат Мура.
Таблица переходов Таблица состояний
3. Преобразовать автомат Мура, заданный таблично в автомат Мили.
4. Построить конечный автомат, реализующий вычитание двоичных чисел.
Вопросы для обсуждения на форуме
1. Применение конечных автоматов для решения дискретных задач.
Список дополнительной литературы:
Глушков В.М. Синтез цифровых автоматов. – М.: Физматгиз, 1962.
Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженеров. – М.: Энергия, 1960.
Мелихов А.Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971.