Марковтік хабарлама (жадыға ие) – белгілердің арасында немесе сәйкестіктер арасындағы статистикалық байланысы бар хабарлама.
Шенондық хабарлама (жадысыз) –жеке белгінің көрінуі уақытқа байланысты өзгеру ықтималдығына ие болатын хабарламалар.
Байланыс құрылғысы – бастаудан қабылдаушыға ақпаратты жіберуі жүзеге асатын байланыс каналы мен байланыс құрылғыларының жиынтығы
Берілгендер құрылымы –біртипті берілгендер мен олардын бірыңғай сипаттамаларын біріктіретін, сонымен қатар олардың арасындағы байланысты орнататын реттеу.
Сызба – бұл базисті элементтер комбинациясы, бұлардың бір элементінің шығуы басқалардың кіруіне сәйкес келеді.
Тьюринг тезисі: кез келген алгоритм тьюрингтік функциямен берілуі мүмкін және Тьюринг машинасында жүзеге асады.
Черч тезисі: алгоритм негізінде шешілетін бөлшектік сандық функциялар класы, барлық бөлшекті рекурсивтік функциялармен сәйкес келеді.
