逻辑与计算机科学之间有什么联系