Semantics of First-Order Logic
About this course
First-order logic is a restricted, formalized language which is particularly suited to the precise expression of ideas. The language has uses in many disciplines including computer science, mathematics, linguistics and artificial intelligence. We will describe how to write sentences in the language, how to determine when a sentence is true in a particular situation, how to recognize important relationships between sentences, and describe some limitations of the language.
75/100
CourseAsk score
- What the provider tells you
- 24/45
- Who stands behind it
- 35/35
- How complete the listing is
- 16/20
Scores how much the provider publishes and who stands behind it — not how well it is taught.
What you'll learn
- construct sentences in first-order logic
- evaluate the truth of statements in specific scenarios
- identify relationships between different logical statements
- recognize the limitations of first-order logic
Price shown by edX — confirm on their site.
Enroll on edXYou'll be redirected to edX to complete enrollment.
- Listed & compared by CourseAsk
- English · 0
Coursera
Udemy
edX
Compared on these lists
Where this course ranks against the alternatives.