Volver a Introduction to Logic

4.5

453 calificaciones

•

97 revisiones

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

por MO

•Sep 10, 2017

I think the course makes a great job introducing you to a different mindset, the one that can help you through any kind of inference and mathematical thinking. It makes your brain work.

por JS

•Aug 21, 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!

Filtrar por:

92 revisiones

por Andrey Koshkin

•Oct 04, 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."

por Jaewoo Song

•Aug 21, 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!

por Eugenio Luciano

•Aug 20, 2018

I have found it not extremely clear in the latter part of the course, perhaps more examples would help. Most of the section 1 to 9 (from propositional logic to relational logic and Herbrand logic) are quite clear and straight-forward. An historical background of who, when and why theories and computing methodologies were elaborated would certainly increase interest.

por Alex Wu

•Aug 18, 2018

A pain if completing this course when the session not started yet. Without forum talking about solutions to exercise, usually in some exercises you could only stare at the screen for several hours, fell in deep despair, and eventually came up an answer by luck. Not a good experience, but the material is good though, if not considering the difficutly of understanding the text in the later lessons

por Robert Schmitt

•Jul 10, 2018

Good review for those who have studied quantified logic at any level. The Fitch system is fun and easy to use - especially where it automatically cites the inference rules for you. Having done many informal inductive proofs, I found the extension of first-order logic to include induction particularly interesting - if intensely tedious in application.

por Abd El Rahman Samaha Rashed

•Jul 02, 2018

i loved every second of it , i'm at week 2 right now

por SANDEEP NAAGAR

•Jun 14, 2018

you will learn how to think like a mathematician

por 李宁

•Jun 09, 2018

Good structure. Helped a lot with my university unit. It would be great if we can get sample solutions for our exercises.

por Liam O'Dea-Jones

•May 29, 2018

It is literally a book. Transcripted into an online 'course'.

por Paweł Perończyk

•May 25, 2018

Very very good course

Coursera brinda acceso universal a la mejor educación del mundo, al asociarse con las mejores universidades y organizaciones, para ofrecer cursos en línea.