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.
194 168 уже зарегистрированы
от партнера
Введение в логику
Стэнфордский университетОб этом курсе
Недавно просмотрено: 40 127
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Средний уровень
Прибл. 47 часов на выполнение
Английский
Приобретаемые навыки
- Relational Algebra
- Problem Solving
- Propositional Calculus
- Mathematical Logic
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Средний уровень
Прибл. 47 часов на выполнение
Английский
от партнера
Программа курса: что вы изучите
3 ч. на завершение
Unit 1 - Introduction
3 ч. на завершение
2 видео ((всего 62 мин.)), 5 материалов для самостоятельного изучения
12 ч. на завершение
Unit 2 - Propositional Logic
12 ч. на завершение
2 видео ((всего 8 мин.)), 20 материалов для самостоятельного изучения, 8 тестов
20 ч. на завершение
Unit 3 - Relational Logic
20 ч. на завершение
16 материалов для самостоятельного изучения
8 ч. на завершение
Unit 4 - Functional Logic
8 ч. на завершение
14 материалов для самостоятельного изучения
Рецензии
- 5 stars70,14 %
- 4 stars15 %
- 3 stars6,19 %
- 2 stars3,09 %
- 1 star5,54 %
Лучшие отзывы о курсе ВВЕДЕНИЕ В ЛОГИКУ
от партнера GL8 июня 2018 г.
Good structure. Helped a lot with my university unit. It would be great if we can get sample solutions for our exercises.
от партнера JV23 янв. 2017 г.
Videos to explain the materials would be much more useful than how it is right now...
от партнера RK27 янв. 2019 г.
Excellent introduction to logic. The exercises really help with the understanding.
от партнера JD5 нояб. 2021 г.
Great intro to the topic. The instant feedback from the proof tools make them easy and fun to use.
Часто задаваемые вопросы
Когда я получу доступ к лекциям и заданиям?
Что я получу, оплатив сертификацию?
Можно ли получить финансовую помощь?
Остались вопросы? Посетите Центр поддержки учащихся.