Необходима помощь онлайн, задания отправлю, как начнется сам экзамен. Темы: Логика предикатов, Логика первого порядка Логика высказываний, Системы доказательств, Аксиоматика Гильберта, Нормальные формы, Резолюции, SAT, Хорновские дизъюнкты Системы доказательств, подстановка и унификация,
Примеры заданий в прикрепленном файле. Экзамен будет 15го декабря, с 10:00 по 14:00.
| Гарантия на работу | 1 год |
| Средний балл | 4.53 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |