- From www.coursera.org
Logic: Language and Information 2
Course
en
English
48 h
This content is rated 0 out of 5
- Self-paced
- Free Access
- Free certificate
- 8 Sequences
- Introductive Level
Course details
Syllabus
Week 1. The Syntax of Predicate Logic; Translations using quantifiers
Week 2. Models for Predicate Logic; Classifying propositions and arguments; Finite and Infinite Domains
Week 3. Tree Proofs for Predicate Logic; Soundness and Completeness
Week 4. Identity; Functions; Counting
Weeks 5–8. Applications to different reasoning domains (take at least three):
Week 2. Models for Predicate Logic; Classifying propositions and arguments; Finite and Infinite Domains
Week 3. Tree Proofs for Predicate Logic; Soundness and Completeness
Week 4. Identity; Functions; Counting
Weeks 5–8. Applications to different reasoning domains (take at least three):
- Electronic Engineering — simplifying digital circuits with timing
- Philosophy — definite descriptions and existence
- Computer Science — databases, resolution and Prolog
- Linguistics — quantificational scope
- Mathematics — limits, continuity and quantifier alternation
Prerequisite
None.
Instructors
- - Historical and Philosophical Studies
- Jen Davoren - Department of Electrical & Electronic Engineering
Editor
The University of Melbourne is an internationally recognised research intensive University with a strong tradition of excellence in teaching, research, and community engagement. Established in 1853, it is Australia's second oldest University.
Platform
Coursera is a digital company offering massive open online course founded by computer teachers Andrew Ng and Daphne Koller Stanford University, located in Mountain View, California.
Coursera works with top universities and organizations to make some of their courses available online, and offers courses in many subjects, including: physics, engineering, humanities, medicine, biology, social sciences, mathematics, business, computer science, digital marketing, data science, and other subjects.
This content is rated 4.5 out of 5
(no review)This content is rated 4.5 out of 5
(no review)Complete this resource to write a review