Логика была создана Аристотелем, как наука, описывающая методы мышления. С развитием математических наук появилась возможность и потребность математизировать логику. Особенно это важной эта задача стала с появлением электронных вычислительных машин, которые сейчас принято называть компьютерами. Ссылка на курс: http://www.intuit.ru/department/mathematics/mathlogic/
|