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.
от партнера
Введение в логику
Стэнфордский университет
Об этом курсе
Недавно просмотрено: 36,169
Learner Career Outcomes
50%
начал новую карьеру, пройдя эти курсы
40%
получил значимые преимущества в карьере благодаря этому курсу
Приобретаемые навыки
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 видео
Лучшие отзывы о курсе Введение в логику
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!
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
Преподаватели
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. Просто ознакомиться с содержанием курса можно бесплатно.
Какие правила возврата средств?
Можно ли получить финансовую помощь?
Остались вопросы? Посетите Центр поддержки учащихся.