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