- Sur www.coursera.org
Logic: Language and Information 2
Cours
en
Anglais
48 h
Ce contenu est noté 0 sur 5
![](https://cdn.edflex.com/media/cache/conceptor_200x100/conceptor/logo/87fe58c984ac00722002f6f590a8febbfe50c1cd.png)
- À son rythme
- Accès libre
- Certificat gratuit
- 8 séquences
- Niveau Introductif
Détails du cours
Déroulé
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érequis
Aucun.
Intervenants
- - Historical and Philosophical Studies
- Jen Davoren - Department of Electrical & Electronic Engineering
Éditeur
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.
![](https://cdn.edflex.com/media/cache/conceptor_200x100/conceptor/logo/87fe58c984ac00722002f6f590a8febbfe50c1cd.png)
Plateforme
Coursera est une entreprise numérique proposant des formations en ligne ouverte à tous fondée par les professeurs d'informatique Andrew Ng et Daphne Koller de l'université Stanford, située à Mountain View, Californie.
Ce qui la différencie le plus des autres plateformes MOOC, c'est qu'elle travaille qu'avec les meilleures universités et organisations mondiales et diffuse leurs contenus sur le web.
![](https://cdn.edflex.com/media/cache/conceptor_200x100/conceptor/logo/43fe7785dc4604070a5d6838e3200cdd2695597a.png)
Complétez cette ressource pour donner votre avis