![]() |
Модераторы: Poseidon |
![]() ![]() ![]() |
|
Ak47black |
|
||||
![]() Эксперт ![]() ![]() ![]() ![]() Профиль Группа: Завсегдатай Сообщений: 2205 Регистрация: 2.12.2005 Репутация: нет Всего: 0 |
Здравствуйте."
Момогите пожалуйста, завяз полностью и незнаю даже в какую сторону "копать". Есть например два задания
Очень хотелбы уведеть их решения. Никак немогу найти никакого толкового объяснения как их нужно решать и с чем их "едят". Пересмотрел много книг по математической логике, но то так ничего ненашол подходящего в доступной форме изложенного материала чтобы можно прочитать, а зачот уже скоро. Напишите пожалуйста если кто знает, где про всё это можно в доступной форме прочитать ![]() Очень было-бы хорошо если какаянибудь книга где примеры с ответами. P.S. Возможна ошибка при переводе "через Гильбертов вычисления тип" Это сообщение отредактировал(а) Ak47black - 7.11.2009, 19:01 |
||||
|
|||||
Ak47black |
|
|||
![]() Эксперт ![]() ![]() ![]() ![]() Профиль Группа: Завсегдатай Сообщений: 2205 Регистрация: 2.12.2005 Репутация: нет Всего: 0 |
Тут както нужно использовать эту таблицу
![]() из которой выводимы все торжественные формулы и Modes ponens правило. ![]() Это сообщение отредактировал(а) Ak47black - 8.11.2009, 14:26 |
|||
|
||||
Ak47black |
|
|||
![]() Эксперт ![]() ![]() ![]() ![]() Профиль Группа: Завсегдатай Сообщений: 2205 Регистрация: 2.12.2005 Репутация: нет Всего: 0 |
![]() |
|||
|
||||
![]() ![]() ![]() |
Правила форума "Центр помощи" | |
|
ВНИМАНИЕ! Прежде чем создавать темы, или писать сообщения в данный раздел, ознакомьтесь, пожалуйста, с Правилами форума и конкретно этого раздела.
Более подробно с правилами данного раздела Вы можете ознакомится в этой теме. Если Вам помогли и атмосфера форума Вам понравилась, то заходите к нам чаще! С уважением, Poseidon, Rodman |
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей) | |
0 Пользователей: | |
« Предыдущая тема | Центр помощи | Следующая тема » |
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |