|
0 / 0 / 0
Регистрация: 06.05.2015
Сообщений: 7
|
|
Используя методы отсечения и отката, докажите или опровергните утверждение06.05.2015, 21:00. Показов 815. Ответов 3
Метки нет (Все метки)
Срочно! Пожалуйста! Помогите решить задачу, я не могу понять пролог,ну никак..(
Задание 1: Взяв за основу условия - "Известна информация о полных солнечных и лунных затмениях в следующем виде:вид затмения,дата наблюдения,время начала максимального эффекта,длительность максимального эффекта. Известен список стран, с территории которых можно было наблюдать то или иное затмение с указанием года наблюдения,а также известен список ожидающихся затмений с указанием вида затмения и прогнозируемой датой наблюдения" нужно разработать структуру предметной области. Описать базу данных с использованием составных и альтернативных объектов,сформулировать и записать несколько правил. Задание 2: Используя методы отсечения и отката,докажите или опровергните нижеследующее утверждение. Выполните данное задание в двух вариантах: исходя из предположения о замкнутости и об открытости мира предметной области. "Существуют страны,с территории которых в разные года можно было наблюдать не менее 2-х солнечных и не более 1-го лунного затмения" Заранее огромное спасибо!!!!
0
|
|
| 06.05.2015, 21:00 | |
|
Ответы с готовыми решениями:
3
Докажите или опровергните утверждение Докажите или опровергните утверждение для произвольных множеств Докажите или опровергните равенство |
|
798 / 601 / 158
Регистрация: 07.10.2013
Сообщений: 1,330
|
||||
| 08.05.2015, 11:44 | ||||
|
1. определитесь с каким Прологом будете работать 2. читайте, пробуйте 3. с наработками на форум особенно мне понравилось
0
|
||||
|
Фрилансер
3709 / 2083 / 567
Регистрация: 31.05.2009
Сообщений: 6,683
|
|
| 08.05.2015, 19:59 | |
|
Вот если честно, три раза перечитал процитированную фразу и не до конца понял, что именно она означает.
0
|
|
|
798 / 601 / 158
Регистрация: 07.10.2013
Сообщений: 1,330
|
||
| 09.05.2015, 16:38 | ||
"Существуют страны,с территории которых в разные года можно было наблюдать не менее 2-х солнечных и не более 1-го лунного затмения" это наверное типа "об открытости мира предметной области" ![]() Добавлено через 18 минут Чую здесь препод, как первый у меня по курсу СИИ (системы искусственного интеллекта), ещё тогда экспериментальный. Там простой народ вообще в его лекциях не догонял. А я уже на Прологе коммерческую систему писал. Диагноз там простой, препод просто вербальную выдачу пропускал по некоторым мыслям, что в ЕГО голове. Впрочем, все-таки прикольно, можно и на форуме быстро-срочно-надо-помогите найти забавные случаи
1
|
||
| 09.05.2015, 16:38 | |
|
Помогаю со студенческими работами здесь
4
Докажите или опровергните тождество Докажите или опровергните равенство с помощью законов или диаграмм Докажите или опровергните: Если A^x + B^y = C^z, то А, B, С имеют общий простой делитель. Докажите утверждение Верно ли, что любое натуральное число можно представить в виде суммы кубов пяти целых чисел. Докажите своё утверждение Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |
|
Новые блоги и статьи
|
|||
|
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-код на мобильном и вы увидите, что появится джойстик для управления главным героем.
. . .
|