Logic: Language and Information 1

Accéder au cours

Source : www.coursera.org

5 séquences

Niveau : Introductif

Fondements des mathématiques

Langue : Anglais

240 points

Avis de la communauté

4.7

2 avis

Les infos clés

Formation gratuite

Certification payante

30 heures de cours

En résumé

This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

Lire plus

Lire moins

Laisser un avis

Le programme

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

Electronic Engineering — simplifying digital circuits
Philosophy — vagueness and borderline cases
Computer Science — databases, resolution and propositional Prolog
Linguistics — meaning: implication vs implicature

Les intervenants

Retour haut de page

- Historical and Philosophical Studies
Jen Davoren - Department of Electrical & Electronic Engineering

Le concepteur

Retour haut de page

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.

La plateforme

Retour haut de page

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.

Avis de la communauté

4.7 /5 Moyenne