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.
от партнера
Введение в логику
Стэнфордский университет
Об этом курсе
Недавно просмотрено: 76,602
Learner Career Outcomes
50%
начал новую карьеру, пройдя эти курсы
40%
получил значимые преимущества в карьере благодаря этому курсу
Приобретаемые навыки
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Learner Career Outcomes
50%
начал новую карьеру, пройдя эти курсы
40%
получил значимые преимущества в карьере благодаря этому курсу
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Промежуточный уровень
Прибл. 22 часа на выполнение
Предполагаемая нагрузка: 10 weeks of study, 4-8 hours/week
Английский
Субтитры: Арабский, Китайский (упрощенное письмо), Греческий, Португальский (бразильский), Африкаанс, Немецкий, Турецкий, Английский, Испанский, Польский
Программа курса: что вы изучите
2 ч. на завершение
Lesson 1 - Introduction
2 ч. на завершение
13 тестов
4 ч. на завершение
Lesson 2 - Propositional Logic
4 ч. на завершение
1 видео ((всего 3 мин.)), 14 тестов
1 видео
The Big Game3мин
5 ч. на завершение
Lesson 3 - Propositional Analysis
5 ч. на завершение
14 тестов
7 ч. на завершение
Lesson 4 - Propositional Proofs
7 ч. на завершение
20 тестов
2 ч. на завершение
Lesson 5 - Propositional Resolution
2 ч. на завершение
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!
excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online
Преподаватели
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. Просто ознакомиться с содержанием курса можно бесплатно.
Какие правила возврата средств?
Можно ли получить финансовую помощь?
Остались вопросы? Посетите Центр поддержки учащихся.