|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
04.12.2016, 13:15 | #1 |
Пользователь
Регистрация: 11.10.2015
Сообщений: 63
|
метод резолюции в исчислении предикатов.
Требуется написать программу Метод резолюций в исчислении предикатов.Кто может помочь?(за вознаграждение)
|
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
C/C# - разработать преобразователь произвольной формулы в замкнутую (исчисление предикатов) | liroykaz | Фриланс | 1 | 19.11.2014 21:29 |
Определить количество слагаемых, необходимых для достижения заданной точности ε при исчислении числа π по разложению в ряд (язык С | lizka6011997 | Помощь студентам | 21 | 17.11.2013 20:00 |
Здравствуйте. Попытался написать программу метод резолюции на прологе, но программа мне выдает ошибки не пойму почему. | jeka1 | Помощь студентам | 0 | 08.05.2012 12:27 |
Метод линейной резолюции | Taisya | Помощь студентам | 0 | 06.07.2011 18:48 |