课程信息

6,117 次近期查看
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
初级
完成时间大约为24 小时
俄语(Russian)
字幕:俄语(Russian)

您将学到的内容有

  • формализовывать инженерные проблемы

  • получать корректные следствия из установленных фактов

  • формально представлять и преобразовывать информацию об окружающем мире

  • проверять эквивалентность высказываний

您将获得的技能

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
初级
完成时间大约为24 小时
俄语(Russian)
字幕:俄语(Russian)

提供方

圣彼得堡国立技术大学 徽标

圣彼得堡国立技术大学

教学大纲 - 您将从这门课程中学到什么

1

1

完成时间为 3 小时

Введение

完成时间为 3 小时
6 个视频 (总计 38 分钟), 8 个阅读材料, 1 个测验
6 个视频
Основная идея математической логики9分钟
Структура курса6分钟
Проблема вычисления значения двоичной функции5分钟
Логические эквивалентность, следствие, вывод5分钟
Формулировки занимательных задач4分钟
8 个阅读材料
Открытый Политех10分钟
Как работать с курсом?10分钟
Наши рекомендации для эффективного обучения на курсе10分钟
Введение10分钟
Список литературы10分钟
Что такое математическая логика?5分钟
Мотивация изучения курса5分钟
Формальные модели и реальные явления10分钟
1 个练习
Что такое математическая логика30分钟
完成时间为 3 小时

Булевы функции

完成时间为 3 小时
12 个视频 (总计 92 分钟), 4 个阅读材料, 1 个测验
12 个视频
Построение схемы отображения электронных часов11分钟
Двоичные функции и таблицы истинности5分钟
Двоичные функции от 0, 1-ой, 2-х переменных9分钟
Вычисление значения функции по синтаксическому дереву10分钟
Семантическое дерево двоичной функции6分钟
Необходимость перехода от таблицы истинности к формуле4分钟
Формулировка основной теоремы теории двоичных функций7分钟
Свойства двоичных функций6分钟
Как проверить свойства двоичных функций5分钟
Лемма Шеннона и доказательство основной теоремы8分钟
Значение основной теоремы8分钟
4 个阅读材料
Двоичные функции как конечные функциональные преобразователи5分钟
Двоичные функции и логические формулы5分钟
Основная теорема теории двоичных функций5分钟
Булевы функции10分钟
1 个练习
Булевы функции1 小时 30 分
2

2

完成时间为 3 小时

Нормальные формы представления булевых функций

完成时间为 3 小时
13 个视频 (总计 98 分钟), 4 个阅读材料, 1 个测验
13 个视频
Построение СКНФ7分钟
Суммируя знания: СДНФ, СКНФ, полином Жегалкина8分钟
Переход между нормальными формами6分钟
Актуальность задачи минимизации булевых функций4分钟
Карты Карно8分钟
Карты Карно от 4-х переменных7分钟
Примеры минимизации электронных часов и варочной плиты7分钟
Замечания о минимальной ДНФ и КНФ7分钟
Код Грея. Карты Карно от 5-ти, 6-ти переменных8分钟
Двоичные функции как механизм абстракции5分钟
Релейно-контактные схемы и двоичные функции7分钟
Построение цифровой аппаратуры11分钟
4 个阅读材料
ДНФ, КНФ и полином Жегалкина5分钟
Минимизация булевых функций5分钟
Применение булевых функций5分钟
Нормальные формы представления булевых функций1分钟
1 个练习
Нормальные формы представления булевых функций1 小时 30 分
3

3

完成时间为 4 小时

Бинарные решающие диаграммы

完成时间为 4 小时
11 个视频 (总计 79 分钟), 4 个阅读材料, 1 个测验
11 个视频
Определение и характеристики BDD10分钟
Булевы операции и BDD. Алгоритм APPLY6分钟
Свойства BDD. Зависимость от переменной, минимизация функции7分钟
Вычисление BDD двух функций и применение этой задачи к аппаратным схемам6分钟
BDD: программа вычисления значения функции, кодирование множеств и задание ограничений6分钟
Постановка проблемы достижимости множества3分钟
Символьное представление множеств и символьные вычисления7分钟
Символьное представление конечных функций6分钟
Операции над характеристическими функциями отношений5分钟
К символьному решению проблемы достижимости8分钟
4 个阅读材料
BDD - бинарные решающие диаграммы. Основные определения5分钟
Применение BDD5分钟
Символьные вычисления5分钟
Бинарные решающие диаграммы10分钟
1 个练习
Бинарные решающие диаграммы2 小时 15 分
4

4

完成时间为 3 小时

Основные понятия логики высказываний

完成时间为 3 小时
13 个视频 (总计 90 分钟), 4 个阅读材料, 1 个测验
13 个视频
Синтаксис и семантика логики высказываний9分钟
Эквивалентные преобразования логических формул6分钟
Преобразование высказываний на естественном языке10分钟
Схема решения задач с помощью логики высказываний4分钟
Проверка высказываний на общезначимость6分钟
Эквивалентные преобразования высказываний10分钟
Упрощение сложных высказываний6分钟
Задача про стражников3分钟
Что такое структура доказательства3分钟
Использование эквивалентных формулировок теорем в доказательствах8分钟
Теоремы о необходимости и достаточности6分钟
Еще способы упростить структуру доказательств6分钟
4 个阅读材料
Синтаксис и семантика логики высказываний5分钟
Анализ сложных высказываний5分钟
Структуры доказательств математических теорем5分钟
Основные понятия логики высказываний10分钟
1 个练习
Основные понятия логики высказываний1 小时 35 分

常见问题

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.

    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

  • You will be eligible for a full refund until two weeks after your payment date, or (for courses that have just launched) until two weeks after the first session of the course begins, whichever is later. You cannot receive a refund once you’ve earned a Course Certificate, even if you complete the course within the two-week refund period. See our full refund policy.

  • Yes, Coursera provides financial aid to learners who cannot afford the fee. Apply for it by clicking on the Financial Aid link beneath the "Enroll" button on the left. You’ll be prompted to complete an application and will be notified if you are approved. Learn more.

还有其他问题吗?请访问 学生帮助中心