|
0 / 0 / 0
Регистрация: 12.08.2012
Сообщений: 5
|
|
реализация предикатов13.10.2012, 22:26. Показов 1720. Ответов 6
Метки нет (Все метки)
0
|
|
(| 13.10.2012, 22:26 | |
|
Ответы с готовыми решениями:
6
Решение задач логики предикатов Логика предикатов: определение вхождения точки в заштрихованную область на графике Определение арности предикатов более низкого порядка при использовании предикатов более высокого |
 1675 / 1047 / 174
Регистрация: 27.09.2009
Сообщений: 1,945
|
|
| 13.10.2012, 22:41 | |
|
STL стандарта C++11, заголовок <functional>
Библиотека Boost, boost::functional и boost::lambda
1
|
|
|
0 / 0 / 0
Регистрация: 12.08.2012
Сообщений: 5
|
||
| 13.10.2012, 22:47 [ТС] | ||
|
Пролог основан на методе резолюции (тоже кэп) и это всего лишь один из методов автоматического доказательства теорем . однозначно есть и другие методы . Я уже написал свой небольшой прувер(программа релизвующая методы автоматического доказательства теорем) , но уж больно сложно и не удобно работать с моими предикатами(сделал несколько классов) . Так вот спрашиваю у знающих людей есть ли средства которые помогут мне удобно реализовать работу и хранение предикатов ??
З.Ы. Предикаты с том виде каком они подразумеваются на википедии http://ru.wikipedia.org/wiki/%... F%E4%EA%E0 создал в нескольких темах в надежде что больше народу прочитают мою тему Добавлено через 5 минут
0
|
||
Сообщение от Nick Alte
|
0 / 0 / 0
Регистрация: 12.08.2012
Сообщений: 5
|
||
| 13.10.2012, 23:05 [ТС] | ||
есть какая-нибудь информация(ссылки, материалы) что бы я смог осилить это ?
0
|
||
|
Каратель
|
|
| 13.10.2012, 23:23 | |
|
1
|
|
| 13.10.2012, 23:23 | |
|
Помогаю со студенческими работами здесь
7
Проверить истинность формулы логики предикатов. Формулы логики предикатов. Область истинности формулы логика предикатов Алгебра предикатов Логика предикатов квантификации предикатов Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |
|
Новые блоги и статьи
|
|||
|
влияние грибов на сукцессию
anaschu 26.01.2026
Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .
|
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android
8Observer8 26.01.2026
Содержание блога
SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .
|
Установка Android SDK, NDK, JDK, CMake и т.д.
8Observer8 25.01.2026
Содержание блога
Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip"
Извлеките архив и вы увидите. . .
|
Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf
8Observer8 25.01.2026
Содержание блога
Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д.
Сборка примера
Скачайте. . .
|
|
Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly
8Observer8 24.01.2026
Содержание блога
Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
|
моя боль
iceja 24.01.2026
Выложила интерполяцию кубическими сплайнами www. iceja. net
REST сервисы временно не работают, только через Web.
Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .
|
Модель сукцессии микоризы
anaschu 24.01.2026
Решили писать научную статью с неким РОманом
|
http://iceja.net/ математические сервисы
iceja 20.01.2026
Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .
|