; Матэматычная логіка : тэорыя алгарытмаў, вылічэнне выказванняў і прэдыкатаў, тэорыя паралельных вылічэнняў, тэорыя аўтаматаў, тэорыя сетак Петры, верыфікацыя, Булева логіка, сродкі лагічнага праграмавання і падання ведаў.