Chevron Left
Вернуться к Введение в логику

Введение в логику, Стэнфордский университет

4.5
Оценки: 471
Рецензии: 102

Об этом курсе

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

Лучшие рецензии

автор: 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!

автор: SC

May 01, 2018

Pros:\n\n1.good contents\n\n2.good exercises and interesting puzzles\n\n3.good examples\n\nCons:\n\n1.No video\n\n2. need more examples

Фильтр по:

Рецензии: 96

автор: Pavel Kukushkin

Mar 24, 2019

After the chapter 7 explanations may appear rather vague, that hampers understanding

автор: joao dionisio

Feb 23, 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.

автор: Rado

Jan 28, 2019

Excellent introduction to logic. The exercises really help with the understanding.

автор: Kit Ho Mak

Jan 26, 2019

The course is great, but the grading system is always broken.

автор: Wenchen Li

Jan 24, 2019

no video, only external link

автор: 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."

автор: 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!

автор: 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.

автор: 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

автор: 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.