Требуется онлайн-помощь по дисциплине математическая логика и теория алгоритмов, качественно

Требуется онлайн-помощь по дисциплине математическая логика и теория алгоритмов, качественн
Задания есть только приблизительные. Все решать не надо, хватит 4 задани
Примеры заданий:
1. Дан набор булевых функций {xy; xy}.
1.1. Является ли набор полным? Доказать. Если набор не полон, привести пример функции, не выражающейся через функции набора и обосновать.
1.2. Сколько функций от 1 и 2 переменных, не имеющих фиктивных аргументов, входят в замыкание исходного набора?
1.3.* Сколько функций от 3 и 4 переменных, не имеющих фиктивных аргументов, входят в замыкание исходного набора?
2. Посылки: Некоторые кошки бесхвосты. Все кошки — млекопитающие.
Вывод: Некоторые млекопитающие бесхвосты.
2.1. записать условие силлогизма с помощью предикатов и кванторов
2.2. доказать справедливость силлогизма методом резолюций для предикатов
3. Автоматный язык на алфавите (a;b;c} построен на основе детерминированного автомата без символов пустой строки. Как нужно изменить грамматику языка, чтобы в него не входили слова, заканчивающиеся на ab?
4. В полном неориентированном графе на n вершинах длины ребер A1A2 и A1A3 равны +2, а остальные +1. Какой результат даст алгоритм Форда-Беллмана, если источником берется вершина A1, а правило модификации изменено на D(v):=max{D(v); D(u)+A(u;v)}. Указать пометки всех вершин
К заказу прикрепляю учебник преподавател
ПОМОЩЬ В РЕЖИМЕ ОНЛАЙН ТРЕБУЕТСЯ 8 ЯНВАРЯ 2017 ГОДА В 10.00 ПО МОСКВЕ (+/-15-20 минут на организационные моменты). Время на экзамен 105 минут