Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 2 ] |
|
Автор | Сообщение | |
---|---|---|
Nikita_999 |
|
|
А -> (В v С), В -> (D -> А), С -> (В -> А), А -> (В -> С), D - > (A v В),D->(A->B), C->(BvD), AvCvD, C->(A->B) |- (A&B&C)v(A&B&D) |
||
Вернуться к началу | ||
Ellipsoid |
|
|
В чём этот метод заключается?
|
||
Вернуться к началу | ||
[ Сообщений: 2 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Метод резолюции | 2 |
750 |
10 апр 2014, 13:36 |
|
Метод резолюции | 2 |
209 |
23 мар 2017, 20:29 |
|
Метод резолюции | 1 |
284 |
08 мар 2017, 22:24 |
|
Метод резолюции | 1 |
303 |
18 апр 2014, 09:45 |
|
Метод резолюции - унификация | 1 |
208 |
20 апр 2017, 16:26 |
|
Нахождение экстремума. Метод Фибоначчи и метод Хука-Дживса | 0 |
764 |
01 апр 2014, 20:39 |
|
Метод последовательного исключения неизвестных, метод Гаусса
в форуме Линейная и Абстрактная алгебра |
0 |
363 |
18 дек 2018, 17:14 |
|
Метод индукции
в форуме Теория чисел |
6 |
405 |
06 апр 2017, 21:01 |
|
Метод Зейдель
в форуме MathCad |
3 |
464 |
26 мар 2017, 19:36 |
|
Метод интервалов
в форуме Алгебра |
1 |
272 |
20 май 2016, 15:24 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 16 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |