Форум - Программа для Мат. Логики.

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

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

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

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

Одна страница
Модераторы: Roman Osipov, RKI, attention, paradise

Guest

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

Всего сообщений: Нет | Присоединился: Never | Отправлено: 20 окт. 2005 13:25 | IP

Genrih

Удален
Действительно, хорошо бы. Правда, трудно себе представить такой продукт

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 24 окт. 2005 0:19 | IP

Отправка ответа:

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

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

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