Думаю, що ви не раз зустрічалися з поняттям логіки, зокрема математичної. Логіка – наука про умови. Без володіння логікою не можливо вирішити жодну задачу з математики, та й у повсякденному житті ми не раз користувалися різними видами логіки. Для програмістів математична логіка це така собі “зброя”, без якої жоден програміст не зміг би створити жодної програми.