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 de ce cours
81 024 consultations récentes
Résultats de carrière des étudiants
50%
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
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
Résultats de carrière des étudiants
50%
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
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 JS20 août 2018
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!
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!
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 ?
Is financial aid available?
D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.
