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.
Об этом курсе
Недавно просмотрено: 71,657
Карьерные результаты учащихся
50%
начал новую карьеру, пройдя эти курсы
40%
получил значимые преимущества в карьере благодаря этому курсу
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Средний уровень
Прибл. 54 часа на выполнение
Английский
Субтитры: Арабский, Китайский (упрощенное письмо), Греческий, Португальский (бразильский), Африкаанс, Немецкий, Турецкий, Английский, Испанский, Польский
Приобретаемые навыки
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Карьерные результаты учащихся
50%
начал новую карьеру, пройдя эти курсы
40%
получил значимые преимущества в карьере благодаря этому курсу
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
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 мин.))
1 видео
The Big Game3мин
5 ч. на завершение
Lesson 3 - Propositional Analysis
5 ч. на завершение
7 ч. на завершение
Lesson 4 - Propositional Proofs
7 ч. на завершение
2 ч. на завершение
Lesson 5 - Propositional Resolution
2 ч. на завершение
1 видео ((всего 4 мин.))
1 видео
Рецензии
Лучшие отзывы о курсе ВВЕДЕНИЕ В ЛОГИКУ
от партнера JS20 авг. 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!
от партнера 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!
Часто задаваемые вопросы
Когда я получу доступ к лекциям и заданиям?
Доступ к лекциям и заданиям предоставляется в зависимости от типа регистрации. Если вы проходите курс в режиме слушателя, то получите бесплатный доступ к большинству материалов курса. Чтобы открыть оцениваемые задания и возможность получить сертификат, необходимо будет приобрести прохождение с сертификатом. Это можно сделать во время прохождения в режиме слушателя или после него. Если вы не видите варианта 'Режим слушателя'.
- Курс может не предлагаться в режиме слушателя. Попробуйте бесплатную пробную версию или подайте заявку на финансовую помощь.
- Курс предлагаться в режиме 'Полный курс, без сертификата'. В нем можно просматривать все материалы, выполнять обязательные задания и получить итоговую оценку. Приобрести дополнительно прохождение с сертификатом в таком случае нельзя.
Что я получу, оплатив сертификацию?
Оплатив сертификацию, вы получите доступ ко всем материалам курса, включая оцениваемые задания. После успешного прохождения курса на странице ваших достижений появится электронный сертификат. Оттуда его можно распечатать или прикрепить к профилю LinkedIn. Просто ознакомиться с содержанием курса можно бесплатно.
Is financial aid available?
Да, Coursera предоставляет финансовую помощь учащимся, которые не могут оплатить обучение. Чтобы подать заявление, перейдите по ссылке 'Финансовая помощь' слева под кнопкой 'Зарегистрироваться' и заполните форму. Если его примут, вы получите уведомление. Подробнее
Получу ли я зачеты в университете за прохождение курса?
Этот курс не приравнивается к зачету в университетах, однако некоторые вузы принимают сертификаты на свое усмотрение. Дополнительную информацию уточняйте в своем деканате. Онлайн-дипломы и сертификаты Mastertrack™ от Coursera позволяют получить зачеты.
Остались вопросы? Посетите Центр поддержки учащихся.
