Diskmatt terminid
hulki ringjoontena, mille sees võivad näidatud olla ka hulgaelemendid
Võimsus: lõpliku hulga võimsus on elementide arv selles hulgas
Arvusüsteemid
Arvusüsteemi alus: järguväärtuste arv
Järgu kaal: arvujärgu väärtus, saadakse alust arvujärgu indeksiga astendades
Olulised järgud: intervalli olulised järgud on tema vektorite need 2ndjärgud, mille väärtus on
kõigil vektoritel kogu intervalli ulatuses konstantne
Tüvenumbrid: numbrid kõrgeimast mittenullilisest numbrist madalaima mittenullilise
numbrini
Loogikaalgebra
Loogikaalgebra: Boole'i algebra lihtsaim erijuht, kus alushulgaks on {0;1}
Loogikamuutuja: muutuja, mis saab omandada ainult väärtusi 0 või 1
Loogikafunktsioonid
Algterm: avaldise koosseisu kuuluv loogikamuutuja, selle inversioon või konstant 1 või
konstant 0
Argumentvektor: loogikamuutujate komplekt, mis esitab funktsiooni igale üksikule
muutujale omistatavat väärtust 1 või 0. Muutujate väärtustamisel omandab ka
annaabi.ee 
