Конечные функциональные преобразователи.Булевы функции.
Функциональная полнота.Формы представления булевых функций.
Введение в математическую логику.Формальные высказывания. Логика высказываний.Логическое следствие.Основы логики предикатов и логического вывода.Логическое программирование
Конечные автоматы.Автоматное преобразование информации.Примеры КА.Визуальный формализм представления моделей реактивных систем.Графы переходов при спецификации и анализе параллельных программ. Алгебраическая структурная теория конечных автоматов
Автоматные языки.
Машины Тьюнинга
Введение в математическую логику.Формальные высказывания. Логика высказываний.Логическое следствие.Основы логики предикатов и логического вывода.Логическое программирование
Конечные автоматы.Автоматное преобразование информации.Примеры КА.Визуальный формализм представления моделей реактивных систем.Графы переходов при спецификации и анализе параллельных программ. Алгебраическая структурная теория конечных автоматов
Автоматные языки.
Машины Тьюнинга