link Source: www.coursera.org
list 5 sequences
assignment Level : Introductory
chat_bubble_outline Language : English
card_giftcard 240 points
Users' reviews
4.7
starstarstarstar
2 reviews

Key Information

credit_card Free access
verified_user Fee-based Certificate
timer 30 hours in total

About the content

This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

more_horiz Read more
more_horiz Read less
dns

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
record_voice_over

Instructors

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

Content Designer

The University of Melbourne
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.
assistant

Platform

Coursera

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.

Reviews
4.7 /5 Average
starstarstarstarstar
2
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
Content
5/5
Platform
4.3/5
Animation
4.8/5
Best Review

I found it very useful

Published on March 8, 2016
You are the designer of this MOOC?
What is your opinion on this resource ?
Content
5/5
Platform
5/5
Animation
5/5
April 20, 2020
starstarstarstarstar

Found it useful

March 8, 2016
starstarstarstarstar

I found it very useful