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.
177 778 déjà inscrits
Offert par
Introduction à la logique
Université de StanfordÀ propos de ce cours
35 745 consultations récentes
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Niveau intermédiaire
Approx. 54 heures pour terminer
Anglais
Sous-titres : Arabe, Français, Portugais (européen), Chinois (simplifié), Grec, Italien, Portugais (brésilien), Vietnamien, Afrikaans, Allemand, Russe, Turc, Anglais, Espagnol, Polonais
Compétences que vous acquerrez
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Niveau intermédiaire
Approx. 54 heures pour terminer
Anglais
Sous-titres : Arabe, Français, Portugais (européen), Chinois (simplifié), Grec, Italien, Portugais (brésilien), Vietnamien, Afrikaans, Allemand, Russe, Turc, Anglais, Espagnol, Polonais
Offert par
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.
Programme du cours : ce que vous apprendrez dans ce cours
2 heures pour terminer
Lesson 1 - Introduction
2 heures pour terminer
4 heures pour terminer
Lesson 2 - Propositional Logic
4 heures pour terminer
1 vidéo (Total 3 min)
5 heures pour terminer
Lesson 3 - Propositional Analysis
5 heures pour terminer
7 heures pour terminer
Lesson 4 - Propositional Proofs
7 heures pour terminer
2 heures pour terminer
Lesson 5 - Propositional Resolution
2 heures pour terminer
1 vidéo (Total 4 min)
Avis
Meilleurs avis pour INTRODUCTION À LA LOGIQUE
par YD15 juin 2017
Somehow difficult in the last several weeks. As almost all the materials are all in words, students may sometimes feel bored seeing all lines and complex tables.
par CA10 sept. 2017
Very interesting course But some parts are not just to technical but rather for technicians and not for persons looking more into the theoretical aspects
par SO23 avr. 2019
I feel like some things could have been explained better, maybe a better description of how the fitch tool worked. Other than that, it was a great course!
par SC30 avr. 2018
Pros: 1.good contents\n\n2.good exercises and interesting puzzles\n\n3.good examples\n\nCons:\n\n1.No video\n\n2. need more examples
Foire Aux Questions
Quand aurai-je accès aux vidéos de cours et aux devoirs ?
À quoi ai-je droit si j'achète le Certificat ?
Une aide financière est-elle possible ?
D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.
