- Sur www.coursera.org
Logic: Language and Information 1
Vous ne pouvez pas accéder à un cours au statut archivé.
- À son rythme
- Accès libre
- Certificat payant
- 5 séquences
- Niveau Introductif
Détails du cours
Déroulé
Week 1. The 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):
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
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.
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.
Ce contenu est noté 4.6667 sur 5
(aucun avis)Ce contenu est noté 4.6667 sur 5
(aucun avis)Complétez cette ressource pour donner votre avis