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.
от партнера
Стэнфордский университет
Об этом курсе
Недавно просмотрено: 44,039
Приобретаемые навыки
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Программа курса: что вы изучите
Неделя
12 ч. на завершение
Lesson 1 - Introduction
13 тестов
Неделя
24 ч. на завершение
Lesson 2 - Propositional Logic
1 видео ((всего 3 мин.)), 14 тестов
1 видео
The Big Game3мин
5 ч. на завершение
Lesson 3 - Propositional Analysis
14 тестов
Неделя
37 ч. на завершение
Lesson 4 - Propositional Proofs
20 тестов
Неделя
42 ч. на завершение
Lesson 5 - Propositional Resolution
1 видео ((всего 4 мин.)), 8 тестов
1 видео
67%
начал новую карьеру, пройдя эти курсы
50%
получил значимые преимущества в карьере благодаря этому курсу
Лучшие отзывы о курсе Введение в логику
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.
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!
Преподаватели
Michael Genesereth
Associate ProfessorComputer Science Department
О Стэнфордский университет
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.
Часто задаваемые вопросы
Когда я получу доступ к лекциям и заданиям?
Зарегистрировавшись на сертификацию, вы получите доступ ко всем видео, тестам и заданиям по программированию (если они предусмотрены). Задания по взаимной оценке сокурсниками можно сдавать и проверять только после начала сессии. Если вы проходите курс без оплаты, некоторые задания могут быть недоступны.
Что я получу, оплатив сертификацию?
Оплатив сертификацию, вы получите доступ ко всем материалам курса, включая оцениваемые задания. После успешного прохождения курса на странице ваших достижений появится электронный сертификат. Оттуда его можно распечатать или прикрепить к профилю LinkedIn. Просто ознакомиться с содержанием курса можно бесплатно.
Какие правила возврата средств?
Можно ли получить финансовую помощь?
Остались вопросы? Посетите Центр поддержки учащихся.
Coursera делает лучшее в мире образование доступным каждому, предлагая онлайн-курсы от ведущих университетов и организаций.
© Coursera Inc., 2019 Все права защищены.
