Logic: Language and Information 2

Course
en
English
48 h
This content is rated 4.5 out of 5
Source
  • From www.coursera.org
Conditions
  • Self-paced
  • Free Access
  • Free certificate
More info
  • 8 Sequences
  • Introductive Level

Their employees are learning daily with Edflex

  • Safran
  • Air France
  • TotalEnergies
  • Generali
Learn more

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):
  • 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.

Get certified in

‌
Complete this resource to write a review