Главная особенность Олимпиады по дискретной математике и теоретической информатике в том, что её участники знакомятся с такими важными понятиями теоретической информатики как графы, конечные автоматы, алгоритмы, логические схемы и логические исчисления, формальные языки и др. через общение с имитационными моделями этих понятий. В данном занятии читатели познакомятся с регулярными выражениями, графами, конечными автоматами (в том числе с машиной Тьюринга), логическими схемами и такой сферой приложения логики, как «мир Тарского». С. 16-23.