Форум
» Назад на решение задач по физике и термеху
Регистрация | Профиль | Войти | Забытый пароль | Присутствующие | Справка | Поиск

» Добро пожаловать, Гость: Войти | Регистрация
    Форум
    Математика
        выводимость в исчислении высказываний
Отметить все сообщения как прочитанные   [ Помощь ]
» Добро пожаловать на форум "Математика" «

Переход к теме
<< Назад Вперед >>
Одна страница
Модераторы: Roman Osipov, RKI, attention, paradise
  

Siriusss



Новичок

С помощью производных правил вывода когда-то делали
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.Первые 2 метода более или менее понятны. Не понятен метод резолюций. Помогите, пожалуйста.

--------------------------------------------
Нашла правильный раздел:http://exir.ru/cgi-bin/ikonboard/topic.cgi?forum=7&topic=780&start=30. Все комментарии туда

(Сообщение отредактировал Siriusss 17 марта 2008 11:50)

-----
Иногда для того, чтобы выглядеть умным, полезно сделать что-нибудь дурное...

Всего сообщений: 28 | Присоединился: апрель 2007 | Отправлено: 14 марта 2008 16:25 | IP

Отправка ответа:
Имя пользователя   Вы зарегистрировались?
Пароль   Забыли пароль?
Сообщение

Использование HTML запрещено

Использование IkonCode разрешено

Смайлики разрешены

Опции отправки

Добавить подпись?
Получать ответы по e-mail?
Разрешить смайлики в этом сообщении?
Просмотреть сообщение перед отправкой? Да   Нет
 

Переход к теме
<< Назад Вперед >>
Одна страница

Форум работает на скрипте © Ikonboard.com