list 5 sequencias
assignment Nível: Introdutório
chat_bubble_outline Idioma: Inglês
card_giftcard 240 pontos
Avaliações
5
starstarstarstarstar
Ver avaliação

Informações principais

credit_card Free accesso
verified_user Certificado gratuito
timer 30 total de horas

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.

more_horiz Ler mais
more_horiz Ler menos
dns

Programa de estudos

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

Instrutores

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

Criador do conteúdo

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

Plataforma

Coursera

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

Avaliações
5 /5 Média
starstarstarstarstar
1
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
Conteúdo
5/5
Plataforma
5/5
Didática
5/5
Melhor avaliação

I found it very useful

Publicada em 8 de março de 2016
Você é o criador deste MOOC?
Qual a sua apinião sobre esse recurso?
Conteúdo
0/5
Platforma
0/5
Didática
0/5
em 8 de março de 2016
starstarstarstarstar

I found it very useful