В книге изложены основные теоретические разделы информатики, логика предикатов, алгоритмические языки и наиболее распространённые программные продукты. В книге приведено большое количество примеров и упражнений, что даёт возможность использовать её для методической поддержки при проведении практических и лабораторных занятий.