Написать определение операций равенства, объединения, пересечения, разности множеств

@Gwen Stacy · Регистрация: 08.10.2014

Студворк — интернет-сервис помощи студентам

Написать определение операций равенства, объединения, пересечения, разности множеств.
Помогите, пожалуйста.

@Catstail · 21.04.2015, 18:04

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
domains
int=integer
intl=int*
 
predicates
memb(int,intl)
inters(intl,intl,intl)
union(intl,intl,intl)
diff(intl,intl,intl)
 
 
clauses
 
memb(_,[])    :- fail.
memb(X,[X|_]) :- !.
memb(X,[Y|T]) :- X<>Y, memb(X,T).
 
inters([],_,[]).
inters([X|T],W,[X|Z]) :- memb(X,W), inters(T,W,Z).
inters([X|T],W,Z)     :- not(memb(X,W)), inters(T,W,Z).
 
 
union([],X,X).
union([Z|T],W,[Z|R]) :- not(memb(Z,W)), union(T,W,R).
union([Z|T],W,R)     :- memb(Z,W), union(T,W,R).
 
diff([],_,[]).
diff([X|T],W,[X|R]) :- not(memb(X,W)), diff(T,W,R).
diff([X|T],W,R)     :- memb(X,W), diff(T,W,R).

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	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 На первой гифке отладочные линии отключены, а на второй включены:. . .

@Gwen Stacy 0 / 0 / 1 Регистрация: 08.10.2014 Сообщений: 17

	Написать определение операций равенства, объединения, пересечения, разности множеств 19.04.2015, 15:48. Показов 1915. Ответов 1 Метки нет (Все метки) Написать определение операций равенства, объединения, пересечения, разности множеств. Помогите, пожалуйста. 0