Каталог готовых работ
Главная → Математика → Математическая логика и теория алгоритмов
Анализ и синтез релейно-контактных схем (Контрольная, Вариант 1, )
ДОКАЗАТЬ МЕТОДОМ РЕЗОЛЮЦИИ (Контрольная, )
Кванторные операции над предикатами (Контрольная, Вариант 4, )
Логические операции над предикартами (Контрольная, Вариант 1, )
Машина Тьюринга (Контрольная, Вариант 1, )
Множества. Отношения. Отображения. Подстановки. (Лабораторная, )
Множества. Отношения. Функции (Контрольная, Вариант 3, )
Нормальные алгоритмы Маркова (Лабораторная, Вариант 16, педагогический)
Нормальные алгоритмы Маркова (Контрольная, Вариант 4, )
Понятие алгоритма (Контрольная, Вариант 1, )
Предикаторы и минимизация дизъюнктивных нормальных форм (Шпаргалки, )