Введение в схемы, автоматы и алгоритмы
Лекция 1. Предварительные сведенияЛекция 2. Реализация булевых функций с помощью логических схемЛекция 3. Упорядоченные бинарные диаграммы решений (УБДР)Лекция 4. Конечные автоматы: преобразователи и распознавателиЛекция 5. Регулярные языки и конечные автоматыЛекция 6. Свойства замкнутости класса автоматных языков. Неавтоматные языкиЛекция 7. Алгоритмы: структурированные программыЛекция 8. Алгоритмы: частично рекурсивные функцииЛекция 9. Алгоритмы: машины ТьюрингаЛекция 10. Вычислимые функции, тезис Тьюринга-Черча и неразрешимые проблемыСписок литературы
