Logic: Language and Information 1

Archived
МООК
en
Английский
30 h
This content is rated 4.6667 out of 5

You can't access an archived course

Source
  • From www.coursera.org
Conditions
  • Self-paced
  • Free Access
  • Fee-based Certificate
More info
  • 5 Sequences
  • Introductive Level

You can't access an archived course

Their employees are learning daily with Edflex

  • Safran
  • Air France
  • TotalEnergies
  • Generali
Learn more

Course details

Syllabus

Week 1The Syntax of Propositional Logic; Truth Tables; Classifying Propositions

Week 2. Relationships between Propositions; Tree Proofs; Soundness and Completeness

Weeks 3–5. Applications to different reasoning domains (take at least two):
  • Electronic Engineering — simplifying digital circuits
  • Philosophy — vagueness and borderline cases
  • Computer Science — databases, resolution and propositional Prolog
  • Linguistics — meaning: implication vs implicature

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

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

This content is rated 4.6667 out of 5
(no review)
This content is rated 4.6667 out of 5
(no review)
Complete this resource to write a review