Форум программистов «Весельчак У»
  *
Добро пожаловать, Гость. Пожалуйста, войдите или зарегистрируйтесь.
Вам не пришло письмо с кодом активации?

  • Рекомендуем проверить настройки временной зоны в вашем профиле (страница "Внешний вид форума", пункт "Часовой пояс:").
  • У нас больше нет рассылок. Если вам приходят письма от наших бывших рассылок mail.ru и subscribe.ru, то знайте, что это не мы рассылаем.
   Начало  
Наши сайты
Помощь Поиск Календарь Почта Войти Регистрация  
 
Страниц: [1]   Вниз
  Печать  
Автор Тема: Упрощение тригонометрических выражений(Prolog)  (Прочитано 7328 раз)
0 Пользователей и 1 Гость смотрят эту тему.
Lenochka
Новенький

ua
Offline Offline

« : 29-11-2010 17:31 » 

Здравствуйте. Очень нужна помощь в написании программы на SWI-Prolog, которая упрощает тригонометрические выражения.
Может что-то подскажете(почитать).
Или может кто-то имеет готовую прогамму.
Крайне необходимо.

Спасибо большое за внимание.
Записан
RXL
Технический
Администратор

ru
Offline Offline
Пол: Мужской

WWW
« Ответ #1 : 29-11-2010 18:01 » 

https://club.shelek.ru/viewfiles.php?id=43
Больше предложить нечего.
Записан

... мы преодолеваем эту трудность без синтеза распределенных прототипов. (с) Жуков М.С.
Dimka
Деятель
Команда клуба

ru
Offline Offline
Пол: Мужской

« Ответ #2 : 29-11-2010 20:09 » new

Символьное преобразование формул - задачка не совсем тривиальная. Нужно будет придумывать эвристические правила остановки поиска решения (при отсутствии решения будет бесконечное дерево подстановок). Для Prolog это будут отсечки ! и fail. Или может быть задача имеет какие-то неназванные ограничения...

Можно начать с вещей попроще: вычисление формулы производной или первообразной по заданной формуле функции. В этой задаче нет поиска, и можно спокойно отработать механизм подмены выражений на эквивалентные выражения. И только потом, разобравшись с этим, переходить к программированию поиска.
Записан

Программировать - значит понимать (К. Нюгард)
Невывернутое лучше, чем вправленное (М. Аврелий)
Многие готовы скорее умереть, чем подумать (Б. Рассел)
Страниц: [1]   Вверх
  Печать  
 

Powered by SMF 1.1.21 | SMF © 2015, Simple Machines