Indeks A | B | C | D | E | F | G | I | J | K | L | M | N | O | P | R | S | T | U | W | Z | Ł A alfabet alternatywa składnik antyłańcuch automat skończony alfabet wejściowy deterministyczny funkcja przejścia język rozpoznawany konstrukcja podzbiorowa niedeterministyczny stan stan końcowy stan początkowy słowo akceptowane B bijekcja C ciąg rekurencyjny cykl rozłączny D DFA diagram Hassego drzewo liść wierzchołek wewnętrzny dzielna dzielnik, [1] E element porównywalny element maksymalny element minimalny element najmniejszy element największy F forma zdaniowa, [1] spełniona wykres, [1] zakres zmienności, [1] funkcja Eulera funkcja licząca liczby pierwsze funkcja tworząca, [1] funkcja zdaniowa, [1] funktor zdaniotwórczy G graf acykliczny cykl cykl $C_n$ cykl prosty droga droga prosta dwudzielny dwudzielny; pełny długość drogi Eulera Eulera; cykl Eulera; droga gwiazda Hamiltona Hamiltona; cykl incydencja krawędź krawędź wielokrotna Kuratowskiego liniowy liść Petersena, [1] pełny pętla planarny podgraf prosty pusty płaski płaski ściana regularny składowa spójny stopień wierzchołka sześcianu wierzchołek wierzchołek izolowany wierzchołki sąsiednie graf koła I iloraz implikacja następnik odwrotna poprzednik prosta indeksowana rodzina podzbiorów inwersja J język domknięcie Kleenego konkatenacja regularny K klasa abstrakcji reprezentant kolorowanie grafu kombinacja koniunkcja czynnik kres dolny kres górny kwantyfikator egzystencjalny kwantyfikator ogólny L las liczba Catalana liczba chromatyczna liczba pierwsza liczba złożona liczby przystające modulo liczby względnie pierwsze M maszyna Turinga alfabet taśmowy konfiguracja multigraf N najmniejsza wspólna wielokrotność największy wspólny dzielnik negacja NFA O ograniczenie dolne ograniczenie górne orbita P para uporządkowana permutacja, [1] nieparzysta odwrotna parzysta znak złożenie podział zbioru podzielność porządek częściowy postać kanoniczna liczby postać normalna alternatywno-koniunkcyjna prawo rachunku kwantyfikatorów prawo rachunku zdań problem chińskiego listonosza R relacja antysymetryczna mniejszości pełna podzielności przechodnia pusta symetryczna w zbiorze zwrotna relacja równoważności reszta równanie rekurencyjne równoważność S skoczek szachowy trasa skojarzenie nasycające pełne splot ciągów słowo puste zbiór wszystkich słów ścieżka T tautologia teza Churcha-Turinga transpozycja trójkąt Pascala twierdzenie teza założenie U układ uporządkowany uogólniony współczynnik dwumianowy W wariacja bez powtórzeń z powtórzeniami warunek dostateczny koniczny wystarczający warunek Halla wielokrotność współczynnik dwumianowy wyrażenie regularne definiowany język Z zbiór część wspólna dopełnienie element identyczny iloczyn iloczyn kartezjański należenie podzbiór podzbiór właściwy potęgowy produkt przecięcie przestrzeń pusty równy różnica suma uniwersum uogólniona suma uogólniony iloczyn zawieranie zbiór częściowo uporządkowany zbiór ilorazowy zdanie logiczne równoważne Ł łańcuch