Мат логика и мат анализ

[Edtlt]

Помогите, пожалуйста, с решением задач.

Используя теорему о дедукции и теорему о полноте проверить выводимость формулы ИВ.
(A→B)→B, -B├ A
(здесь -В озночает не В, т.е. отрицание В)

и (подробное условие в текстовом файле тут)

Задание 1. Исследовать на сходимость ряды

Задание 2. Разложить функции в ряд Тейлора в окрестности точки x=0

Задание 3. Разложить функции в ряд Фурье 2-периодические функции f(x) заданные на указанном интервале, f(x) = f(x+2).

Задание 4. Решить дифференциальные уравнения.

[Brukvalub]

Ну как же достали эти господа-"беспредельщики", рыболовы "золотых рыбок", которые хотят грести жар чужими руками, никогда не предложат ни одной своей идеи и им даже "влом" НАБРАТЬ ЗДЕСЬ ТЕКСТ задания.
Предлагаю принципиально игнорировать такие сообщения!

[Edtlt]

сюда формулы не вставишь

[Brukvalub]

Edtlt в сообщении #169486 писал(а):

сюда формулы не вставишь

Тогда сюда и ответы не впишешь.

[Edtlt]

их можно так же и передать, как условие, благо бесплатные файл-хосты существуют

За решение заплачу

Добавлено спустя 2 минуты 32 секунды:

тэгом пользоваться не умею)

[ewert]

Учитесь, ничего сложного. Например, если в Вашей первой формуле подразумевалась импликация, то её можно записать так:

$(A\Rightarrow B)\Rightarrow B$

$(A\Rightarrow B)\Rightarrow B$

Или так (дело вкуса):

$(A\to B)\to B$

$(A\to B)\to B$

[Jnrty]

[mod="Jnrty"]Edtlt, нарушаете правила форума. Как писать формулы, смотрите в темах "Первые шаги в наборе формул" и "Краткий ФАК по тегу [mаth]." Ничего сложного там нет, кто хочет - всегда может разобраться.
До исправления переношу тему в "Карантин". Для исправления сообщения служит кнопка . После исправления напишите мне личное сообщение (кнопка на моём сообщении).

От Вас требуется написать здесь полностью условия всех задач с формулами, а также изложить свои попытки решения. Халявщиков здесь не любят.[/mod]