1. Минимизация функций алгебры логики. Геометрическая интерпретация
логических функций..
2. Функции, вычислимые по Тьюрингу. Тезис Тьюринга..
3. Формализовать представленные рассуждения в виде формул логики
предикатов и доказать полученное умозаключение методом резолюций:
Ни один преподаватель не является невеждой. Некоторые невежды попадают в институт. Следовательно, некоторые люди, попадающие в институт, не являются преподавателями.
Гарантия на работу | 1 год |
Средний балл | 4.96 |
Стоимость | Назначаете сами |
Эксперт | Выбираете сами |
Уникальность работы | от 70% |