Mục đích của logic trong khoa học máy tính là để phát triển ngôn ngữ cho mo del các
tình huống chúng ta gặp phải như các chuyên gia khoa học máy tính, theo cách
mà chúng ta có thể lý do ab ra họ chính thức. Lý luận tình huống ab ra có nghĩa là
xây dựng luận cứ ab ra chúng; chúng tôi muốn làm điều này chính thức, vì vậy mà
các đối số có giá trị và có thể được bảo vệ một cách nghiêm ngặt, hoặc thực thi trên một
máy.
đang được dịch, vui lòng đợi..