Форум программистов, компьютерный форум, киберфорум
Lisp
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
Другие темы раздела
Lisp Множественное число для английского слова Всем привет, помогите пож-та, не очень понимаю язык лисп но очень нужно.. стоит интерпретатор XLISP, используется чистый лисп или так называемое Common Lisp. задание: Множественное число большинства английских существительных получается путем добавления буквы "s" к форме единственного числа. Но если существительное заканчивается буквой "у'', следующей за согласной, множественное число... https://www.cyberforum.ru/ lisp/ thread676690.html SOS написать рекурсивную функцию Lisp
Здравствуйте! Очень надеюсь на Вашу помощь в написании программ на LISP. простейшие рекурсивные функции: 27. функция должна возвращать список с элементами, перечисленными в обратном порядке. 29. вычислить сумму произведения элементов двух списков. 36. описать функцию, которая находила бы сумму всех числовых элементов в списке. список может содержать подсписки произвольной глубины. 38....
Lisp Преобразовать список https://www.cyberforum.ru/ lisp/ thread674727.html
Доброго времени суток, ребята прошу помочь с задачкой по Lisp. Дан список (1 2 3 4 a b c d) под именем r, преобразовать список таким образом чтоб цыфры стояли на месте букв а буквы на месте цифр в томже порядке, тоесть (a b c d 1 2 3 4). В Лиспе я полный нуб, но вот что я знаю. (setq r '(1 2 3 4 a b c d)) это мой список с именем. знаю так же пару функций, но что-то все равно не дойдет до меня...
Lisp Определить функцию одного аргумента https://www.cyberforum.ru/ lisp/ thread674645.html
определить функцию одного аргумента L , которая имеет значение T, если условие удовлетворяется, и NIL в противном случае: n-ый элемент L есть 12; n-ый элемент L есть атом; L имеет не более n элементов (атомов или подсписков).
Описать функцию, которая старый элемент заменяет на новый Lisp
здравствуйте! мне нужна ваша помощь.плиз!!!мои мозги не под то подточены :( помогите решить две задачи по лиспу:(это все нужно через рекурсию) 1. описать функцию,которая старый элемент заменяет на новый. 2. описать функцию, аргументами которой являются два множества,а результатом- множество, содержащее элементы принадлежащие только одному из исходных множеств.
Lisp Осуществить N циклических сдвигов вправо элементов исходного списка https://www.cyberforum.ru/ lisp/ thread673349.html
Помогите пожалуйста! Не могу разобраться как сделать задания на lisp 1) Осуществить N циклических сдвигов вправо элементов исходного списка ( пр. если 5 элементов, а сдвигов нужно сделать 21, то делаем только 1 сдвиг) 2) Построить список целых чисел содержащих по 1 элементу на каждом уровне - этот элемент число, равное количеству элементов на соответствующем уровне в исходном списке (пр. (A...
Lisp Разработать программу анализа строки, содержащей арифметическое выражение https://www.cyberforum.ru/ lisp/ thread671329.html
Задача такая: Разработать программу анализа строки, содержащей арифметическое выражение, на правильность расстановки открывающих и закрывающих скобок... Беда в чем, не могу алгоритм разработать... Думал просто через счетчики сделать, но так не правильно... Помогите с алгоритмом...
Не могу открыть файл в mulisp Lisp
захожу в mulisp.com пишу rds 'c:rc мне в ответ - NIL файл rc.lsp создал, кинул в корневую папку С , но не открывается. Что я делаю не так, помогите!
Lisp Задача Л. Эйлера и две задачи на список 1) Задача Л. Эйлера. Некий чиновник купил лошадей и быков на 1770 талеров. За каждую лошадь он уплатил по 31 талеру, а за каждого быка - по 21 талеру. Сколько лошадей и быков купил чиновник? Выяснить, если решения в целых имеются, то сколько их - одно или несколько? 2) Дан целочисленный массив А. Минимальный элемент этого массива заменить целой частью среднего арифметического всех элементов... https://www.cyberforum.ru/ lisp/ thread670986.html Lisp Создание функции 2 способами https://www.cyberforum.ru/ lisp/ thread670703.html
Здравствуйте Надо написать функцию name которая должна определять количество разных элементов списка Пример: >(name '(a1 a2 a3 a1 a2 a4)) 4 И разработать надо функцию 2 вариантами. Первый это рекурсивный вариант программы в функциональном стиле Второй это итерационный вариант программы в императивном стиле В теле функций можно использовать только примитивы car,cdr,cons. Все остальные...
Функция выдает ошибку при работе с отрицательными числами Lisp
Доброе время суток! Есть функция вычисляющая значения от х0 до xn с шагом. Вопрос такой, что в ней не так, что функция выдает ошибку при работе с отрицательными числами? (defun Y (x0 xn sh) (setq x x0) (PROG (sp) (setq sp 'nil) (if (< xn x) (RETURN '(konechnoe chislo < nachalnogo))) metka (if (< xn x) (RETURN sp))
Lisp Литература по CL Уважаемые гуру, сэнсеи и визарды лиспа, помогите сделать нелегкий выбор. А именно: копаясь в интернете, наткнулся на вот такую книжку: http://www.symbol.ru/ru/catalog/books/lisp.html ("ANSI Common LISP" - Пол Грэм) - русский перевод издания 15 летней давности. Правда про неё написано что она вроде бы ещё не вышла а только должна (окт 2012), с другой стороны и про "PCL" написано что она...
Модератор
Эксперт функциональных языков программированияЭксперт Python
36601 / 20330 / 4220
Регистрация: 12.02.2012
Сообщений: 33,640
Записей в блоге: 13
18.11.2012, 20:10 0

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

18.11.2012, 20:10. Показов 5918. Ответов 50
Метки (Все метки)

Ответ

Взял первый неудачный пример и сразу убедился, что просто пропущена скобка...
Если поставить скобку, то ошибка исчезает и выдается верный ответ - Nil (поскольку форма не есть КНФ)

Вернуться к обсуждению:
Распознание логические формулы в конъюнктивной нормальной форме Lisp
Миниатюры
Распознание логические формулы в конъюнктивной нормальной форме  
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
18.11.2012, 20:10
Готовые ответы и решения:

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

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

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

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

50
18.11.2012, 20:10
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
18.11.2012, 20:10
Помогаю со студенческими работами здесь

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

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

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

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

0
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru