Курс предназначен для знакомства будущих специалистов по информационным технологиям с основами науки о научном мышлении.

Логика была создана Аристотелем, как наука, описывающая методы мышления. С развитием математических наук появилась возможность и потребность математизировать логику. Особенно важной эта задача стала с появлением электронных вычислительных машин, которые сейчас принято называть компьютерами.