Logic: Language and Information 1

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

Archived

Curso

Inglês

30 h

(2 reviews2)

You can't access an archived course

Fonte

De www.coursera.org

CONDIÇÕES

Individualizado
Acesso livre
Certificado pago

Mais informações

5 sequências
Introductive Level

You can't access an archived course

Their employees are learning daily with

Saiba mais

Detalhes do curso

Programa de Estudos

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

Pré-requisito

Nenhum.

Instrutores

- 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.

Plataforma

A Coursera é uma empresa digital que oferece um curso on-line massivo e aberto, fundado pelos professores de computação Andrew Ng e Daphne Koller Stanford University, localizado em Mountain View, Califórnia.

O Coursera trabalha com as melhores universidades e organizações para disponibilizar alguns dos seus cursos on-line e oferece cursos em várias disciplinas, incluindo: física, engenharia, humanidades, medicina, biologia, ciências sociais, matemática, negócios, ciência da computação, marketing digital, ciência de dados. e outros assuntos.Cours