This lesson is an overview of Logic

This lesson is an overview of Logic as presented in this course. We start with a discussion of possible worlds and illustrate the notion in an application area known as Sorority World. We then give an informal introduction to the key elements of Logic - logical sentences, logical entailment, and logical proofs. We talk about the value of using a formal language for expressing logical information instead of natural language. Finally, we discuss the automation of logical reasoning and some of the computer applications that this makes possible.

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

Bài học này là một tổng quan về Logic như trình bày trong khóa học này. Chúng tôi bắt đầu với một cuộc thảo luận của thế giới có thể và minh hoạ các khái niệm trong một khu vực ứng dụng được gọi là thế giới Sorority. Sau đó chúng tôi cung cấp cho giới thiệu chính thức về các yếu tố chủ chốt của Logic - câu hợp lý, hợp lý entailment và chứng minh hợp lý. Chúng tôi nói về giá trị của việc sử dụng một ngôn ngữ chính thức để thể hiện các thông tin hợp lý thay vì ngôn ngữ tự nhiên. Cuối cùng, chúng tôi thảo luận về tự động hóa các lý do hợp lý và một số các ứng dụng máy tính này làm cho có thể.

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

Bài học này là một cái nhìn tổng quan của Logic như đã trình bày trong khóa học này. Chúng tôi bắt đầu với một cuộc thảo luận của thế giới có thể và minh họa các khái niệm trong lĩnh vực ứng dụng được gọi là Sorority Thế giới. Sau đó chúng tôi đưa ra một giới thiệu chính thức để các yếu tố chính của Logic - câu logic, entailment hợp lý, và chứng minh logic. Chúng tôi nói về giá trị của việc sử dụng một ngôn ngữ chính thức để thể hiện thông tin hợp lý thay vì ngôn ngữ tự nhiên. Cuối cùng, chúng tôi thảo luận về tự động hóa của các suy luận logic và một số các ứng dụng máy tính này làm cho có thể.

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

Ben là một lớp overview of logic, trong khóa học này.Chúng ta có thể thảo luận từ một thế giới trong lĩnh vực ứng dụng và giải thích được gọi là thế giới của Hội quán.Chúng tôi đề nghị không chính thức giới thiệu logic lý câu, logic gồm yếu tố chứng minh logic và chìa khóa.Chúng ta đang nói về một ngôn ngữ chính thức được sử dụng để bày tỏ sự logic thông tin, chứ không phải ngôn ngữ tự nhiên có giá trị.Cuối cùng, chúng ta đã thảo luận về lý luận và một số ứng dụng máy tính, điều đó làm cho có thể tự động hóa.