Ապարատային հսկում, ըստ մոդուլի հսկման մաթեմատիկական հիմնավորումը, մասնավոր դեպքերը, իրականացումները:

Թվային և թվանշանային հսկումներ, հսկման կոդի ձևավորման եղանակները և նրանց իրականացումը

Հսկող և արատորոշող թեստեր: Տրամաբանական սխեմաների թեստերի գեներացման մեթոդները: Թեստերի մինիմացման մեթոդները