list 8 sequencias
assignment Nível: Introdutório
chat_bubble_outline Idioma: Inglês
card_giftcard 384 pontos
Logo My Mooc Business

Eles escolhem Edflex para desenvolver suas habilidades na empresa.

Saiba mais
Avaliações
-
starstarstarstarstar

Informações principais

credit_card Free accesso
verified_user Certificado gratuito
timer 48 total de horas

Sobre o conteúdo

This is an introduction to predicate logic and how it is applied in computer science, electronic engineering, linguistics, mathematics and philosophy. Building on your knowledge of propositional logic, you will learn predicate 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 Predicate LogicTranslations using quantifiers

Week 2Models for Predicate Logic; Classifying propositions and argumentsFinite and Infinite Domains

Week 3Tree Proofs for Predicate LogicSoundness and Completeness

Week 4. Identity; Functions; Counting 

Weeks 5–8. Applications to different reasoning domains (take at least three):
  • Electronic Engineering — simplifying digital circuits with timing
  • Philosophy — definite descriptions and existence
  • Computer Science — databases, resolution and Prolog
  • Linguistics — quantificational scope
  • Mathematics — limits, continuity and quantifier alternation
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

Você é o criador deste MOOC?
Qual a sua apinião sobre esse recurso?
Conteúdo
5/5
Platforma
5/5
Didática
5/5