- De www.coursera.org
Logic: Language and Information 2
Curso
en
Inglês
48 h
Este conteúdo é classificado como 4.5 de 5
- Individualizado
- Acesso livre
- Certificado gratuito
- 8 sequências
- Introductive Level
Detalhes do curso
Programa de Estudos
Week 1. The Syntax of Predicate Logic; Translations using quantifiers
Week 2. Models for Predicate Logic; Classifying propositions and arguments; Finite and Infinite Domains
Week 3. Tree Proofs for Predicate Logic; Soundness and Completeness
Week 4. Identity; Functions; Counting
Weeks 5–8. Applications to different reasoning domains (take at least three):
Week 2. Models for Predicate Logic; Classifying propositions and arguments; Finite and Infinite Domains
Week 3. Tree Proofs for Predicate Logic; Soundness 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
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
Conclua este recurso para fazer uma avaliação