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.
Introduction à la logique
Offert par
Introduction à la logique
Université de Stanford
À propos de ce cours
36,959 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%
ont commencé une nouvelle carrière après avoir terminé ce cours
40%
ont bénéficié d'un avantage concret dans leur carrières grâce à ce cours
Meilleurs avis 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!
excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online
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.