Главная
»
Файловое хранилище
»
Дисциплины
»
АиАС
»
АиАС - Контрольная работа: Решить задачу ВЫПОЛНИМОСТЬ
|
АиАС - Контрольная работа: Решить задачу ВЫПОЛНИМОСТЬ
| |||
|
Дисциплина: Алгоритмы и алгоритмическая сложность ВУЗ: Белорусский государственный университет информатики и радиоэлектроники Специальность: АСОИ Вариант 3 КОНТРОЛЬНОЕ ЗАДАНИЕ 2 Решить задачу ВЫПОЛНИМОСТЬ по варианту. 1. Методом резолюций Робинсона. 2. Методом отсечения литер. 3. Методом групповых резолюций.
| |||