Контрольная работа состоит из трёх заданий на построение вывода формулы в исчислении предикатов. При построении вывода можно пользоваться теоремами об эквивалентных формулах в чистом виде, т.е. без использования леммы о замене. По каждому заданию необходимо сфотографировать решение и отправить предложенным способом.
В каждом задании можно прикрепить только один файл! Поэтому если Ваше решение занимает более одной страницы, не пугайтесь. Так же не стремитесь всё уместить на одну страницу, уменьшая почерк или вписывая что-то между строк. К сожалению, не получилось найти лучшего решения для организации контрольной работы, но в будущем всё получится исправить. Внизу расположена дополнительная форма для отправки файлов. Поэтому необходимо сделать следующее:
- решить задание,
- если решение вмещается на одно фото, то сфотографировать и отправить через форму с заданием,
- если решение занимает более одной фотографии, то нужно в форме с заданием прикрепить только первую фотографию,
- перейти к следующему заданию.
После того, как все задания будут решены, а первые фотографии будут отправлены, необходимо заполнить форму ниже, в которой можно прикрепить все оставшиеся фотографии.
Ещё раз: в самих заданиях прикрепляем только первые фотографии, а все оставшиеся потом через форму ниже.
Пожалуйста, заполните форму, если у Вас остались не отправленные файлы или если Вы хотите оставить комментарий: