Diskrētās struktūras datorzinātnēs

2. Teorētiskais pamatojums
2.1. Kopu teorija
Kopas var aprakstīt uzrādot to savstarpējās sakarības un to īpašības, tādēļ ir svarīgi zināt, vai elementi nepieder kopai, vai pieder. Visas kopasopas tiek apzīmētas ar latīņu lielajiem burtiem (ar indeksiem): A, B, C, D, X1, X2, bet elementus apzīmē ar maziem burtiem, cipariem, simboliem: a, b, c, 1, 2, 3, 4,.., utt. Nosaucot visus tās elementus var uzdod kopu: G={a,b,c,d.}
Kopu attēlojums:
• Par kopu attēlojumu no kopas A uz kopu B sauc atbilstības likuma funkciju, pēc kuras kopas A visiem elementiem a var piekārto zināmus kopas B elementus. Šos elementus sauc par elementa a attēlu attēlojumā f. Attēls f(a) var būt gan tukš, gan arī saturēt jebkuru skaitu kopas B elementu.
…