Форум программистов, компьютерный форум, киберфорум
Prolog
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 5.00/4: Рейтинг темы: голосов - 4, средняя оценка - 5.00
0 / 0 / 0
Регистрация: 06.05.2015
Сообщений: 7

Используя методы отсечения и отката, докажите или опровергните утверждение

06.05.2015, 21:00. Показов 815. Ответов 3
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Срочно! Пожалуйста! Помогите решить задачу, я не могу понять пролог,ну никак..(

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

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

"Существуют страны,с территории которых в разные года можно было наблюдать не менее 2-х солнечных и не более 1-го лунного затмения"

Заранее огромное спасибо!!!!
0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
06.05.2015, 21:00
Ответы с готовыми решениями:

Докажите или опровергните утверждение
Докажите или опровергните утверждение Правила форума :rtfm: 4.3. Создавайте темы с осмысленными и понятными названиями - это...

Докажите или опровергните утверждение для произвольных множеств
Помошите пожалуйста решить.Следующее утверждение для произвольных множеств докажите или опровергните (¬A ∩ B) ∪ (¬B ∩ A) ⊆ B.

Докажите или опровергните равенство
Докажите или опровергните равенство: (A\setminus B)\wedge(C \vee B) = (A\wedge B) \setminus C

3
 Аватар для arlat
798 / 601 / 158
Регистрация: 07.10.2013
Сообщений: 1,330
08.05.2015, 11:44
Цитата Сообщение от Lena_Prolog Посмотреть сообщение
Помогите решить задачу
Ну, судя по формулировке задач
Цитата Сообщение от Lena_Prolog Посмотреть сообщение
исходя из предположения о замкнутости и об открытости мира предметной области.
Пролог Вам изучать всё же придётся. Вот очень простая книга Программирование на языке Пролог - Клоксин У + Меллиш К
1. определитесь с каким Прологом будете работать
2. читайте, пробуйте
3. с наработками на форум
особенно мне понравилось
Цитата Сообщение от Lena_Prolog Посмотреть сообщение
Выполните данное задание в двух вариантах: исходя из предположения о замкнутости и об открытости мира предметной области.
0
Фрилансер
 Аватар для Black Fregat
3709 / 2083 / 567
Регистрация: 31.05.2009
Сообщений: 6,683
08.05.2015, 19:59
Вот если честно, три раза перечитал процитированную фразу и не до конца понял, что именно она означает.
0
 Аватар для arlat
798 / 601 / 158
Регистрация: 07.10.2013
Сообщений: 1,330
09.05.2015, 16:38
Цитата Сообщение от Black Fregat Посмотреть сообщение
процитированную фразу
это какую? "Существуют страны,с территории которых в разные года можно было наблюдать не менее 2-х солнечных и не более 1-го лунного затмения" это наверное типа "об открытости мира предметной области"

Добавлено через 18 минут
Чую здесь препод, как первый у меня по курсу СИИ (системы искусственного интеллекта), ещё тогда экспериментальный. Там простой народ вообще в его лекциях не догонял. А я уже на Прологе коммерческую систему писал. Диагноз там простой, препод просто вербальную выдачу пропускал по некоторым мыслям, что в ЕГО голове. Впрочем, все-таки прикольно, можно и на форуме быстро-срочно-надо-помогите найти забавные случаи
1
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
09.05.2015, 16:38
Помогаю со студенческими работами здесь

Докажите или опровергните тождество
Докажите или опровергните тождество (u→(z|(y ↓z))) = x∼y.

Докажите или опровергните равенство с помощью законов или диаграмм
(A ∪ B)/B=AΔ (A∩B) Можете обьяснить

Докажите или опровергните: Если A^x + B^y = C^z, то А, B, С имеют общий простой делитель.
Докажите или опровергните Если A^x + B^y = C^z, где где A, B, C, x, y,z — натуральные, а x, y z >2, то А, B, С имеют общий простой...

Докажите утверждение
если x_0 - корень уравнения a_nx^n+...+a_1x^1+a_0=0, то \frac{1}{x_0} - корень уравнения a_0x^n+...+a_{n-1}x^1+a_n=0 Заранее спасибо

Верно ли, что любое натуральное число можно представить в виде суммы кубов пяти целых чисел. Докажите своё утверждение
Верно ли, что любое натуральное число можно представить в виде суммы кубов пяти целых чисел. Докажите своё утверждение


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
4
Ответ Создать тему
Новые блоги и статьи
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++
8Observer8 10.03.2026
Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE
8Observer8 10.03.2026
Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки
Neotwalker 08.03.2026
Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages
DevAlt 07.03.2026
Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F#
DevAlt 06.03.2026
В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .
Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование
8Observer8 05.03.2026
Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D
8Observer8 04.03.2026
Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .
SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий
8Observer8 02.03.2026
Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru