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.
Introduction to Logic
от партнера
Stanford University
Об этом курсе
4.5
Оценки: 453
Приобретаемые навыки
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Программа курса: что вы изучите
Неделя
1Lesson 1 - Introduction
13 тестов
Неделя
2Lesson 2 - Propositional Logic
1 видео ((всего 3 мин.)), 14 тестов
1 видео
The Big Game3мин
Lesson 3 - Propositional Analysis
14 тестов
Неделя
3Lesson 4 - Propositional Proofs
20 тестов
Неделя
4Lesson 5 - Propositional Resolution
1 видео ((всего 4 мин.)), 8 тестов
1 видео
4.5
Рецензии: 97Лучшие рецензии
автор: MO•Sep 10th 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.
автор: JS•Aug 21st 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!
Преподаватель
Michael Genesereth
Associate ProfessorComputer Science Department
О Stanford University
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., 2018 Все права защищены.
