Logic trong khoa học máy tính