This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
proposé par
Université de Stanford
À propos de ce cours
67,443 consultations récentes
Compétences que vous acquerrez
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Programme du cours : ce que vous apprendrez dans ce cours
Semaine
12 heures pour terminer
Lesson 1 - Introduction
13 quiz
Semaine
24 heures pour terminer
Lesson 2 - Propositional Logic
1 vidéo (Total 3 min), 14 quiz
1 vidéo
The Big Game3 min
5 heures pour terminer
Lesson 3 - Propositional Analysis
14 quiz
Semaine
37 heures pour terminer
Lesson 4 - Propositional Proofs
20 quiz
Semaine
42 heures pour terminer
Lesson 5 - Propositional Resolution
1 vidéo (Total 4 min), 8 quiz
1 vidéo
4.5
109 avis50%
a commencé une nouvelle carrière après avoir terminé ces cours
40%
a bénéficié d'un avantage concret dans sa carrière grâce à ce cours
Principaux examens pour Introduction à la logique
This course was so helpful. I think I now understand the fundamentals of mathematical logic. I truly recommend this course to anyone who is interested in studying logic!
Pros:\n\n1.good contents\n\n2.good exercises and interesting puzzles\n\n3.good examples\n\nCons:\n\n1.No video\n\n2. need more examples
Enseignant
Michael Genesereth
Associate ProfessorComputer Science Department
À propos de Université de Stanford
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States.
Foire Aux Questions
Quand aurai-je accès aux vidéos de cours et aux devoirs ?
Une fois que vous êtes inscrit(e) pour un Certificat, vous pouvez accéder à toutes les vidéos de cours, et à tous les quiz et exercices de programmation (le cas échéant). Vous pouvez soumettre des devoirs à examiner par vos pairs et en examiner vous-même uniquement après le début de votre session. Si vous préférez explorer le cours sans l'acheter, vous ne serez peut-être pas en mesure d'accéder à certains devoirs.
À quoi ai-je droit si j'achète le Certificat ?
Lorsque vous achetez un Certificat, vous bénéficiez d'un accès à tout le contenu du cours, y compris les devoirs notés. Lorsque vous avez terminé et réussi le cours, votre Certificat électronique est ajouté à votre page Accomplissements. À partir de cette page, vous pouvez imprimer votre Certificat ou l'ajouter à votre profil LinkedIn. Si vous souhaitez seulement lire et visualiser le contenu du cours, vous pouvez accéder gratuitement au cours en tant qu'auditeur libre.
Quelle est la politique de remboursement ?
Une aide financière est-elle possible ?
D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.
Coursera propose un accès universel à la meilleure formation au monde,
en partenariat avec des universités et des organisations du plus haut niveau, pour proposer des cours en ligne.
© 2019 Coursera Inc. Tous droits réservés.
