Добавил:
Вуз:
Предмет:
Файл:
ИДЗ 2
.docxПредикаты в ПНФ
Предикаты в СНФ
Машина Тьюринга
Резольвенты
Уменьшения кол-ва кванторов
Однозначность ветвления КС - грамматики
Регулярное выражение из автомата
Автомат из регулярного выражения
Автомат, распознающий / нераспознающий слова
Унификация атомарных формул
Соседние файлы в предмете Математическая логика и теория алгоритмов