計算機科学における論理学