ϵ">]>
Literature.
[1] J. Komara. Declarative Programming. Downloadable lecture notes available through the web page of the course.
[2] J. Kľuka. Lecture Notes from Introduction to Declarative Programming.
[3] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
Chapter. Programs Operating on Lists.
Section. Applications of Lists.
Subsection. Finite Sets.
Finite sets.
Set membership. Define the predicate a∈s such that
Insertion. Define the function s∪ {a} such that
Deletion. Define the function s∖ {a} such that
Union. Define the function s1 ∪ s2 such that
Intersection. Define the function s1 ∩ s2 such that
Difference. Define the function s1 ∖ s2 such that
Symmetric difference. Define the function s1 ⋈ s2 such that
Set equality. Define the predicate s1 ≡ s2 such that
Subsets. Define the predicate s1 ⊆ s2 such that