Informações principais
Sobre o conteúdo
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.
Programa de estudos
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
Instrutores
- - Historical and Philosophical Studies
- Jen Davoren - Department of Electrical & Electronic Engineering
Criador do conteúdo

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