Logic: Language and Information 2

48 h
This content is rated 0 out of 5
  • From www.coursera.org
  • Self-paced
  • Free Access
  • Бесплатный сертификат
More info
  • 8 Sequences
  • Introductive Level

Their employees are learning daily with Edflex

  • Safran
  • Air France
  • TotalEnergies
  • Generali
Learn more

Course details


Week 1The Syntax of Predicate LogicTranslations using quantifiers

Week 2Models for Predicate Logic; Classifying propositions and argumentsFinite and Infinite Domains

Week 3Tree Proofs for Predicate LogicSoundness 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




  • - Historical and Philosophical Studies
  • Jen Davoren - Department of Electrical & Electronic Engineering


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.


Coursera - это цифровая компания, предлагающая массовые открытые онлайн-курсы, основанные учителями компьютеров Эндрю Нгом и Стэнфордским университетом Дафни Коллер, расположенные в Маунтин-Вью, штат Калифорния.

Coursera работает с ведущими университетами и организациями, чтобы сделать некоторые из своих курсов доступными в Интернете, и предлагает курсы по многим предметам, включая: физику, инженерию, гуманитарные науки, медицину, биологию, социальные науки, математику, бизнес, информатику, цифровой маркетинг, науку о данных и другие предметы.

This content is rated 4.5 out of 5
(no review)

What did you think of this course?

Complete this resource to write a review