Форум - выводимость в исчислении высказываний

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

» Добро пожаловать, Гость: Войти | Регистрация

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

Переход к теме
<< Назад Вперед >>

Одна страница
Модераторы: 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?
Разрешить смайлики в этом сообщении?
Просмотреть сообщение перед отправкой? Да Нет

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