Знакомство с основными понятиями таких разделов как булевы функции, логика предикатов, графы, конечные автоматы и алгоритмы и с методами решения ряда типовых задач. Решение большинства этих задач доведено до уровня алгоритмических процедур.