Форум программистов, компьютерный форум, киберфорум
Наши страницы

Распознание логические формулы в конъюнктивной нормальной форме

Форум программистов Lisp. Программирование на языке Lisp. Помощь в решении задач на Лиспе.
Войти
Регистрация
Восстановить пароль
Обсуждение
Всего сообщений: 51
Имя Дата Сообщение
Читать обсуждение полностью:
Распознание логические формулы в конъюнктивной нормальной форме
eddilou 21.10.2012 18:10 http://www.cyberforum.ru/post3589423.html
Всем привет, помогите пож-та, не очень силен в Lisp но...
Catstail 21.10.2012 20:41 http://www.cyberforum.ru/post3589928.html
- имеется в виду, что если на вход функции подана...
eddilou 21.10.2012 22:27 http://www.cyberforum.ru/post3590721.html
не работает, дабы ругается на неизвестную функцию NEQ,...
Catstail 22.10.2012 10:16 http://www.cyberforum.ru/post3592103.html
Попробуй так: (defun chk-var (x) (And (atom x) (NOT...
eddilou 22.10.2012 16:57 http://www.cyberforum.ru/post3593809.html
Делаю в XLISP и используется чисто Common Lisp без всяких...
Catstail 22.10.2012 17:48 http://www.cyberforum.ru/post3594103.html
Введи некорректное выражение, например (a b c) - не есть...
eddilou 22.10.2012 18:07 http://www.cyberforum.ru/post3594208.html
спасибо за пояснение!! большое спасибо!!) теперь осталось...
Catstail 24.10.2012 11:11 http://www.cyberforum.ru/post3602506.html
- никак. Просто возвращает Nil, что значит "Представленный...
eddilou 30.10.2012 16:00 http://www.cyberforum.ru/post3630397.html
программа не работает дабы перед скобкой не должно быть...
Catstail 30.10.2012 20:11 http://www.cyberforum.ru/post3631675.html
Я писал функцию по заданию, которое было приведено в самом...
eddilou 30.10.2012 23:43 http://www.cyberforum.ru/post3632394.html
ну вот такой странный препод он сказал мол не верно фурычит...
Catstail 31.10.2012 11:25 http://www.cyberforum.ru/post3634008.html
- а, это другое дело... Буду разбираться.
eddilou 01.11.2012 22:53 http://www.cyberforum.ru/post3641697.html
в чем могла бы быть ошибка? может как то организовать...
eddilou 03.11.2012 15:49 http://www.cyberforum.ru/post3647482.html
не подскажешь? как сделать? или что добавить для проверки
Catstail 03.11.2012 19:53 http://www.cyberforum.ru/post3648381.html
Да, понял, что я сделал не так... Моя программа просто...
eddilou 03.11.2012 22:24 http://www.cyberforum.ru/post3648946.html
и как теперь быть? что нужно изменить чтоб программа...
Catstail 04.11.2012 13:49 http://www.cyberforum.ru/post3649130.html
Завтра сделаю Добавлено через 14 часов 29 минут Вот что...
eddilou 04.11.2012 16:13 http://www.cyberforum.ru/post3651089.html
немного не понятно, не могли бы пож-та пояснить, для чего...
Catstail 04.11.2012 16:42 http://www.cyberforum.ru/post3651207.html
subseq - это функция Лиспа (Common; и в HomeLisp-е тоже...
eddilou 06.11.2012 15:03 http://www.cyberforum.ru/post3659567.html
/QUOTE] странно ввожу те же примеры он мне странную ошибку...
Catstail 06.11.2012 15:14 http://www.cyberforum.ru/post3659632.html
В каком Лиспе работаете?
eddilou 06.11.2012 15:39 http://www.cyberforum.ru/post3659638.html
не в курсе как исправить?и почему он говорить что выхожу...
Catstail 06.11.2012 15:49 http://www.cyberforum.ru/post3659802.html
Сейчас попробую в XLisp-е...
eddilou 06.11.2012 16:15 http://www.cyberforum.ru/post3659847.html
у меня стоит 7ка 64бит я через эмулятор виртбокс сделал...
Catstail 06.11.2012 16:32 http://www.cyberforum.ru/post3660024.html
Я нашел свою ошибку. У меня в HomeLisp неверно реализован...
eddilou 06.11.2012 16:36 http://www.cyberforum.ru/post3660045.html
хорошо, жду, хотя написано в справочнике xlisp такая же...
Catstail 06.11.2012 17:00 http://www.cyberforum.ru/post3660162.html
Вот, вроде получилось... (Проверено в LispWorks): ...
eddilou 06.11.2012 19:13 http://www.cyberforum.ru/post3660925.html
добавлена одна строчка всего и все?
Catstail 06.11.2012 19:19 http://www.cyberforum.ru/post3660970.html
Не только. Вызов subseq приведен к стандарту CL (в...
eddilou 06.11.2012 19:45 http://www.cyberforum.ru/post3661146.html
честно скажу, разницы вызова subseq что то не заметил, так...
Catstail 06.11.2012 19:54 http://www.cyberforum.ru/post3661199.html
- сравните с последним вариантом (у среднего вызова после...
eddilou 06.11.2012 20:11 http://www.cyberforum.ru/post3661334.html
а еще самое любопытное вот что если subseq это функция...
Catstail 06.11.2012 20:16 http://www.cyberforum.ru/post3661369.html
В subseq элементы нумеруются с нуля
eddilou 06.11.2012 20:29 http://www.cyberforum.ru/post3661483.html
так это я понял, но видите ли в лиспе так понял написана...
Catstail 06.11.2012 20:44 http://www.cyberforum.ru/post3661585.html
Вот протокол трассировки (LispWorks). Может, поможет...
eddilou 13.11.2012 15:10 http://www.cyberforum.ru/post3692078.html
привет еще раз, попытался сдать прогу в итоге выявлены след...
Catstail 13.11.2012 15:10 http://www.cyberforum.ru/post3692133.html
Ладно, посмотрю...
eddilou 13.11.2012 16:11 http://www.cyberforum.ru/post3692134.html
как исправить подскажите плиз Добавлено через 8 минут ...
Catstail 13.11.2012 19:45 http://www.cyberforum.ru/post3693807.html
Увы - теперь только завтра...
eddilou 13.11.2012 20:23 http://www.cyberforum.ru/post3694062.html
хорошо, с нетерпением буду ждать
eddilou 15.11.2012 21:53 http://www.cyberforum.ru/post3705276.html
у меня что то не получается никак решить данную задачи...
Catstail 15.11.2012 23:01 http://www.cyberforum.ru/post3705636.html
Постараюсь.
eddilou 16.11.2012 08:57 http://www.cyberforum.ru/post3706581.html
к понедельнику сможете? а то пробовал методом поочередного...
Catstail 16.11.2012 11:58 http://www.cyberforum.ru/post3707170.html
Да, очень постараюсь к понедельнику
eddilou 18.11.2012 18:40 http://www.cyberforum.ru/post3717849.html
что то придумали по этому поводу? как можно решить данную...
Catstail 18.11.2012 20:10 http://www.cyberforum.ru/post3718404.html
Взял первый неудачный пример и сразу убедился, что просто...
eddilou 18.11.2012 20:20 http://www.cyberforum.ru/post3718461.html
как понять не кнф?? если это реально то что писал как...
Catstail 18.11.2012 20:33 http://www.cyberforum.ru/post3718560.html
1) я нашел еще одну свою ошибку. Вот вариант: (defun...
eddilou 18.11.2012 21:07 http://www.cyberforum.ru/post3718799.html
интересно а в чем была ошибка, то что небыло дополнительной...
Catstail 18.11.2012 21:26 http://www.cyberforum.ru/post3718905.html
- у функции chk-diz не хватало этой строки. Вторую ошибку...
eddilou 20.11.2012 19:41 http://www.cyberforum.ru/post3719156.html
почему? и в чем же заключается сложность? Добавлено...
 
 
Similar

Вычисление значений логического выражения в дизъюнктивной нормальной форме
Доброго всем времени суток! Помогите пожалуйста с данной задачей : "написать программу вычисления...

Составьте программу нахождения совершенной конъюнктивной нормальной формы
Составьте программу нахождения совершенной конъюнктивной нормальной формы (с.к.н.ф.) на любом...

Привести формулы к предваренной нормальной форме. Не уверена в правильности решения(+)
1. \overline{\forall xP(x)}\vee \exist x Q(x,y)= \exist x\overline{P(x)}\vee\exist xQ(x,y)= \exist...

Приведите к предваренной нормальной форме следующие формулы логики предикатов
Добрый день\вечер, не могли ли вы мне пожалуйста помочь с данной задачей потому что я тупой и не...

Приведите к предваренной нормальной форме следующие формулы логики предикатов
Приведите к предваренной нормальной форме следующие формулы логики предикатов.

MoreAnswers

Привести к предваренной нормальной форме (ПНФ) и к сколемовской нормальной форме (СНФ)
Привести к предваренной нормальной форме (ПНФ) и к сколемовской нормальной форме (СНФ). \ \forall...

Логические формулы
Подскажите, как в столбце Размер штрафа при помощи функции из категории Логические рассчитать...

Логические формулы
Как записать логическими формулами следующие высказывание: Если медиана треугольника, проведенная...

 
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2019, vBulletin Solutions, Inc.
Рейтинг@Mail.ru