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.
Введение в логику
от партнера
Введение в логику
Об этом курсе
Карьерные результаты учащихся
50%
40%
Приобретаемые навыки
Карьерные результаты учащихся
50%
40%
100% онлайн
Гибкие сроки
Промежуточный уровень
Прибл. 23 часа на выполнение
Английский
Программа курса: что вы изучите
Lesson 1 - Introduction
Lesson 2 - Propositional Logic
Lesson 3 - Propositional Analysis
Lesson 4 - Propositional Proofs
Lesson 5 - Propositional Resolution
Лучшие отзывы о курсе Введение в логику
excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online
requires a lot of patience but overall very interesting and fun. The forums are very useful as are the mentors
О Стэнфордский университет
Часто задаваемые вопросы
Когда я получу доступ к лекциям и заданиям?
Зарегистрировавшись на сертификацию, вы получите доступ ко всем видео, тестам и заданиям по программированию (если они предусмотрены). Задания по взаимной оценке сокурсниками можно сдавать и проверять только после начала сессии. Если вы проходите курс без оплаты, некоторые задания могут быть недоступны.
Что я получу, оплатив сертификацию?
Оплатив сертификацию, вы получите доступ ко всем материалам курса, включая оцениваемые задания. После успешного прохождения курса на странице ваших достижений появится электронный сертификат. Оттуда его можно распечатать или прикрепить к профилю LinkedIn. Просто ознакомиться с содержанием курса можно бесплатно.
Какие правила возврата средств?
Можно ли получить финансовую помощь?
Остались вопросы? Посетите Центр поддержки учащихся.




