Retour à Introduction à la logique

étoiles

613 évaluations

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....

SC

30 avr. 2018

Pros:

1.good contents

2.good exercises and interesting puzzles

3.good examples

Cons:

1.No video

2. need more examples

SM

18 janv. 2018

excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online

Filtrer par :

par James R E

•20 mars 2018

After I signed up and started the class, I was disappointed to see that there are only 2 video lectures for the entire program. After starting and going through the first week, I realized that I could just as well have checked a book out from the local library and gotten the same information. I was hoping for an instructor led course. I will look elsewhere - You Tube or EdX may have a more engaging course.

par Andrey K

•4 oct. 2018

since the Section 2.5 - Satisfaction and on it doesn`t score any passed lessons or assignements, there is always an error "Unfortunately due to an error, your score was not recorded."

par Marcin B

•6 mai 2020

First of all, I would like to sincerely thank the people who prepared and placed this course on coursera. Not too many logic courses out there.

As for the course itself, it is basically a read only course. There are numerous graded assignments that exploit web-based tools and it all works fine. The lack of video lectures may be a little intimidating, but the reading material's quality makes up for this. What bothered me slightly though, is not enough formality in definitions and stated claims. I had tendency to get lost in the meaning of numerous abstract objects such as constants, literals, constant functions, terms, relations, sentences, free and non-free variables, contingency, validity, satisfiability, soundness, completeness, compactness....

What I learned from the course:

- Lookin at logic systems as systems of manipulating strings of literals according to pre-defined semantics. We started with proposition logic, went on to relational logic and Herbrand logic.

- Formal proof system such as the Fitch system and resolution.

Some things I have hoped to learn but did not:

- How did logic evolve throughout history and how did we arrive at the picture that is seen today?

- What are the main branches of modern logic and what are - in general - logic researchers preoccupied with?

- Since logic, as it was presented, boils down to performing semantical operations on a predefined scheme of literals, isn't there a general way to formalize this? It seems there should be a general notion of language consisting of an alphabet, syntax, semantics and a set of inference rules.

- Does mathematics boil down to manipulating strings of literals according to some rules? If so, can we have many valid mathematics based on different axioms and different semantical rules? For instance, what would be the consequence of dropping the axiom of choice?

- What are the implications of Gödel incompleteness theorems for math and for science in general? Do the imply that the Riemann hypothesis could be undecidable?

To summarize, this course was an entertaining adventure, but I completed it with seemingly more questions regarding logic the prior to starting the course. But maybe that is not so bad?

par joao d

•23 févr. 2019

While I did learn a great deal with this course, I feel like it's not well made. No videos is clearly a minus, but that's just a nitpick. The biggest problem are the graded exercises. Some of the fitch exercises are ridiculously complicated until you reach the last sessions, where you can literally just write the goal you want without even reading the exercise.

par Josh M

•27 sept. 2016

While the content of this course is interesting and well-structured, the way it's presented on Coursera has major problems.

As it stands, this is not really a Coursera course; it's simply a Coursera wrapper around some links to a third-party website. All of the things that make Coursera valuable - videos with inline quizzes, ability to download content, the exam format, peer assessment - are missing. In fact, having Coursera as a wrapper actually makes it more difficult to use, because additional clicks are required to access any resource, and nothing is accessible offline. If this course is to be offered on Coursera, it needs major rework to take advantage of the platform.

This is a real shame, because there is some great content here and obviously a lot of care has been taken to structure it carefully for the original Stanford course. For that reason, recommend using the Stanford web site directly.

par Joseph D

•30 déc. 2016

The course surprised me. Initially, it seemed to be a review of very basic concepts from boolean algebra and propositional logic. But even with a strong background in math and CS I was challenged, and I learned new (and for me, applied) ideas about the underlying aspects of automated theorem provers and satisfiability provers.

par Diego A A

•24 avr. 2019

The name don't lie: this is a introduction. There're some funny examples and I recomend for those who that are beginners in Logic.

par Sean R

•22 avr. 2018

I cannot in good conscious give this course even remotely close to a good score. The information provided is "okay" at best for solving the problems. It's nothing special, but it does get the job done. Having said that, you're probably wondering why I would give this such a low score then?

The mathematical problems. The exercises are absolutely atrocious in their format, often resulting in highly un-intuitive methods needed to figure out how to submit your answers and needlessly clunky interfaces. It's absolutely unacceptable that I have to click on a different option to allow the assignment to register that I have finished my entry. Often times I'll find myself struggling simply to give an answer because the clicking process (for the Fitch system being the first example) to give the intended answer. This is exacerbated by the fact that when filling in problems. It expects EXACT answers including ensuring that you have kept the correct spacing as well with no ability to eliminate whitespace for your answers, resulting in a ton of confusion on whether you got an answer correct or incorrect based on the whims of the site itself.

Either make the problems simpler to answer, or have the answering format far less restrictive in this regard and more intuitive. I went through the first two weeks fine, but the later ones become incredibly irritating. To the point that I'm not finishing the course until these issues are fixed.

par patrick b

•20 oct. 2016

probably a very interesting course, but the way of teaching looks very indigestible... no video and no real explanation or examples.

par Ovidio M M

•18 août 2017

This is an awesome course about logic that I totally recommend because it explains very fundamental concepts.

I suggest to integrate the contents into the Coursera platform, although the external tool is easy to use also.

I would be great if you published a continuation course which may include, for instance, the covered topics in more detail, FOL in depth, second and higher order logic, logic programming.

Thank you very much for offering us this course!

par emre a

•10 avr. 2020

It is basically a series of slides. I would instead buy the book and read it. The exercises were good tough.

par Luis H C P

•14 janv. 2018

O curso de Introduction to Logic oferecido pela Stanford University é excelente! De fato ele não é um curso introdutório, vai muito além com uma abordagem completa sobre o assunto. Os exercícios são muito bons e ajudam a desenvolver habilidades analíticas. Com certeza é um curso que irei recomendar.

par Sergiu N

•9 mai 2020

It was one of the hardest coursed I've ever done on courser, after my great ambition and the great work, I managed to finish this course,there were some moments where I thinked to I'll never finish this course,I learned a lot of new things and important! Thank you to all teachers for the work!

par Jaewoo S

•21 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 Sixiang C

•1 mai 2018

Pros:

1.good contents

2.good exercises and interesting puzzles

3.good examples

Cons:

1.No video

2. need more examples

par Isaiah L

•25 juin 2021

Everything just sends you to an external website. All it is, is reading walls of text.

par Dillon C

•31 oct. 2016

Week 4 does not give enough explanation or extra resources and makes it unable to complete the exercises.

par Aaditya S

•9 janv. 2023

Goofy ahh course, will recommend 10/10

also please explain it better how to use placeholders in the Fitch Proof Checker, it took me 12 hrs to figure out that you have to use "[]" to introduce placeholders, that made me very angy

this is literally the dark souls of logic courses

overall good course, can i come to stanford now? (please OwO)

:D

par sachin m

•19 janv. 2018

excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online

par Nick R

•15 mars 2018

Section 12 wasn't very clear, but everything else was great.

par SANDEEP N

•14 juin 2018

you will learn how to think like a mathematician

par Peter H

•21 juil. 2021

I find it unacceptable that this course doesn't any communication with the owners of the course. For I can't let them know that the external website where all the information and homework is on doesn't always work of my IOS computer - Its the newest macbook air btw. Coursera support also doesn't know why it does this.

Now I paid for the course. But I can't acces any of the material for two weeks and then I can again for just one. Making it extra frustrating that I can't contact them about it.

I find this a great shame for when I can get acces to it it's great. But I can't praise a phone that some times can call and other times not.

par Austin M

•18 déc. 2021

If you go to the "platform issues" thread of this course, there are threads upon threads of users unable to submit their work spanning back years. On October 15th of 2021, I finally received a message stating a new version of the introduction to logic course (version 3) was released, however, I have been unable to find this version as have many other users. There has been an ongoing platform problem between syncing the courses of Coursera and Stanford.

par sh l

•27 avr. 2021

no video, just ppt for you

par Scott M

•15 mai 2017

Very good course. I had no previous knowledge of the topic before this course and after the first couple of weeks it gets difficult quickly, but perseverance helps. Some of the week's assignments I had to go back to at a later date. The in-course forums are invaluable and have a couple of you-tube links to some useful videos. It is surprising how much you learn and can apply to numerous other topics after completing this course. Overall it might infuriate you at some points but it is worth the occasional headache.

- Analyste de données Google
- Certificat Professionnel en marketing numérique et commerce électronique Google
- Certificat Professionnel d’automatisation informatique Google avec Python
- Google IT Support
- Gestion de projet Google
- Conception d'expérience utilisateur Google
- Préparation à la certification Google Cloud : architecte de Cloud
- Analyste de cybersécurité d'IBM
- Analyste de données d'IBM
- Ingénierie des données IBM
- Science des données IBM
- Développeur(euse) Cloud Full Stack IBM
- Apprentissage automatique IBM
- Connaître la comptabilité sur le bout des doigts
- Développeur front-end Meta
- Certification Professionnel de développeur TensorFlow DeepLearning.AI
- Certificat Professionnel de programmeur SAS
- Lancez votre carrière
- Préparez-vous pour obtenir un certificat
- Faire progresser votre carrière
- Comment identifier les erreurs de syntaxe Python
- Comment récupérer les exceptions Python
- Voir tous les tutoriels de programmation

- cours gratuits
- Cours sur l’intelligence artificielle
- Cours sur la blockchain
- Cours d’informatique
- Cursos Gratis
- Cours en cybersécurité
- Cours en analyse des données
- Cours de science des données
- Cours d’anglais
- Cours de développement Web Full Stack
- Cours Google
- Cours sur les ressources humaines
- Cours d’informatique
- Cours d’apprentissage de l’anglais
- Cours sur Microsoft Excel
- Cours en gestion de produit
- Cours en gestion de projet
- Cours sur Python
- Cours sur SQL
- Certifications Agile
- Certification CAPM
- Certification CompTIA A+
- Certifications en analyse des données
- Certifications Scrum Master
- Voir tous les cours

- Cours en ligne gratuits à terminer en une journée
- Cours appréciés gratuits
- Emplois dans le domaine commercial
- Emplois en cybersécurité
- Emplois en informatique pour débutant
- Questions pour un entretien avec un analyste de données
- Projets en analyse des données
- Comment devenir analyste de données
- Comment devenir chef de projet
- Compétences en informatique
- Questions pour un entretien avec un gestionnaire de projet
- Compétences de programmation en Python
- Forces et faiblesses lors d’un entretien
- Que fait un analyste de données ?
- Que fait un ingénieur logiciel ?
- Qu’est-ce qu’un ingénieur des données ?
- Qu’est-ce qu’un scientifique des données ?
- Qu’est-ce qu’un concepteur de produits ?
- Qu’est-ce qu’un Scrum Master ?
- Qu’est-ce qu’un UX Researcher (chercheur UX) ?
- Comment obtenir un certificat PMP
- Certifications PMI
- Certifications populaires en cybersécurité
- Certifications SQL populaires
- Lire tous les articles Coursera

- Certificats Professionnels Google
- Certificats Professionnels
- Voir tous les certificats
- Licences
- Masters
- Diplômes en informatique
- Diplômes en science des données
- MBA & diplômes commerciaux
- Diplômes en analyse des données
- Diplômes de santé publique
- Diplômes en sciences sociales
- Diplômes en gestion
- Licence en lettres ou licence en sciences
- Qu'est-ce qu'une licence ?
- 11 bonnes habitudes d’apprentissage à développer
- Comment écrire une lettre de recommandation
- 10 emplois convoités que vous pouvez obtenir avec un diplôme en commerce
- Est-ce qu’un Master en informatique est utile ?
- Voir tous les programmes diplômants
- Coursera Inde
- Coursera Royaume-Uni
- Coursera Mexique