Logic: Language and Information 1

Name: Logic: Language and Information 1
Rating: 5.0 (2 reviews)
Author: The University of Melbourne

Archived

Course

English

30 h

(2 reviews2)

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

Learn more

Course details

Syllabus

Week 1. The 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 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.