The aim of logic in computer scienc

The aim of logic in computer science is to develop languages to model the
situations we encounter as computer science professionals, in such a way
that we can reason ab out them formally. Reasoning about situations means
constructing arguments ab out them; we want to do this formally, so that
the arguments are valid and can be defended rigorously, or executed on a
machine.

Kết quả (Việt) 1:

Mục đích của logic khoa học máy tính là phát triển ngôn ngữ để mô hình ngườinhững tình huống mà chúng tôi gặp phải là chuyên gia khoa học máy tính, như vậyrằng chúng ta có thể lý do ab ra họ chính thức. Lý luận về tình huống này có nghĩa làxây dựng các đối số ab ra họ; chúng tôi muốn làm điều này chính thức, do đócác đối số hợp lệ và có thể được bảo vệ một cach nghiêm tuc, hoặc thực hiện trên mộtmáy.

Kết quả (Việt) 2:

Mục đích của logic trong khoa học máy tính là để phát triển ngôn ngữ để mô hình
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 về các tình huống 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.