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.
177 778 уже зарегистрированы
от партнера
Введение в логику
Стэнфордский университетОб этом курсе
Недавно просмотрено: 35 745
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Средний уровень
Прибл. 54 часа на выполнение
Английский
Субтитры: Арабский, Французский, Португальский (Европа), Китайский (упрощенное письмо), Греческий, Итальянский, Португальский (бразильский), Вьетнамский, Африкаанс, Немецкий, Русский, Турецкий, Английский, Испанский, Польский
Приобретаемые навыки
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Средний уровень
Прибл. 54 часа на выполнение
Английский
Субтитры: Арабский, Французский, Португальский (Европа), Китайский (упрощенное письмо), Греческий, Итальянский, Португальский (бразильский), Вьетнамский, Африкаанс, Немецкий, Русский, Турецкий, Английский, Испанский, Польский
от партнера
Стэнфордский университет
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.
Программа курса: что вы изучите
2 ч. на завершение
Lesson 1 - Introduction
2 ч. на завершение
4 ч. на завершение
Lesson 2 - Propositional Logic
4 ч. на завершение
1 видео ((всего 3 мин.))
5 ч. на завершение
Lesson 3 - Propositional Analysis
5 ч. на завершение
7 ч. на завершение
Lesson 4 - Propositional Proofs
7 ч. на завершение
2 ч. на завершение
Lesson 5 - Propositional Resolution
2 ч. на завершение
1 видео ((всего 4 мин.))
Рецензии
Лучшие отзывы о курсе ВВЕДЕНИЕ В ЛОГИКУ
от партнера YD15 июня 2017 г.
Somehow difficult in the last several weeks. As almost all the materials are all in words, students may sometimes feel bored seeing all lines and complex tables.
от партнера CA10 сент. 2017 г.
Very interesting course But some parts are not just to technical but rather for technicians and not for persons looking more into the theoretical aspects
от партнера SO23 апр. 2019 г.
I feel like some things could have been explained better, maybe a better description of how the fitch tool worked. Other than that, it was a great course!
от партнера SC30 апр. 2018 г.
Pros: 1.good contents\n\n2.good exercises and interesting puzzles\n\n3.good examples\n\nCons:\n\n1.No video\n\n2. need more examples
Часто задаваемые вопросы
Когда я получу доступ к лекциям и заданиям?
Что я получу, оплатив сертификацию?
Можно ли получить финансовую помощь?
Остались вопросы? Посетите Центр поддержки учащихся.
