Logic: Language and Information 2

Name: Logic: Language and Information 2
Rating: NaN (0 reviews)
Author: The University of Melbourne

Cours

Anglais

48 h

Source

Sur www.coursera.org

Conditions

À son rythme
Accès libre
Certificat gratuit

Plus d'informations

8 séquences
Niveau Introductif

Their employees are learning daily with

Découvrir Edflex

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):

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.

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.

(aucun avis)

Complétez cette ressource pour donner votre avis